Графически закодированная карта

Граф, описывающий топологическое вложение
Графически закодированная карта (серые треугольники и цветные ребра) графа на плоскости (белые круги и черные ребра)

В топологической теории графов граф -кодированная карта или gem — это метод кодирования клеточного вложения графа с использованием другого графа с четырьмя вершинами на ребро исходного графа. [1] Это топологический аналог runcination , геометрической операции над многогранниками . Граф-кодированные карты были сформулированы и названы Линсом (1982). [2] Альтернативные и эквивалентные системы для представления клеточных вложений включают в себя системы вращения со знаком и ленточные графы .

Граф-кодированная карта для вложенного графа — это еще один кубический граф вместе с 3-рёберной раскраской . Каждое ребро из расширяется ровно на четыре вершины в , по одной для каждого выбора стороны и конечной точки ребра. Ребро в соединяет каждую такую ​​вершину с вершиной, представляющей противоположную сторону и ту же конечную точку ; эти ребра по соглашению окрашены в красный цвет. Другое ребро в соединяет каждую вершину с вершиной, представляющей противоположную конечную точку и ту же сторону ; эти ребра по соглашению окрашены в синий цвет. Ребро в третьего цвета, жёлтого, соединяет каждую вершину с вершиной, представляющей другое ребро , которое встречается на той же стороне и в той же конечной точке. [1] Г {\displaystyle G} ЧАС {\displaystyle H} ЧАС {\displaystyle H} е {\displaystyle е} Г {\displaystyle G} ЧАС {\displaystyle H} ЧАС {\displaystyle H} е {\displaystyle е} ЧАС {\displaystyle H} е {\displaystyle е} ЧАС {\displaystyle H} е {\displaystyle е'} е {\displaystyle е}

Альтернативное описание состоит в том, что у него есть вершина для каждого флага ( взаимно инцидентная тройка вершины, ребра и грани). Если — флаг, то существует ровно одна вершина , ребро и грань , такие что , и также являются флагами. Три цвета ребер в представляют каждый из этих трех типов флагов, которые отличаются одним из трех своих элементов. Однако интерпретация граф-кодированной карты таким образом требует большей осторожности. Когда одна и та же грань появляется с обеих сторон ребра, как это может произойти, например, для плоского вложения дерева , две стороны порождают разные вершины драгоценных камней. А когда одна и та же вершина появляется в обеих конечных точках петли , два конца ребра снова порождают разные вершины драгоценных камней. Таким образом, каждая тройка может быть связана с четырьмя различными вершинами драгоценного камня. [1] ЧАС {\displaystyle H} Г {\displaystyle G} ( в , е , ф ) {\displaystyle (v,e,f)} в {\displaystyle v'} е {\displaystyle е'} ф {\displaystyle f'} ( в , е , ф ) {\displaystyle (v',e,f)} ( в , е , ф ) {\displaystyle (v,e',f)} ( в , е , ф ) {\displaystyle (v,e,f')} ЧАС {\displaystyle H} ( в , е , ф ) {\displaystyle (v,e,f)}

Всякий раз, когда кубический граф может быть раскрашен в 3 ребра так, чтобы красно-синие циклы раскраски имели длину четыре, раскрашенный граф можно интерпретировать как граф-кодированную карту и представлять вложение другого графа . Чтобы восстановить и его вложение, интерпретируйте каждый двухцветный цикл как грань вложения на поверхность , сократите каждый красно-желтый цикл в одну вершину и замените каждую пару параллельных синих ребер, оставшихся после сжатия, одним ребром . [1] ЧАС {\displaystyle H} Г {\displaystyle G} Г {\displaystyle G} ЧАС {\displaystyle H} ЧАС {\displaystyle H} Г {\displaystyle G} Г {\displaystyle G}

Двойственный граф карты, закодированной графом, может быть получен из карты путем ее перекрашивания таким образом, чтобы красные края драгоценного камня стали синими, а синие края — красными. [3]

Ссылки

  1. ^ abcd Боннингтон, К. Пол; Литтл, Чарльз ХК (1995), Основы топологической теории графов, Нью-Йорк: Springer-Verlag, стр. 31, doi :10.1007/978-1-4612-2540-9, ISBN 0-387-94557-1, г-н  1367285
  2. ^ Линс, Состенес (1982), «Граф-кодированные карты», Журнал комбинаторной теории , Серия B, 32 (2): 171– 181, doi : 10.1016/0095-8956(82)90033-8 , MR  0657686
  3. Боннингтон и Литтл (1995), стр. 111–112.
Получено с "https://en.wikipedia.org/w/index.php?title=Graph-encoded_map&oldid=1071878705"