Jump to content

Пейринг Лэнгфорда

(Перенаправлено из эпизода Сколема )
Спаривание Лэнгфорда для n = 4.

В комбинаторной математике пара Лэнгфорда , также называемая последовательностью Лэнгфорда , представляет собой перестановку последовательности из 2 n чисел 1, 1, 2, 2, ..., n , n, в которой две единицы находятся на расстоянии одной единицы друг от друга. две двойки находятся на расстоянии двух единиц друг от друга, и, в более общем смысле, две копии каждого числа k находятся на расстоянии k единиц друг от друга. Пары Лэнгфорда названы в честь К. Дадли Лэнгфорда, поставившего задачу их построения в 1958 г.

Проблема Лэнгфорда — это задача поиска пар Лэнгфорда для заданного значения n . [1]

Тесно связанная концепция скулемской последовательности. [2] определяется таким же образом, но вместо этого переставляет последовательность 0, 0, 1, 1, ..., n - 1, n - 1.

Спаривание Лэнгфорда для n = 3 задается последовательностью 2, 3, 1, 2, 1, 3.

Характеристики

[ редактировать ]

Спаривания Лэнгфорда существуют только тогда, когда 0 или n конгруэнтно 3 по модулю 4; например, не существует спаривания Лэнгфорда, когда n = 1, 2 или 5.

Числа различных пар Лэнгфорда для n = 1, 2, …, считая любую последовательность такой же, как и ее обратную, равны

0, 0, 1, 1, 0, 0, 26, 150, 0, 0, 17792, 108144, 0, 0, 39809640, 326721800, 0, 0, 256814891280, 2636337861200, 0, 0, … (последовательность A0 14552 в ОЭИС ).

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

Приложения

[ редактировать ]

Скулем (1957) использовал последовательности Скулема для построения систем троек Штейнера .

В 1960-х годах Э. Дж. Грот использовал пары Лэнгфорда для построения схем целочисленного умножения . [3]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  • Гарднер, Мартин (1978), «Проблема Лэнгфорда», Mathematical Magic Show , Vintage, стр. 70 .
  • Кнут, Дональд Э. (2008), Искусство компьютерного программирования , Vol. IV, выпуск 0: Введение в комбинаторные алгоритмы и логические функции, Аддисон-Уэсли, ISBN  978-0-321-53496-5 .
  • Лэнгфорд, К. Дадли (1958), «Проблема», Mathematical Gazette , 42 : 228 .
  • Норд, Густав (2008), «Совершенные скулемские множества», Discrete Mathematics , 308 (9): 1653–1664, arXiv : math/0506155 , doi : 10.1016/j.disc.2006.12.003 , MR   2392605 .
  • Сколем, Торальф (1957), «О некоторых распределениях целых чисел в парах с заданными разностями», Mathematica Scandinavica , 5 : 57–68, MR   0092797 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 877dfe27f6e2d67fb7c124ffb15f7948__1655218020
URL1:https://arc.ask3.ru/arc/aa/87/48/877dfe27f6e2d67fb7c124ffb15f7948.html
Заголовок, (Title) документа по адресу, URL1:
Langford pairing - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)