WikiDer > Код Лемера

В математика и в частности в комбинаторика, то Код Лемера это особый способ кодировать каждый возможный перестановка последовательности п числа. Это пример схемы для перестановки нумерации и является примером инверсия стол.

Код Лемера назван со ссылкой на Деррик Генри Лемер, но код был известен как минимум с 1888 года.^[1][2]

Код

В коде Лемера используется тот факт, что существуют

${ Displaystyle п! = п раз (п-1) раз cdots раз 2 раз 1}$

перестановки последовательности п числа. Если перестановка σ задается последовательностью (σ₁, …, σ_п) изображений 1,…, п, то он кодируется последовательностью п числа, но не все такие последовательности действительны, поскольку каждое число должно использоваться только один раз. В отличие от рассматриваемых здесь кодировок выбирается первое число из набора п значения, следующее число из фиксированного набора п − 1 значения и т. д., уменьшая количество возможностей до последнего числа, для которого разрешено только одно фиксированное значение; каждый последовательность чисел, выбранных из этих наборов, кодирует единственную перестановку. Хотя несколько кодировки может быть определен, код Лемера имеет несколько дополнительных полезных свойств; это последовательность

${ Displaystyle L ( sigma) = (L ( sigma) _ {1}, ldots, L ( sigma) _ {n}) quad { text {где}} quad L ( sigma) _ {i} = # {j> i: sigma _ {j} < sigma _ {i} },}$

другими словами термин L(σ)_я подсчитывает количество членов в (σ₁, …, σ_п) справа от σ_я которые меньше его, число от 0 до п − я, что позволяет п + 1 − я разные значения.

Пара индексов (я,j) с я < j и σ_я > σ_j называется инверсия из σ, и L(σ)_я считает количество инверсий (я,j) с я фиксированный и изменчивый j. Следует, что L(σ)₁ + L(σ)₂ + … + L(σ)_п - общее количество инверсий σ, которое также является количеством смежных транспозиций, необходимых для преобразования перестановки в тождественную перестановку. Другие свойства кода Лемера включают в себя то, что лексикографический порядок кодировок двух перестановок совпадает с кодировками их последовательностей (σ₁, …, σ_п), что любое значение 0 в коде представляет минимум справа налево в перестановке (т. е. σ_я меньше любого σ_j справа), а значение п − яна позиции я аналогично означает максимум справа налево, и что код Лемера σ совпадает с факториальная система счисления представление своей позиции в списке перестановок п в лексикографическом порядке (нумеруя позиции начиная с 0).

Варианты этого кодирования можно получить, посчитав инверсии (я,j) для фиксированных j а не фиксированный я, считая инверсии с фиксированным меньшим ценить σ_j а не меньший индекс я, или подсчетом не инверсий, а не инверсий; хотя это не приводит к принципиально другому типу кодирования, некоторые свойства кодирования соответственно изменятся. В частности, счет инверсий с фиксированным меньшим значением σ_j дает инверсионную таблицу σ, который можно рассматривать как код Лемера обратной перестановки.

Кодирование и декодирование

Обычный способ доказать, что есть п! различные перестановки п объекты - это наблюдать, что первый объект может быть выбран в п разными способами, следующий объект в п − 1 разными способами (потому что выбор того же числа, что и первый, запрещен), следующий в п − 2 разными способами (потому что теперь есть 2 запрещенных значения) и так далее. Переводя эту свободу выбора на каждом шаге в число, можно получить алгоритм кодирования, который находит код Лемера данной перестановки. Не нужно предполагать, что объекты переставлены в числа, но нужно общий заказ набора объектов. Поскольку номера кода должны начинаться с 0, соответствующий номер для кодирования каждого объекта σ_я by - это количество объектов, которые были доступны в этот момент (поэтому они не появляются до позиции я), но которые меньше, чем объект σ_я фактически выбрал. (Такие объекты неизбежно должны появиться в каком-то месте j > я, и (я,j) будет инверсией, которая показывает, что это число действительно L(σ)_я.)

Это число для кодирования каждого объекта можно найти путем прямого подсчета несколькими способами (прямым подсчетом инверсий или корректировкой общего числа объектов, меньших заданного, то есть его порядкового номера, начиная с 0 в наборе, теми, которые недоступен на своем месте). Другой метод, который существует на месте, но не более эффективен, - это начать с перестановки {0, 1,… п − 1} полученный путем представления каждого объекта его упомянутым порядковым номером, а затем для каждой записи Икс, в порядке слева направо, исправьте элементы справа, вычтя 1 из всех записей (все еще) больше, чем Икс (чтобы отразить тот факт, что объект, соответствующий Икс больше недоступно). Конкретно, код Лемера для перестановки букв B, F, A, G, D, E, C, упорядоченных в алфавитном порядке, сначала дал бы список порядковых номеров 1,5,0,6,3,4,2, который является последовательно преобразованный

${ displaystyle { begin {matrix} mathbf {1} & 5 & 0 & 6 & 3 & 4 & 2 1 & mathbf {4} & 0 & 5 & 2 & 3 & 1 1 & 4 & mathbf {0} & 4 & 2 & 3 & 1 1 & 4 & 0 & mathbf {3} & 1 & 2 & 0&Mathbf {3} & 1 & 2 & 2 & 0} & 2 & 0 1 & 4 & 0 & 3 & 1 & mathbf {1} & 0 1 & 4 & 0 & 3 & 1 & 1 & mathbf {0} end {matrix}}}$

где последняя строка - это код Лемера (в каждой строке вычитается 1 из более крупных записей справа от элемента, выделенного жирным шрифтом, чтобы сформировать следующую строку).

Для декодирования кода Лемера в перестановку данного набора последняя процедура может быть обратной: для каждой записи Икс, в порядке справа налево, исправьте элементы справа, добавив 1 ко всем тем (в настоящее время), которые больше или равны Икс; наконец, интерпретируйте полученную перестановку {0, 1,… п − 1} как порядковые номера (что составляет добавление 1 к каждой записи, если перестановка {1, 2,… п} ищется). В качестве альтернативы записи кода Лемера могут обрабатываться слева направо и интерпретироваться как число, определяющее следующий выбор элемента, как указано выше; это требует ведения списка доступных элементов, из которого удаляется каждый выбранный элемент. В примере это будет означать выбор элемента 1 из {A, B, C, D, E, F, G} (который является B), затем элемента 4 из {A, C, D, E, F, G} (который является F), затем элемент 0 из {A, C, D, E, G} (дающий A) и так далее, восстанавливая последовательность B, F, A, G, D, E, C.

Приложения к комбинаторике и вероятностям

Независимость относительных рангов

Код Лемера определяет биекцию от симметричная группа S_п в декартово произведение ${ Displaystyle [п] раз [п-1] раз cdots раз [2] раз [1]}$, куда [k] обозначает k-элементный набор ${ Displaystyle {0,1, ldots, k-1 }}$. Как следствие, под равномерное распределение на S_п, компонент L(σ)_я определяет равномерно распределенный случайная переменная на [п − я], и эти случайные величины взаимно независимый, потому что это прогнозы на разные факторы Декартово произведение.

Количество минимумов и максимумов справа налево

Определение: в последовательности u = (u_k)_1≤k≤n, есть минимум справа налево (соотв. максимум) в звании k если ты_k строго меньше (соответственно, больше), чем каждый элемент ты_я с я> к, т.е. справа от него.

Позволять B (k) (соотв. H (k)) быть событием "справа налево минимум (соответственно максимум) в ранге k", т.е. B (k) это набор перестановок ${ displaystyle scriptstyle { mathfrak {S}} _ {n}}$ которые показывают минимум справа налево (соответственно максимум) в ранге k. У нас явно есть

${ displaystyle { omega in B (k) } Leftrightarrow {L (k, omega) = 0 } quad { text {and}} quad { omega in H (k ) } Leftrightarrow {L (k, omega) = k-1 }.}.$

Таким образом, число N_б(ω) (соотв. N_час(ω)) минимума (соответственно максимума) справа налево для перестановки ω можно записать в виде суммы независимых Случайные величины Бернулли каждый с соответствующим параметром 1 / k:

${ Displaystyle N_ {b} ( omega) = sum _ {1 leq k leq n} 1 ! ! 1_ {B (k)} quad { text {и}} quad N_ { b} ( omega) = sum _ {1 leq k leq n} 1 ! ! 1_ {H (k)}.}.$

Действительно, как L (к) следует единому закону о ${ Displaystyle scriptstyle [! [1, k] !],}$

${ Displaystyle mathbb {P} (B (k)) = mathbb {P} (L (k) = 0) = mathbb {P} (H (k)) = mathbb {P} (L (k ) = k-1) = { tfrac {1} {k}}.}$

В производящая функция для случайной величины Бернулли ${ Displaystyle 1 ! ! 1_ {В (к)}}$ является

${ displaystyle G_ {k} (s) = { frac {k-1 + s} {k}},}$

поэтому производящая функция N_б является

${ Displaystyle G (s) = prod _ {k = 1} ^ {n} G_ {k} (s) = { frac {s ^ { overline {n}}} {n!}}}$

(с использованием возрастающий факториал обозначение), что позволяет восстановить формулу произведения для производящей функции Числа Стирлинга первого рода (без знака).

Секретарь проблема

Это задача оптимальной остановки, классическая в теории принятия решений, статистике и прикладных вероятностях, где случайная перестановка постепенно выявляется через первые элементы ее кода Лемера, и где цель состоит в том, чтобы остановиться точно в элементе k, таком как σ ( k) = n, тогда как единственной доступной информации (первых k значений кода Лемера) недостаточно для вычисления σ (k).

Другими словами, собеседование проводится с серией n претендентов один за другим. Интервьюер должен нанять лучшего кандидата, но должен принять решение («Нанять» или «Не нанимать») на месте, не проводя собеседования со следующим кандидатом (и a fortiori без опроса всех абитуриентов).

Таким образом, интервьюер знает ранг k^th заявитель, следовательно, в момент подачи заявки^th Для принятия решения, интервьюер знает только k первых элементов кода Лемера, тогда как ему необходимо знать все из них, чтобы принять хорошо обоснованное решение. Чтобы определить оптимальные стратегии (т.е. стратегию, максимизирующую вероятность выигрыша), статистические свойства кода Лемера имеют решающее значение.

Якобы, Иоганн Кеплер ясно показал это проблема секретаря своему другу в то время, когда он пытался принять решение и выбрать одну из одиннадцати потенциальных невест в качестве своей второй жены. Его первый брак был несчастливым, поскольку он был заключен без консультации с ним, и поэтому он был очень обеспокоен тем, что сможет принять правильное решение.^[3][4]

Подобные концепции

Используются два похожих вектора. Один из них часто называют вектором инверсии, например к вольфрам Альфа.Смотрите также Инверсия (дискретная математика) § Инверсия связанных векторов.

Рекомендации

Библиография

• Мантачи, Роберто; Ракотондраджао, Fanja (2001), «Представление перестановки, которое знает, что означает« эйлерово »», Дискретная математика и теоретическая информатика (4): 101–108, архивировано с оригинал на 2004-11-16
• Кнут, Дон (1981), Искусство компьютерного программирования, 3, Reading: Addison-Wesley, pp. 12–13.