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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Определение)
(Определение)
Строка 7: Строка 7:
 
# Cуществует <tex> i </tex>  <tex> \ge 0 </tex> такое, что для всех <tex> j < i </tex> выполнено неравенство <tex> A_j = B_j </tex>, а <tex> A_i < B_i </tex>.
 
# Cуществует <tex> i </tex>  <tex> \ge 0 </tex> такое, что для всех <tex> j < i </tex> выполнено неравенство <tex> A_j = B_j </tex>, а <tex> A_i < B_i </tex>.
 
Приведем псевдокод сравнения слов:
 
Приведем псевдокод сравнения слов:
  function isEqual(A, B : string)
+
  function Сompare(A, B : string) // Возвращает "<", если A < B, либо ">", если A > B, либо "=", если строки равны.
 
     for i = 1 .. min(len(A), len(B))
 
     for i = 1 .. min(len(A), len(B))
         if (A[i] < B[i])
+
         if (A[i] < B[i])  
 
             return <
 
             return <
         if (A[i] > B[i])
+
         if (A[i] > B[i])  
 
             return >
 
             return >
 
     // Одна из строк является префиксом другой
 
     // Одна из строк является префиксом другой
Строка 21: Строка 21:
  
 
Слова записаны в лексикографическом порядке, если для любых <tex> i<j </tex> выполняется неравенство <tex> S_i<S_j </tex>, где <tex> S_i </tex> и <tex> S_j </tex> слова с номерами <tex> i </tex> и <tex> j </tex>.
 
Слова записаны в лексикографическом порядке, если для любых <tex> i<j </tex> выполняется неравенство <tex> S_i<S_j </tex>, где <tex> S_i </tex> и <tex> S_j </tex> слова с номерами <tex> i </tex> и <tex> j </tex>.
 +
Например слово "сон" лексикографически меньше слова "сонный", так как оно является его префиксом. А слово "низ" меньше слова "нос", поскольку первые символы равны, а второй символ слова "низ" меньше второго символа слова "нос".
  
 
== Ссылки ==
 
== Ссылки ==

Версия 10:20, 15 декабря 2011

Определение

Пусть нам дан алфавит [math] \Sigma [/math], на котором определен линейный порядок.

Говорят, что слово [math] ~A [/math] меньше слова [math] ~B [/math], если выполнено одно из следующих условий:

  1. Слово [math] ~A [/math] является префиксом слова [math] ~B [/math].
  2. Cуществует [math] i [/math] [math] \ge 0 [/math] такое, что для всех [math] j \lt i [/math] выполнено неравенство [math] A_j = B_j [/math], а [math] A_i \lt B_i [/math].

Приведем псевдокод сравнения слов:

function Сompare(A, B : string) // Возвращает "<", если A < B, либо ">", если A > B, либо "=", если строки равны.
   for i = 1 .. min(len(A), len(B))
        if (A[i] < B[i]) 
            return <
        if (A[i] > B[i]) 
            return >
    // Одна из строк является префиксом другой
    if (len(A) < len(B))
        return <
    if (len(A) > len(B))
        return >
    return = // Длины строк и все символы равны

Слова записаны в лексикографическом порядке, если для любых [math] i\lt j [/math] выполняется неравенство [math] S_i\lt S_j [/math], где [math] S_i [/math] и [math] S_j [/math] слова с номерами [math] i [/math] и [math] j [/math]. Например слово "сон" лексикографически меньше слова "сонный", так как оно является его префиксом. А слово "низ" меньше слова "нос", поскольку первые символы равны, а второй символ слова "низ" меньше второго символа слова "нос".

Ссылки

Примеры

  1. Последовательность чисел в любой системе счисления, записанных в фиксированной разрядной сетке (000, 001, 002, 003, 004, 005, …, 999).
  2. Порядок слов в словаре. Предполагается, что буквы можно сравнивать, сравнивая их номера в алфавите. Тогда лексикографический порядок — это, например, ААА, ААБ, ААВ, ААГ, …, ЯЯЯ.
  3. Эти слова тоже записаны в лексикографическом порядке: азбука, бог, борода, сон, сонный.