Проблема школьницы Киркманса - Википедия - Kirkmans schoolgirl problem

Оригинальная публикация проблемы

Проблема школьницы Киркмана проблема в комбинаторика предложенный преп. Томас Пенингтон Киркман в 1850 г. как Запрос VI в Дневник леди и джентльмена (стр.48). В проблеме говорится:

Пятнадцать барышень в школе ходят по три в ряд семь дней подряд: требуется устраивать их ежедневно так, чтобы никакие двое не ходили два раза в ряд.[1]

Решение

Если девочки пронумерованы от 0 до 14, следующим решением будет следующее:[2]

Солнце.Пн.Вт.Мы бы.Чт.Пт.Сидел.
 0,  5, 10 0,  1,  4 1,  2,  5 4,  5,  8 2,  4, 10 4,  6, 1210, 12,  3
 1,  6, 11 2,  3,  6 3,  4,  7 6,  7, 10 3,  5, 11 5,  7, 1311, 13,  4
 2,  7, 12 7,  8, 11 8,  9, 1211, 12,  0 6,  8, 14 8, 10,  114,  1,  7
 3,  8, 13 9, 10, 1310, 11, 1413, 14,  2 7,  9,  0 9, 11,  2 0,  2,  8
 4,  9, 1412, 14,  513,  0,  6 1,  3,  912, 13,  114,  0,  3 5,  6,  9

Решение этой проблемы - это пример Тройная система Киркмана,[3] который является Тройная система Штейнера иметь параллелизм, то есть разбиение блоков тройной системы на параллельные классы, которые сами являются разбиением точек на непересекающиеся блоки.

Есть семь не-изоморфный решения проблемы школьницы.[4] Два из них можно визуализировать как отношения между тетраэдром и его вершинами, ребрами и гранями.[5]Подход, использующий проективную геометрию трех измерений над GF (2) приведен ниже.

Тройное решение XOR

Если девушки пронумерованы двоичными числами от 0001 до 1111, следующее решение является одним из решений, при котором для любых трех девушек, образующих группу, побитовое исключающее ИЛИ любых двух равно третьей:

Солнце.Пн.Вт.Мы бы.Чт.Пт.Сидел.
0001, 0010, 00110001, 0100, 01010001, 0110, 01110001, 1000, 10010001, 1010, 10110001, 1100, 11010001, 1110, 1111
0100, 1000, 11000010, 1000, 10100010, 1001, 10110010, 1100, 11100010, 1101, 11110010, 0100, 01100010, 0101, 0111
0101, 1010, 11110011, 1101, 11100011, 1100, 11110011, 0101, 01100011, 0100, 01110011, 1001, 10100011, 1000, 1011
0110, 1011, 11010110, 1001, 11110100, 1010, 11100100, 1011, 11110101, 1001, 11000101, 1011, 11100100, 1001, 1101
0111, 1001, 11100111, 1011, 11000101, 1000, 11010111, 1010, 11010110, 1000, 11100111, 1000, 11110110, 1010, 1100

Это решение имеет геометрическую интерпретацию в связи с Геометрия Галуа и PG (3,2). Взять тетраэдр и пометьте его вершины как 0001, 0010, 0100 и 1000. Обозначьте его шесть центров ребер как XOR вершин этого ребра. Обозначьте четыре центра граней как XOR трех вершин этой грани, и центр тела получит метку 1111. Тогда 35 триад решения XOR точно соответствуют 35 строкам PG (3,2). Каждый день соответствует развороту, а каждая неделя - упаковке..[6]

История

Первое решение было опубликовано Артур Кэли.[7] Вскоре за этим последовало собственное решение Киркмана.[8] которое было дано как частный случай его размышлений о комбинаторных механизмах, опубликованных за три года до этого.[9] Дж. Дж. Сильвестр также исследовал проблему и в итоге заявил, что Киркман украл у него идею. Эта головоломка появилась в нескольких книгах по развлекательной математике на рубеже веков Лукаса,[10] Роуз Болл,[11] Аренс,[12] и Дудени.[13]

Киркман часто жаловался на то, что его содержательная статья (Киркман 1847 ) полностью затмил популярный интерес к проблеме школьницы.[14]

Геометрия Галуа

В 1910 г. проблема была решена с помощью Геометрия Галуа Джорджа Конвелла.[15]

В Поле Галуа GF (2) с двумя элементами используется с четырьмя однородные координаты формировать PG (3,2) который имеет 15 точек, 3 точки на линии, 7 точек и 7 линий на плоскости. Самолет можно считать полный четырехугольник вместе с линией, проходящей через ее диагональные точки. Каждая точка находится на 7 линиях, а всего их 35.

Линии PG (3,2) идентифицируются своими Координаты Плюккера в PG (5,2) с 63 точками, 35 из которых представляют собой линии PG (3,2). Эти 35 точек образуют поверхность S известный как Кляйн квадрик. По каждому из 28 очков S через него проходит 6 линий, которые не пересекаются S.[15]:67

Поскольку в неделе семь дней, гептада важная часть решения:

Когда выбраны две точки как A и B на прямой ABC, каждая из пяти других прямых, проходящих через A, встречается только с одной из пяти других прямых, проходящих через B. Пять точек, определяемых пересечениями этих пар прямых, вместе с две точки A и B мы обозначаем «гептадой».[15]:68

Гептада определяется любыми двумя ее точками. Каждый из 28 пунктов выключен S лежит в двух гептадах. Всего 8 гептад. В проективная линейная группа PGL (3,2) изоморфен переменная группа на 8 гептад.[15]:69

Задача школьницы состоит в том, чтобы найти семь линий в пятерке, которые не пересекаются и такие, что любые две линии всегда имеют общую гептаду.[15]:74

Спреды и упаковка

А раздел точек в прямые называется распространять, а разбиение разворотов геометрии называется упаковка.[16]:66 Когда Hirschfeld рассмотрел проблему в своем Конечные проективные пространства трех измерений (1985), он отметил, что некоторые решения соответствуют упаковкам PG (3,2), по существу, как описано Конвеллом выше,[16]:91 и он представил два из них.[16]:75

Обобщение

Проблема может быть обобщена на девушки, где должно быть нечетно кратным 3 (т. е. ), ходьба тройней за дней, с опять же требованием, чтобы ни одна пара девушек не ходила в одном ряду дважды. Решением этого обобщения является Тройная система Штейнера, an S (2, 3, 6т + 3) с параллелизмом (то есть такой, в котором каждый из 6т + 3 элемента встречается ровно один раз в каждом блоке наборов из 3 элементов), известный как Тройная система Киркмана.[2] Именно это обобщение проблемы впервые обсудил Киркман, тогда как знаменитый частный случай было предложено только позже.[9] Полное решение общего случая было опубликовано Д. К. Рэй-Чаудхури и Р. М. Уилсон в 1968 г.,[17] хотя это уже было решено Лу Цзяси (Китайский : 陆 家 羲) в 1965 г.,[18] но в то время не публиковался.[19]

Можно рассмотреть множество вариантов основной проблемы. Алан Хартман решает задачу такого типа, требуя, чтобы ни одно трио не проходило в ряду из четырех человек более одного раза.[20] с использованием четверных систем Штейнера.

Совсем недавно интерес к подобной проблеме, известной как проблема социального игрока в гольф, затронул 32 игрока в гольф, которые хотят играть с разными людьми каждый день в группах по 4 человека в течение 10 дней.

Поскольку это стратегия перегруппировки, при которой все группы ортогональны, этот процесс в рамках проблемы организации большой группы в более мелкие группы, где никакие два человека не делят одну и ту же группу дважды, можно назвать ортогональной перегруппировкой. Однако в настоящее время этот термин широко не используется, и данные свидетельствуют об отсутствии общего названия для этого процесса.

Проблема разрешимых покрытий рассматривает общие девушки, Групповой случай, когда каждая пара девочек должна быть в одной группе в какой-то момент, но мы хотим использовать как можно меньше дней. Это можно, например, использовать для составления плана смены стола, в котором каждая пара гостей должна в какой-то момент находиться за одним столом.[21]

В Проблема Обервольфаха, разложения полный график на непересекающиеся по ребрам копии данного 2-регулярный граф, также обобщает проблему школьницы Киркмана. Проблема Киркмана - это частный случай проблемы Обервольфаха, в которой 2-регулярный граф состоит из пяти непересекающихся треугольников.[22]

Другие приложения

Примечания

  1. ^ Грэхем, Грёчель и Ловас, 1995 г.
  2. ^ а б Болл и Кокстер 1987, стр. 287−289
  3. ^ Вайсштейн, Эрик В. "Проблема школьницы Киркмана". MathWorld.
  4. ^ Коул, Ф.В. (1922), "Парады Киркмана", Бюллетень Американского математического общества, 28 (9): 435–437, Дои:10.1090 / S0002-9904-1922-03599-9
  5. ^ Фальконе, Джованни; Павоне, Марко (2011), «Тетраэдр Киркмана и проблема пятнадцати школьниц», Американский математический ежемесячный журнал, 118 (10): 887–900, Дои:10.4169 / amer.math.monthly.118.10.887
  6. ^ Браун, Эзра А. «Школьницы Киркмана в шляпах и ходят по числовым полям» Математический журнал, Vol. 82, нет. 1, февраль 2009 г., стр. 8-10.
  7. ^ Кэли, А. (1850), «О триадных расположениях семи и пятнадцати вещей», Философский журнал, 37 (247): 50–53, Дои:10.1080/14786445008646550
  8. ^ Киркман 1850
  9. ^ а б Киркман 1847
  10. ^ Лукас 1883, стр. 183–188
  11. ^ Роуз Болл 1892
  12. ^ Аренс 1901
  13. ^ Дудени 1917
  14. ^ Каммингс 1918
  15. ^ а б c d е Конвелл, Джордж М. (1910). «Трехмерное пространство PG (3,2) и его группа». Анналы математики. 11 (2): 60–76. Дои:10.2307/1967582. JSTOR  1967582.
  16. ^ а б c Хиршфельд, J.W.P. (1985), Конечные проективные пространства трех измерений, Oxford University Press, ISBN  0-19-853536-8
  17. ^ Рэй-Чаудхури и Уилсон, 1971 г.
  18. ^ Лю 1990
  19. ^ Колборн и Диниц 2007, п. 13
  20. ^ Хартман 1980
  21. ^ ван Дам, Э. Р., Хемерс, В. Х., и Пик, М. Б. М. (2003). Справедливо разрешимые покрытия. Журнал комбинаторных дизайнов, 11 (2), 113-123.
  22. ^ Брайант и Данцигер 2011
  23. ^ МакРобби, Линда Родригес. «Загадочная математика, стоящая за« Найди это! », Любимая семейная карточная игра». Смитсоновский журнал. Получено 2020-03-01.

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

внешняя ссылка