Изменения

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

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

1 байт добавлено, 00:49, 31 декабря 2014
Определение
|definition=Пусть даны две последовательности <tex> ~A = a_1 a_2 ... a_n </tex> и <tex> ~B = b_1 b_2 ... b_m </tex>
Тогда последовательность <tex> ~A </tex> '''лексикографически меньше''' последовательности <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
правок

Навигация