Лексикографический порядок — различия между версиями
Gemin (обсуждение | вклад) |
Gemin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | Пусть дано множество < | + | Пусть дано множество <math>~A=\{a_1<a_2<a_3<...<a_k\}</math> и <math>A^*=\bigcup^{\infty}_{i=0} A^i</math>, тогда после лексикографического упорядочивания элементов множества<math>~A^*</math> любые два элемента (пусть <math>~x<y; x,y \in A^*; x=\{x_1,x_2,...,x_{i_1}\}; y=\{y_1,y_2,...,y_{i_2}\}; x_j,y_j \in A</math>) этого множества будут удовлетворять условиям: |
| + | * либо <math>~i_2>i_1</math> и <math>\forall j\le{i_1}:x_j=y_j</math> | ||
| + | * либо <math>\exists n\le{min(i_1,i_2)}:\forall j<n:x_j=y_j; x_n<y_n</math> | ||
Версия 07:13, 2 ноября 2010
Пусть дано множество и , тогда после лексикографического упорядочивания элементов множества любые два элемента (пусть ) этого множества будут удовлетворять условиям:
- либо и
- либо
