Лексикографический порядок
- Лексикографический порядок — это общий порядок, который совместим с добавлением.
- Лексикографический порядок может быть использован для характеристики всех групповых порядков на Zn.
- Колексикографический порядок — это вариант лексикографического порядка, который получается путем чтения конечных последовательностей справа налево.
- Колексикографический порядок часто используется в комбинаторике, например, при доказательстве теоремы Крускала-Катона.
- Лексикографический порядок используется для определения баз Гребнера и часто называется чисто лексикографическим порядком.
- Обратный лексикографический порядок степеней имеет полезное свойство, заключающееся в том, что однородный многочлен является кратным наименее неопределенному тогда и только тогда, когда его ведущий одночлен кратен этому наименее неопределенному.
Полный текст статьи: