Jump to content

Система вращения

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

Каждая схема вращения определяет уникальное двухклеточное вложение связного мультиграфа на замкнутую ориентированную поверхность (с точностью до топологической эквивалентности, сохраняющей ориентацию). И наоборот, любое вложение связного мультиграфа G на ориентированную замкнутую поверхность определяет уникальную систему вращения, имеющую G в качестве основного мультиграфа. Эта фундаментальная эквивалентность между системами вращения и двухклеточными вложениями была впервые установлена ​​в двойственной форме Лотаром Хеффтером в 1890-х годах. [1] и широко использовался Рингелем в 1950-х годах. [2] Независимо Эдмондс дал основную форму теоремы. [3] а детали его исследования были популяризированы Янгсом. [4] Обобщение на мультиграфы было представлено Гроссом и Альпертом. [5]

Системы вращения связаны с картами вращения, используемыми Рейнгольдом и др. , но не совпадают с ними. (2002) для определения зигзагообразного произведения графов. Система вращения определяет круговое расположение ребер вокруг каждой вершины, тогда как карта вращения определяет (некруговую) перестановку ребер в каждой вершине. Кроме того, системы ротации могут быть определены для любого графа, а Рейнгольд и др. определить их, карты вращения ограничены обычными графами .

Формальное определение

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

Формально система вращения определяется как пара (σ, θ), где σ и θ — перестановки, действующие на одном и том же основном множестве B , θ — неподвижных точек без инволюция , а группа <σ, θ>, порожденная σ и θ действует транзитивно на B .

Чтобы получить систему вращения из двухклеточного вложения связного мультиграфа G на ориентированную поверхность, пусть B состоит из стрелок (или флагов , или полуребер ) G ; то есть для каждого ребра G мы формируем два элемента B , по одному для каждой конечной точки ребра. Даже если ребро имеет ту же вершину, что и обе его конечные точки, мы создаем две вытачки для этого ребра. Мы позволяем θ( b ) быть другим дротиком, образованным из того же края, что и b ; это явно инволюция без фиксированных точек. Пусть σ( b ) будет дротиком в положении по часовой стрелке от b в циклическом порядке ребер, инцидентных одной и той же вершине, где «по часовой стрелке» определяется ориентацией поверхности.

Если мультиграф вложен в ориентируемую, но не ориентированную поверхность, он обычно соответствует двум системам вращения, по одной для каждой из двух ориентаций поверхности. Эти две системы вращения имеют одинаковую инволюцию θ, но перестановка σ для одной системы вращения является обратной соответствующей перестановке для другой системы вращения.

Восстановление вставки из системы ротации

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

Чтобы восстановить мультиграф из системы вращения, мы формируем вершину для каждой орбиты σ и ребро для каждой орбиты θ. Вершина инцидентна ребру, если эти две орбиты имеют непустое пересечение. Таким образом, количество инцидентов на вершину равно размеру орбиты, а количество инцидентов на ребро равно двум. Если система вращения получена из 2-клеточного вложения связного мультиграфа G , граф, полученный из системы вращения изоморфен G , .

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

Характеристика поверхности заделки

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

По формуле Эйлера мы можем вывести род g замкнутой ориентируемой поверхности, определяемой системой вращения (то есть поверхность, на которую встроен двухклеточный мультиграф). [6] Обратите внимание, что , и . Мы находим это

где обозначает множество орбит перестановки .

См. также

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

Примечания

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6fffe00e6d8dfd1d9dcb3355ff53c024__1690036620
URL1:https://arc.ask3.ru/arc/aa/6f/24/6fffe00e6d8dfd1d9dcb3355ff53c024.html
Заголовок, (Title) документа по адресу, URL1:
Rotation system - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)