Изменения

Перейти к: навигация, поиск

Лексикографический порядок

39 байт добавлено, 01:22, 31 декабря 2014
Нет описания правки
{{Определение
|definition=Пусть даны две последовательности <tex> ~A = a_1 a_2 ... a_n </tex> и <tex> ~B = b_1 b_2 ... 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> \mathcal {9} k\leqslant \min(n, m): a_k < b_k </tex> и при этом <tex> \mathcal {8} j < k ~a_j = b_j </tex>.
107
правок

Навигация