Изменения
Нет описания правки
{{Определение|definition=Пусть даны две последовательности <tex> ~A = Определение a_1 a_2 \dots a_n </tex> и <tex> ~B =b_1 b_2 \dots b_m </tex> Тогда последовательность <tex> ~A </tex> '''лексикографически меньше''' (англ. ''lexicographically less'') последовательности <tex> ~B </tex>, если выполняется одно из двух условий:*<tex> n < m </tex> и при этом <tex> a_i =b_i </tex> для всех <tex>i \in [1 .. n] </tex>,Пусть нам дан алфавит * <tex> \exists k\leqslant \min(n, m): a_k < b_k </tex> и при этом <tex> \Sigma forall j : j < k ~a_j = b_j </tex>, на котором определен линейный порядок. }}
== Примеры ==* Перестановки (<font color=#c355a0>'''светло-фиолетовым выделен'''</font> общий префикс, <font color=#992574>'''темно-фиолетовым'''</font> первый отличный элемент, так как <tex>4 < 6</tex>, то первая перестановка лексикографически меньше){| cellpadding="4" style="margin-left: left; margin-right: left;" | [[httpФайл:Compareperm.png]] |}* Сочетания (так как <tex>4 < 6</tex>, то первое сочетание лексикографически меньше){| cellpadding="4" style="margin-left: left; margin-right: left;"| [[Файл:Comparechoose.png]] |}* [[комбинаторные объекты|Разбиение на слагаемые]] (так как <tex>4 < 9</rutex>, то первое разбиение на слагаемые лексикографически меньше){| cellpadding="4" style="margin-left: left; margin-right: left;"| [[Файл:Compare part.wikipedia.org/wiki/%D0%9B%D0%B5%D0%BA%D1%81%D0%B8%D0%BA%D0%BE%D0%B3%D1%80%D0%B0%D1%84%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BE%D0%BA Лексикографический порядокpng]]|}