Русская Википедия:Задача Обервольфаха
Задача Обервольфаха — это нерешённая математическая задача, которую можно сформулировать как задачу распределения мест для обедов, или, более абстрактно, как задачу теории графов о покрытиях циклами рёбер полных графов. Задача получила название по имени математического института Обервольфаха, где задачу сформулировал в 1967 году Герхард РингельШаблон:R.
Формулировка
На конференциях, проводимых в Обервольфахе, принято обедать вместе в зале с круглыми столами, не все из которых имеют один и тот же размер, а места за столами меняются от обеда к обеду. Задача Обервольфаха спрашивает, как задать распределение мест за столами, чтобы все места были заняты и все пары участников конференции сидели рядом только раз. Экземпляр задачи можно обозначить как <math>OP(x,y,z,\dots)</math>, где <math>x,y,z,\dots</math> задаёт размеры столов. Альтернативно, когда некоторые размеры столов повторяются, это может отражаться как верхний индекс, например <math>OP(5^3)</math> описывает задачу с тремя столами на пять местШаблон:R.
При формулировке задачи как задачи теории графов пары людей, сидящих рядом за конкретным обедом, могут быть представлены как Шаблон:Не переведено 5 (по рёбрам) циклов <math>C_x+C_y+C_z+\cdots</math> определённой длины, по одному циклу для каждого обеденного стола. Это объединение циклов является 2-регулярным графом, а любой 2-регулярный граф имеет такой вид. Если <math>G</math> является таким 2-регулярным графом и имеет <math>n</math> вершин, вопрос ставится так: можно ли полный граф <math>K_n</math> представить как непересекающееся по рёбрам объединение копий графа <math>G</math>Шаблон:R.
Чтобы решение существовало, общее число участников конференции (или, эквивалентно, полное число посадочных мест за столами, или общее число вершин заданных циклов) должно быть нечётным числом. За каждым обедом участник сидит рядом с двумя другими участниками, так что общее число соседей каждого участника должно быть чётным, а это возможно только при нечётном общем числе участников. Задачу, однако, можно распространить и на чётные значения <math>n</math>, если спрашивать для этих <math>n</math>, можно ли покрыть все рёбра полного графа за исключением совершенного паросочетания копиями заданного 2-регулярного графа. Подобно задаче о супружеских парах (другой математической задаче о рассаживании за обеденным столом), этот вариант задачи можно сформулировать в предположении, что <math>n</math> участников обеда разбивается на <math>n/2</math> супружеских пар, и что каждый участник должен пообедать ровно раз с каждым другим участником, за исключением супруги (супруга)Шаблон:R.
Известные результаты
Известны только следующие экземпляры задачи Обервольфаха, о которых известно, что они не имеют решения: <math>OP(3^2)</math>, <math>OP(3^4)</math>, <math>OP(4,5)</math> и <math>OP(3,3,5)</math>. Широко распространено мнение, что все другие экземпляры решения имеют, но пока доказана разрешимость лишь специальных случаев.
Случаи, для которых известны решения:
- Все экземпляры <math>OP(x^y)</math>, за исключением <math>OP(3^2)</math> и <math>OP(3^4)</math>Шаблон:R.
- Все экземпляры, в которых все циклы имеют чётную длинуШаблон:R.
- Все экземпляры (кроме известных исключений) с <math>n\leqslant 40</math>Шаблон:R.
- Все экземпляры для некоторых <math>n</math>, принадлежащих бесконечному набору простых чиселШаблон:R.
- Все экземпляры <math>OP(x,y)</math>, кроме известных исключений <math>OP(3,3)</math> и <math>OP(4,5)</math>Шаблон:R.
Связанные задачи
- Задача Киркмана о школьницах: группировки пятнадцати школьниц в ряды по три семью различными способами, так что каждая пара девочек оказывалась в тройке только раз, является частным случаем задачи Обервольфаха <math>OP(3^5)</math>. Задача гамильтонова разложения полного графа <math>K_n</math> является другим частным случаем <math>OP(n)</math>Шаблон:R.
- Гипотеза Алспаха о разложении полного графа на циклы данных размеров связана с задачей Обервольфаха, но они не являются частными случаями друг друга. Если <math>G</math> является 2-регулярным графом с <math>n</math> вершинами, образованным непересекающимися циклами определённой длины, то решение задачи Обервольфаха для <math>G</math> даёт разложение полного графа на <math>(n-1)/2</math> копий каждого цикла графа <math>G</math>. Однако не любое разложение <math>K_n</math> на такое число циклов каждого размера может быть сгруппировано на непересекающиеся циклы, которые образуют копии <math>G</math>, но, с другой стороны, не любой экземпляр гипотезы Алспаха вовлекает набор циклов, которые имеют <math>(n-1)/2</math> копий каждого цикла.
Примечания
