Лестница Мёбиуса

Материал из testwiki
Перейти к навигации Перейти к поиску
Два представления лестницы Мёбиуса M16.
Анимация преобразования одного вида в другой
Представление лестницы Мёбиуса M16 в виде ленты Мёбиуса.

Ле́стница Мёбиуса Mn — кубический циркулянтный граф с чётным числом вершин n, образованный из цикла с n вершинами путём добавления рёбер (называемых «перекладинами»), соединяющих противоположные пары вершин цикла. Назван так ввиду того, что Mn состоит из n/2 циклов длины 4Шаблон:Sfn, соединённых вместе общими рёбрами и образующих топологически ленту Мёбиуса. Полный двудольный граф K3,3 (граф «домики и колодцы») является лестницей Мёбиуса M6 (в отличие от остальных M6 имеет дополнительные циклы длины 4).

Впервые изучены Гаем и ХарариШаблон:Sfn.

Свойства

Любая лестница Мёбиуса является непланарным верхушечнным графом. Число скрещиваний лестницы Мёбиуса равно единице, и граф может быть вложен без самопересечений в тор или проективную плоскость (то есть является тороидальным графом). ЛиШаблон:Sfn изучил вложение этих графов в поверхности более высоких родов.

Лестницы Мёбиуса являются вершинно-транзитивными, но (за исключением M6) не рёберно-транзитивными — каждое ребро цикла, из которого лестница образована, принадлежит единственному 4-рёберному циклу, в то время как каждая перекладина принадлежит двум таким циклам.

Если n2(mod4), то Mn является двудольным. При n2(mod4) по теореме Брукса хроматическое число Mn равно 3. ИзвестноШаблон:Sfn, что лестница Мёбиуса однозначно определяется её многочленом Татта.

Лестница Мёбиуса M8 имеет 392 остовных дерева. Этот граф и M6 имеют наибольшее число остовных деревьев среди кубических графов с тем же числом вершинШаблон:SfnШаблон:Sfn. Однако среди кубических графов с 10 вершинами наибольшее число остовных деревьев у графа Петерсена, который не является лестницей Мёбиуса.

Многочлены Татта лестниц Мёбиуса можно получить по простой рекуррентной формулеШаблон:Sfn.

Миноры графа

Граф Вагнера M8

Лестницы Мёбиуса играют важную роль в теории миноров графа. Самым ранним результатом такого типа является теорема ВагнераШаблон:Sfn о том, что граф, не содержащий K5-миноров, может быть образован с использованием сумм по клике для комбинирования планарных графов и лестницы Мёбиуса M8 (в этой связи Mn называют графом Вагнера.

Все 3-связные почти-планарные графы[1] являются лестницами Мёбиуса или принадлежат небольшому числу других семейств, притом остальные почти-планарные графы можно получить из этих графов с помощью ряда простых операцийШаблон:Sfn.

Почти всеШаблон:Уточнить графы, не содержащие куб в качестве минора, могут быть получены из лестниц Мёбиуса в результате последовательного применения простых операцийШаблон:Sfn.

Химия и физика

В 1982 году синтезирована молекулярная структура, имеющую форму лестницы МёбиусаШаблон:Sfn, и с тех пор такие графы представляют интерес для химиков и химической стереографииШаблон:Sfn, особенно в свете похожих на лестницу Мёбиуса молекул ДНК. Имея это в виду, особо изучены математические симметрии вложений лестниц Мёбиуса в 3Шаблон:Sfn.

Лестницы Мёбиуса используются как модель сверхпроводимого кольца в экспериментах по изучению эффектов топологии проводимости при взаимодействии электроновШаблон:SfnШаблон:Sfn.

Комбинаторная оптимизация

Лестницы Мёбиуса используются также в информатике как часть подхода целочисленного программирования к задачам упаковки множеств и линейного упорядочивания. Некоторые конфигурации в этих задачах могут быть использованы для определения граней политопов, описывающих Шаблон:Не переведено 5 линейного программирования. Эти грани называются ограничениями лестниц МёбиусаШаблон:SfnШаблон:SfnШаблон:SfnШаблон:Sfn.

См. также

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Rq

  1. Почти-планарный граф — непланарный граф, у которого любой нетривиальный минор планарен