Лексикографический порядок: различия между версиями

'''Лексикографический порядок''' (''[[Lexicographic order]]'') -  

Порядок слов в словаре, определяемый последовательностью букв алфавита. В более общем случае рассматривается множество <math>S</math>, строго

упорядоченное отношением <math><</math>. Пусть для <math>n > 0</math> имеется множество

<math>T</math> <math>n</math>-кортежей

<math>(x_{1}, x_{2}, \ldots, x_{n})</math>

с элементами <math>x_{j} \in S</math>. Тогда отношение упорядочения этих кортежей

<math>(x_{1}, x_{2}, \ldots, x_{n}) < (y_{1}, y_{2}, \ldots, y_{n})</math>

тогда и только тогда, когда <math>x_{1} < y_{1}</math>или существует некоторое

<math>k</math>, <math>1 \leq k \leq n</math>, для которого <math>x_{i} = y_{i}</math> при <math>1 \leq i <

k</math>, и <math>x_{k} < y_{k}</math> Множество <math>T</math> лексикографически упорядочено,