Лексикографический порядок: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
м Правки 95.52.214.38 откачены к версии Mercury (HG) |
||
Строка 1:
'''Лексикографический
Кортеж ''a'' предшествует кортежу ''b'' (<math>a<b</math>), если для некоторого неотрицательного целого числа ''s'' первые ''s'' членов кортежей ''a'' и ''b'' совпадают, а (''s''+1)-й член кортежа ''a'' меньше соответствующего члена последовательности ''b''. Если один кортеж является префиксом другого, то более короткий идёт раньше.
|