Планарный граф

Примеры графиков
Планарный	Неплоский
Граф бабочки	Полный граф К ₅
Полный график К ₄	График полезности К _3,3

В теории графов планарный граф — это граф , который можно вложить в плоскость , т. е. его можно нарисовать на плоскости таким образом, что его ребра пересекаются только в своих конечных точках. Другими словами, его можно нарисовать так, чтобы никакие ребра не пересекались. ^[1]^[2]Такое изображение называется плоским графом или плоским вложением графа . Плоский граф можно определить как планарный граф с отображением каждого узла в точку на плоскости и каждого ребра в плоскую кривую на этой плоскости, так что крайними точками каждой кривой являются точки, отображаемые с ее конца. узлы, и все кривые не пересекаются, за исключением крайних точек.

Любой граф, который можно нарисовать на плоскости, можно нарисовать и на сфере , и наоборот, посредством стереографической проекции .

Плоские графы могут быть закодированы с помощью комбинаторных карт или систем вращения .

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

Плоские графы обобщаются до графов, которые можно нарисовать на поверхности заданного рода . В этой терминологии плоские графы имеют род 0, поскольку плоскость (и сфера) являются поверхностями рода 0. « Встраивание графов Другие связанные темы см. в разделе ».

Критерии планарности [ править ]

Теоремы Куратовского и Вагнера [ править ]

математик Польский , теперь Казимеж Куратовский дал характеристику плоских графов в терминах запрещенных графов известную как теорема Куратовского :

Конечный граф планарен тогда и только тогда, когда он не содержит подграфа , являющегося подразделением полного графа

К 5

или полного двудольного графа

К 3,3

( граф полезности ).

Подразделение • графа происходит в результате вставки вершин в ребра (например, изменения ребра —— • на • — • — • ) ноль или более раз.

Вместо рассмотрения подразделений теорема Вагнера касается миноров :

Конечный граф является планарным тогда и только тогда, когда он не имеет

K 5

или

K 3,3

в качестве минора .

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

Анимация, показывающая, что граф Петерсена содержит минорный изоморфен графу $K 3,3$ и, следовательно, непланарен.

Клаус Вагнер задал более общий вопрос, определяется ли какой-либо минорно-замкнутый класс графов конечным набором « запрещенных миноров ». Теперь это теорема Робертсона-Сеймура , доказанная в длинной серии статей. На языке этой теоремы $K 5$ и $K 3,3$ — запрещенные миноры для класса конечных плоских графов.

Другие критерии [ править ]

На практике сложно использовать критерий Куратовского, чтобы быстро решить, является ли данный граф плоским. Однако существуют быстрые алгоритмы решения этой задачи: для графа с $n$ вершинами можно за время $O (n)$ (линейное время) определить, может ли граф быть планарным или нет (см. Проверка планарности ).

Для простого связного плоского графа с $v$ вершинами, $e$ ребрами и $f$ выполняются следующие простые условия $гранями при v \geq 3$ :

Теорема 1. $e \leq 3 v - 6$ ;
Теорема 2. Если циклов длины 3 нет, то $e ⩽ 2 v - 4$ .
Теорема 3. $f \leq 2 v - 4$ .

В этом смысле планарные графы являются разреженными графами , поскольку они имеют только $O (v)$ ребер, асимптотически меньшие, чем максимальное $O (v) . 2)$ . Граф $K3,3 .$ , например, имеет 6 вершин, 9 ребер и ни одного цикла длины 3. Поэтому по теореме 2 он не может быть плоским Эти теоремы обеспечивают необходимые условия планарности, которые не являются достаточными условиями, и поэтому могут использоваться только для доказательства того, что граф не планарен, а не то, что он планарен. Если обе теоремы 1 и 2 не работают, можно использовать другие методы.

Критерий планарности Уитни дает характеристику, основанную на существовании двойственного алгебраического элемента;
Критерий планарности Мак Лейна дает алгебраическую характеристику конечных плоских графов через их пространства циклов ;
дает Критерий планарности Фрайссеха – Розенштиля характеристику, основанную на существовании двуразделения ребер кодерева дерева поиска в глубину. слева направо Он занимает центральное место в алгоритме проверки планарности ;
Теорема Шнайдера дает характеристику планарности в терминах размерности частичного порядка ;
Критерий планарности Колена де Вердьера дает характеристику, основанную на максимальной кратности второго собственного значения некоторых операторов Шредингера, определяемых графиком.
Теорема Ханани -Тутте утверждает, что граф является плоским тогда и только тогда, когда у него есть рисунок, на котором каждая независимая пара ребер пересекает четное количество раз; его можно использовать для характеристики плоских графов с помощью системы уравнений по модулю 2.

Свойства [ править ]

Формула Эйлера [ править ]

Формула Эйлера гласит, что если конечный связный плоский граф нарисован на плоскости без каких-либо пересечений ребер, а $v$ — количество вершин, $e$ — количество ребер, а $f$ — количество граней (областей, ограниченных ребрами, включая внешняя, бесконечно большая область), то

v-e+f=2.

В качестве иллюстрации в графе-бабочке приведенном выше $v = 5$ , $e = 6$ и $f = 3$ . В общем, если это свойство справедливо для всех плоских графов $f$ граней, любое изменение графа, которое создает дополнительную грань, сохраняя при этом планарность графа, сохранит $v - e + f$ инвариантом. Поскольку это свойство справедливо для всех графов с $f = 2$ , по математической индукции оно справедливо для всех случаев. Формулу Эйлера также можно доказать следующим образом: если граф не является деревом , то удалите ребро, завершающее цикл . Это уменьшает $e$ и $f$ на единицу, оставляя $v - e + f$ постоянным. Повторяйте, пока оставшийся граф не станет деревом; деревья имеют $v = e + 1$ и $f = 1$ , что дает $v - e + f = 2$ , т. е. эйлерова характеристика равна 2.

В конечном, связном , простом , плоском графе любая грань (за исключением, возможно, внешней) ограничена по крайней мере тремя ребрами, и каждое ребро касается не более чем двух граней; используя формулу Эйлера, можно затем показать, что эти графы разрежены в том смысле, что если $v \geq 3$ :

e\leq 3v-6.

Формула Эйлера справедлива и для выпуклых многогранников . Это не случайно: каждый выпуклый многогранник можно превратить в связный простой плоский граф, используя диаграмму Шлегеля многогранника — перспективную проекцию многогранника на плоскость с центром перспективы, выбранным вблизи центра одного из грани многогранника. Не каждый плоский граф таким образом соответствует выпуклому многограннику: например, деревья этого не делают. Теорема Стейница утверждает, что многогранные графы , образованные из выпуклых многогранников, представляют собой в точности конечные 3-связные простые планарные графы. В более общем смысле формула Эйлера применима к любому многограннику, грани которого представляют собой простые многоугольники , образующие поверхность, топологически эквивалентную сфере, независимо от ее выпуклости.

Средняя степень [ править ]

Связные плоские графы с более чем одним ребром подчиняются неравенству $2 e \geq 3 f$ , поскольку каждая грань имеет как минимум три инцидентности ребер грани, и каждое ребро вносит ровно два инцидентности. следует, $Путем алгебраических преобразований этого неравенства с помощью формулы Эйлера v - e + f = 2$ что для конечных плоских графов средняя степень строго меньше 6. Графы с более высокой средней степенью не могут быть планарными.

Графики монет [ править ]

Мы говорим, что две окружности, нарисованные на плоскости, целуются (или соприкасаются ) всякий раз, когда они пересекаются ровно в одной точке. «Граф монет» — это граф, образованный набором кругов, никакие два из которых не имеют перекрывающихся внутренних частей, путем создания вершины для каждого круга и ребра для каждой пары целующихся кругов. Теорема об упаковке кругов , впервые доказанная Полом Кебе в 1936 году, утверждает, что граф является плоским тогда и только тогда, когда он является графом монеты.

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

Плотность планарного графа [ править ]

Коэффициент связности или плотность $D$ планарного графа или сети — это отношение числа $f - 1$ ограниченных граней (того же, что и схемный ранг графа по критерию планарности Мак Лейна ) к его максимально возможным значениям $2 v - 5$ для графа с $v$ вершинами:

D={\frac {f-1}{2v-5}}

Плотность подчиняется $0 \leq D \leq 1$ , причем $D = 0$ для полностью разреженный планарный граф (дерево) и $D = 1$ для полностью плотного (максимального) планарного графа. ^[3]

Двойной график [ править ]

Учитывая вложение $G$ связного графа (не обязательно простого) в плоскость без пересечений ребер, мы строим двойственный граф $G*$ следующим образом: мы выбираем по одной вершине в каждой грани $G$ (включая внешнюю грань) и для каждого ребра $e$ в $G$ мы вводим новое ребро в $G*$ , соединяющее две вершины в $G*$ , соответствующие двум граням в $G$ , которые встречаются в $точке e$ . Более того, это ребро нарисовано так, что оно пересекает $e$ ровно один раз и что никакое другое ребро $G$ или $G*$ не пересекается. Тогда $G*$ снова является вложением (не обязательно простого) плоского графа; у него столько же ребер, сколько у $G$ , столько вершин, сколько $у G$ граней, и столько же граней, сколько $у G$ вершин. Термин «двойственный» оправдан тем, что $G ** = G$ ; здесь равенство есть эквивалентность вложений на сфере . Если $G$ — планарный граф, соответствующий выпуклому многограннику, то $G*$ — плоский граф, соответствующий двойственному многограннику.

Дуальные графы полезны, поскольку многие свойства двойственного графа простым образом связаны со свойствами исходного графа, что позволяет доказывать результаты о графах путем изучения их двойственных графов.

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

Семейства плоских графов [ править ]

Максимальные планарные графы [ править ]

Простой граф называется максимальным планарным, если он планарный, но добавление любого ребра (в данном множестве вершин) разрушит это свойство. Все грани (включая внешнюю) затем ограничиваются тремя краями, что объясняет альтернативный термин « триангуляция плоскости» . Альтернативные названия «треугольный граф». ^[4] или «триангулированный график» ^[5]также использовались, но неоднозначны, поскольку чаще относятся к линейному графику полного графа и к хордальным графам соответственно. Любой максимальный планарный граф не менее чем 3-связен.

Если максимальный планарный граф имеет $v$ вершин с $v > 2$ , то он имеет ровно $3 v - 6$ ребер и $2 v - 4$ грани.

Аполлоновы сети — это максимальные планарные графы, образованные путем многократного разделения треугольных граней на тройки меньших треугольников. Эквивалентно, это плоские 3-деревья .

Ущемленные графы — это графы, в которых каждый периферийный цикл представляет собой треугольник. В максимальном планарном графе (или, в более общем плане, в многогранном графе) периферийные циклы являются гранями, поэтому максимальные планарные графы задушены. Удушенные графы включают также хордальные графы и представляют собой именно те графы, которые могут быть образованы клик-суммами (без удаления ребер) полных графов и максимальных планарных графов. ^[6]

Внепланарные графики [ править ]

Внепланарные графы — это графы с вложением в плоскость, все вершины которого принадлежат неограниченной грани вложения. Каждый внешнепланарный граф планарен, но обратное неверно: $K 4$ планарен, но не внешнепланарен. Теорема, подобная теореме Куратовского, утверждает, что конечный граф является внешнепланарным тогда и только тогда, когда он не содержит подразделения $K 4$ или $K 2,3$ . Вышесказанное является прямым следствием того факта, что граф $G$ является внешнепланарным, если граф, образованный из $G$ добавлением новой вершины с ребрами, соединяющими его со всеми остальными вершинами, является плоским графом. ^[7]

1-внепланарное вложение графа аналогично внешнепланарному вложению. При $k > 1$ плоское вложение называется $k-$ внепланарным, если удаление вершин на внешней грани приводит к $(k - 1)$ -внепланарному вложению. Граф называется $k$ -внепланарным, если он имеет $k$ -внепланарное вложение.

Графики Халина [ править ]

Граф Халина — это граф, сформированный из неориентированного плоского дерева (без узлов степени два) путем соединения его листьев в цикл в порядке, заданном плоским вложением дерева. Эквивалентно, это многогранный граф , в котором одна грань примыкает ко всем остальным. Каждый граф Халина планарен. Как и внешнепланарные графы, графы Халина имеют малую ширину дерева , что упрощает решение многих алгоритмических задач, чем в неограниченных плоских графах. ^[8]

Восходящие планарные графики [ править ]

Планарный граф, направленный вверх, — это направленный ациклический граф , который можно нарисовать на плоскости, ребра которого представляют собой непересекающиеся кривые, последовательно ориентированные вверх. Не каждый планарный направленный ациклический граф является планарным вверх, и NP-полной является проверка того, является ли данный граф планарным вверх.

Выпуклые плоские графики [ править ]

Планарный граф называется выпуклым, если все его грани (включая внешнюю) являются выпуклыми многоугольниками . Не все плоские графы имеют выпуклое вложение (например, полный двудольный граф $K 2,4$ ). Достаточным условием того, что граф может быть нарисован выпуклым, является то, что он является подразделением планарного графа, связанного с 3 вершинами . Пружинная теорема Тутте даже утверждает, что для простых плоских графов, связанных с 3 вершинами, положение внутренних вершин может быть выбрано как среднее значение его соседей.

Представимые в словах плоские графы [ править ]

Представленные в словах плоские графы включают плоские графы без треугольников и, в более общем плане, плоские графы, раскрашиваемые в 3 цвета. ^[9] а также некоторые подразделения граней графов треугольной сетки, ^[10] и некоторые триангуляции цилиндрических графов, покрытых сеткой. ^[11]

Теоремы [ править ]

Перечисление планарных графов [ править ]

Асимптотика на числа (помеченных) плоских графов $n$ вершины $g\cdot n^{-7/2}\cdot \gamma ^{n}\cdot n!$ , где $\gamma \approx 27.22687$ и $g\approx 0.43\times 10^{-5}$ . ^[12]

Почти все планарные графы имеют экспоненциальное число автоморфизмов. ^[13]

Количество непомеченных (неизоморфных) плоских графов на $n$ вершины находятся между $27.2^{n}$ и $30.06^{n}$ . ^[14]

Другие результаты [ править ]

Теорема о четырёх цветах утверждает, что каждый плоский граф раскрашивается в 4 цвета (т.е. 4-дольный).

Теорема Фари утверждает, что каждый простой плоский граф допускает представление в виде плоского прямолинейного графа . Универсальный набор точек — это набор точек, такой, что каждый плоский граф с n вершинами имеет такое вложение со всеми вершинами в наборе точек; существуют универсальные множества точек квадратичного размера, образованные взятием прямоугольного подмножества целочисленной решетки . Каждый простой внешнепланарный граф допускает такое вложение в плоскость, что все вершины лежат на фиксированной окружности, а все ребра представляют собой отрезки прямых, лежащие внутри диска и не пересекающиеся, поэтому с n -вершинами правильные многоугольники универсальны для внешнепланарных графов.

Гипотеза Шейнермана (теперь теорема) утверждает, что каждый плоский граф можно представить как граф пересечений на отрезков прямой плоскости.

Теорема о плоском сепараторе утверждает, что каждый планарный граф с n -вершинами можно разделить на два подграфа размером не более 2 n /3 удалением O( √ n ) вершин. Как следствие, плоские графы также имеют ширину дерева и ширину ветвей O( √ n ).

Теорема о структуре плоского произведения утверждает, что каждый планарный граф является подграфом произведения сильного графа графа с шириной дерева не более 8 и пути. ^[15]Этот результат был использован, чтобы показать, что плоские графы имеют ограниченное число очередей , ограниченное неповторяющееся хроматическое число и универсальные графы почти линейного размера. Он также имеет приложения для ранжирования вершин. ^[16] и p -центрированная раскраска ^[17] планарных графов.

Для двух плоских графов с v вершинами можно за время O( v они ) определить, изоморфны или нет (см. также проблему изоморфизма графов ). ^[18]

Любой планарный граф на n узлах имеет не более 8 (n-2) максимальных клик, ^[19] откуда следует, что класс плоских графов — это класс с малым числом клик.

Обобщения [ править ]

Вершинный граф — это граф, который можно сделать плоским, удалив одну вершину, а k -верхний граф — это граф, который можно сделать плоским, удалив не более k вершин.

1 -планарный граф — это граф, который можно нарисовать на плоскости не более чем с одним простым пересечением на каждое ребро, а k -планарный граф — это граф, который можно нарисовать не более чем с k простыми пересечениями на каждое ребро.

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

Тороидальный граф — это граф, который можно вложить без пересечений на торе . В более общем смысле, род графа — это минимальный род двумерной поверхности, в которую граф может быть вложен; плоские графы имеют род ноль, а неплоские тороидальные графы имеют род один. Каждый граф можно без пересечений вложить в некоторую (ориентируемую, связную) замкнутую двумерную поверхность (сферу с ручками), и, таким образом, род графа корректно определен. Очевидно, что если граф можно вложить без пересечений в (ориентируемую, связную, замкнутую) поверхность рода g, то его можно вложить без пересечений во все (ориентируемые, связные, замкнутые) поверхности большего или равного рода. В теории графов есть и другие понятия, которые называются «родом X» с некоторым квалификатором «X»; в целом они отличаются от определенного выше понятия «род» без каких-либо определителей. В частности, неориентируемый род графа (с использованием неориентируемых поверхностей в его определении) для общего графа отличается от рода этого графа (с использованием ориентируемых поверхностей в его определении).

Любой граф можно вложить в трехмерное пространство без пересечений. Фактически, любой граф можно нарисовать без пересечений в схеме с двумя плоскостями, где две плоскости расположены друг над другом, а ребрам разрешено «подпрыгивать вверх» и «падать вниз» из одной плоскости в другую в любом месте. (не только в вершинах графа), чтобы ребра могли избегать пересечений с другими ребрами. Это можно истолковать как утверждение, что можно создать любую электрическую проводящую сеть с помощью двусторонней печатной платы , где может быть выполнено электрическое соединение между сторонами платы (как это возможно с типичными реальными печатными платами, с электрическими соединениями на верхней стороне платы обеспечивается кусками провода, а на нижней стороне - медными дорожками, встроенными в саму плату, а электрическое соединение между сторонами платы достигается путем сверления отверстий, пропускания проводов через отверстия и пайки их . в рельсы); это также можно интерпретировать как утверждение, что для построения любой дорожной сети нужны только мосты или только туннели, а не то и другое (достаточно 2 уровней, 3 не нужны). Также в трехмерном пространстве тривиален вопрос о построении графа без пересечений. Однако трёхмерный аналог плоских графов даёт бессвязно встраиваемые графы — графы, которые можно встроить в трехмерное пространство таким образом, что никакие два цикла не будут топологически связаны друг с другом. По аналогии с характеристиками Куратовского и Вагнера плоских графов как графов, которые не содержат K ₅ или K _3,3 в качестве минора, бессвязно встраиваемые графы могут быть охарактеризованы как графы, которые не содержат в качестве минора ни одного из семь графов в семье Петерсенов . По аналогии с характеристиками внешнепланарных и плоских графов как графов с инвариантом графа Колена де Вердьера не более двух или трех, встраиваемые без связей графы - это графы, у которых инвариант Колена де Вердьера не превышает четырех.

См. также [ править ]

Комбинаторное отображение - комбинаторный объект, который может кодировать плоские графы.
Планаризация — плоский граф, сформированный из рисунка с пересечениями путем замены каждой точки пересечения новой вершиной.
Толщина (теория графов) — наименьшее количество плоских графов, на которые можно разбить ребра данного графа.
Planarity — компьютерная игра-головоломка, цель которой — встроить планарный граф в плоскость.
Sprouts (игра) — игра с карандашом и бумагой, в которой в рамках игры строится планарный граф с определенными ограничениями.
Задача о трёх коммунальных услугах , популярная головоломка

Примечания [ править ]

^ Трюдо, Ричард Дж. (1993). Введение в теорию графов (Исправленное, расширенное издание. Под ред.). Нью-Йорк: Паб Dover. п. 64. ИСБН 978-0-486-67870-2 . Проверено 8 августа 2012 г. Таким образом, плоский граф, нарисованный на плоской поверхности, либо не имеет пересечений ребер, либо может быть перерисован без них.
^ Бартелеми, М. (2017). «1.5 Планарные графы» . Морфогенез пространственных сетей . Спрингер. п. 6. ISBN 978-3-319-20565-6 .
^ Буль, Дж.; Готре, Ж.; Соле, Р.В.; Кунц, П.; Вальверде, С.; Денебур, JL; Тераулаз, Г. (2004), «Эффективность и надежность в муравьиных сетях галерей», European Physical Journal B , 42 (1): 123–129, Bibcode : 2004EPJB...42..123B , doi : 10.1140/epjb/ e2004-00364-9 , S2CID 14975826 .
^ Шнайдер, В. (1989), «Плоские графы и размерность частичного множества», Order , 5 (4): 323–343, doi : 10.1007/BF00353652 , MR 1010382 , S2CID 122785359 .
^ Бхаскер, Джаярам; Сахни, Сартадж (1988), «Линейный алгоритм поиска прямоугольного двойника плоского триангулированного графа», Algorithmica , 3 (1–4): 247–278, doi : 10.1007/BF01762117 , S2CID 2709057 .
^ Сеймур, PD; Уивер, Р.В. (1984), «Обобщение хордальных графов», Журнал теории графов , 8 (2): 241–251, doi : 10.1002/jgt.3190080206 , MR 0742878 .
^ Фельснер, Стефан (2004), «1.4 Внепланарные графы и выпуклые геометрические графы», Геометрические графики и их расположения , Продвинутые лекции по математике, Фридр. Vieweg & Sohn, Висбаден, стр. 6–7, номер документа : 10.1007/978-3-322-80303-0_1 , ISBN. 3-528-06972-4 , МР 2061507
^ Сысло, Мацей М.; Проскуровски, Анджей (1983), «О графах Халина», Теория графов: материалы конференции, состоявшейся в Лагуве, Польша, 10–13 февраля 1981 г. , Конспекты лекций по математике, том. 1018, Springer-Verlag, стр. 248–256, doi : 10.1007/BFb0071635 .
^ Халлдорссон, М.; Китаев С.; Пяткин., А. (2016). «Полутранзитивные ориентации и графы, представимые в словах» (PDF) . Дискр. Прил. Математика . 201 : 164–171. дои : 10.1016/j.dam.2015.07.033 . S2CID 26796091 .
^ Чен, TZQ; Китаев С.; Солнце, BY (2016). «Словопредставимость подразделений граней треугольных сеточных графов». Графики и объединение . 32 (5): 1749–61. arXiv : 1503.08002 . дои : 10.1007/s00373-016-1693-z . S2CID 43817300 .
^ Чен, TZQ; Китаев С.; Солнце, BY (2016). «Представимость в словах триангуляций цилиндрических графов, покрытых сеткой». Дискр. Прил. Математика . 213 : 60–70. arXiv : 1507.06749 . дои : 10.1016/j.dam.2016.05.025 . S2CID 26987743 .
^ Хименес, Омер; Ной, Марк (2009). «Асимптотическое перечисление и предельные законы плоских графов». Журнал Американского математического общества . 22 (2): 309–329. arXiv : math/0501269 . Бибкод : 2009JAMS...22..309G . дои : 10.1090/s0894-0347-08-00624-3 . S2CID 3353537 .
^ МакДиармид, Колин; Стегер, Анжелика ; Валлийский, Доминик Дж.А. (2005). «Случайные плоские графы». Журнал комбинаторной теории, серия B. 93 (2): 187–205. CiteSeerX 10.1.1.572.857 . дои : 10.1016/j.jctb.2004.09.007 .
^ Боничон, Н.; Гавуаль, К.; Ханусс, Н.; Пулалон, Д.; Шеффер, Г. (2006). «Планарные графы с помощью упорядоченных карт и деревьев». Графы и комбинаторика . 22 (2): 185–202. CiteSeerX 10.1.1.106.7456 . дои : 10.1007/s00373-006-0647-2 . S2CID 22639942 .
^ Дуймович, Вида ; Джорет, Гвенэль; Мичек, Петр; Морен, Пэт ; Юкердт, Торстен; Вуд, Дэвид Р. (2020), «Плоские графы имеют ограниченное число очередей», Journal of the ACM , 67 (4): 22:1–22:38, arXiv : 1904.04791 , doi : 10.1145/3385731
^ Бозе, Просенджит; Дуймович, Вида ; Джаварсине, Мехрнуш; Морин, Пэт (2020), Асимптотически оптимальное ранжирование вершин планарных графов , arXiv : 2007.06455
^ Дембский, Михал; Фельснер, Стефан; Мичек, Петр; Шредер, Феликс (2021), «Улучшенные границы для центрированных раскрасок», « Достижения в комбинаторике » , arXiv : 1907.04586 , doi : 10.19086/aic.27351 , S2CID 195874032
^ Филотти, И.С.; Майер, Джек Н. (1980). «Алгоритм с полиномиальным временем определения изоморфизма графов фиксированного рода». Материалы 12-го ежегодного симпозиума ACM по теории вычислений (PDF) . стр. 236–243. дои : 10.1145/800141.804671 . ISBN 978-0-89791-017-0 . S2CID 16345164 .
^ Вуд, ДР (2007). О максимальном количестве клик в графе. Графы и комбинаторика , 23 (3), 337–352. https://doi.org/10.1007/s00373-007-0738-8

Ссылки [ править ]

Куратовский, Казимеж (1930), «К проблеме левых кривых в топологии» (PDF) , Fundamenta Mathematicae (на французском языке), 15 : 271–283, doi : 10.4064/fm-15-1-271-283 .
Вагнер, К. (1937), «О свойстве плоских комплексов», Mathematical Annals (на немецком языке), 114 : 570–590, doi : 10.1007/BF01594196 , S2CID 123534907 .
Бойер, Джон М.; Мирволд, Венди Дж. (2005), «На острие: упрощенная планарность O(n) путем сложения ребер» (PDF) , Journal of Graph Algorithms and Applications , 8 (3): 241–273, doi : 10.7155/jgaa .00091 .
Маккей, Брендан ; Бринкманн, Гуннар, Полезный генератор планарных графов .
де Фрейссе, Х.; Оссона де Мендес, П. ; Розенштиль, П. (2006), «Деревья Тремо и планарность», Международный журнал основ компьютерных наук , 17 (5): 1017–1029, arXiv : math/0610935 , doi : 10.1142/S0129054106004248 , S2CID 40107560 . Специальный выпуск по рисованию графов.
Бадер, Д.А. ; Срешта, С. (1 октября 2003 г.). Новый параллельный алгоритм проверки планарности (технический отчет). Технический отчет UNM-ECE 03-002. Архивировано из оригинала 16 марта 2016 г.
Фиск, Стив (1978), «Краткое доказательство теоремы Хваталя о стороже», Журнал комбинаторной теории, серия B , 24 (3): 374, doi : 10.1016/0095-8956(78)90059-X .

Внешние ссылки [ править ]

Исходный код алгоритма планарности сложения ребер, версия 1.0 — бесплатный исходный код на C для эталонной реализации алгоритма планарности Бойера – Мирволда, который предоставляет как комбинаторное плоское средство внедрения, так и изолятор подграфов Куратовского. Проект с открытым исходным кодом и бесплатной лицензией предоставляет алгоритмы планарности Edge Addition, текущую версию .
Публичная реализация библиотеки и редактора графовых алгоритмов — библиотека графовых алгоритмов GPL, включая тестирование планарности, средство для внедрения планарности и выставку подграфов Куратовского в линейном времени.
Инструменты библиотеки Boost Graph для плоских графов , включая тестирование планарности линейного времени, встраивание, изоляцию подграфов Куратовского и рисование прямых линий.
3 головоломки с утилитами и плоские графики
Модель NetLogo Planarity — версия NetLogo игры Джона Тантало.

[1] Трюдо, Ричард Дж. (1993). Введение в теорию графов (Исправленное, расширенное издание. Под ред.). Нью-Йорк: Паб Dover. п. 64. ИСБН 978-0-486-67870-2 . Проверено 8 августа 2012 г. Таким образом, плоский граф, нарисованный на плоской поверхности, либо не имеет пересечений ребер, либо может быть перерисован без них.

[2] Бартелеми, М. (2017). «1.5 Планарные графы» . Морфогенез пространственных сетей . Спрингер. п. 6. ISBN 978-3-319-20565-6 .

[3] Буль, Дж.; Готре, Ж.; Соле, Р.В.; Кунц, П.; Вальверде, С.; Денебур, JL; Тераулаз, Г. (2004), «Эффективность и надежность в муравьиных сетях галерей», European Physical Journal B , 42 (1): 123–129, Bibcode : 2004EPJB...42..123B , doi : 10.1140/epjb/ e2004-00364-9 , S2CID 14975826 .

[4] Шнайдер, В. (1989), «Плоские графы и размерность частичного множества», Order , 5 (4): 323–343, doi : 10.1007/BF00353652 , MR 1010382 , S2CID 122785359 .

[5] Бхаскер, Джаярам; Сахни, Сартадж (1988), «Линейный алгоритм поиска прямоугольного двойника плоского триангулированного графа», Algorithmica , 3 (1–4): 247–278, doi : 10.1007/BF01762117 , S2CID 2709057 .

[6] Сеймур, PD; Уивер, Р.В. (1984), «Обобщение хордальных графов», Журнал теории графов , 8 (2): 241–251, doi : 10.1002/jgt.3190080206 , MR 0742878 .

[7] Фельснер, Стефан (2004), «1.4 Внепланарные графы и выпуклые геометрические графы», Геометрические графики и их расположения , Продвинутые лекции по математике, Фридр. Vieweg & Sohn, Висбаден, стр. 6–7, номер документа : 10.1007/978-3-322-80303-0_1 , ISBN. 3-528-06972-4 , МР 2061507

[8] Сысло, Мацей М.; Проскуровски, Анджей (1983), «О графах Халина», Теория графов: материалы конференции, состоявшейся в Лагуве, Польша, 10–13 февраля 1981 г. , Конспекты лекций по математике, том. 1018, Springer-Verlag, стр. 248–256, doi : 10.1007/BFb0071635 .

[HK|last=P16-9] Халлдорссон, М.; Китаев С.; Пяткин., А. (2016). «Полутранзитивные ориентации и графы, представимые в словах» (PDF) . Дискр. Прил. Математика . 201 : 164–171. дои : 10.1016/j.dam.2015.07.033 . S2CID 26796091 .

[CKS2016-10] Чен, TZQ; Китаев С.; Солнце, BY (2016). «Словопредставимость подразделений граней треугольных сеточных графов». Графики и объединение . 32 (5): 1749–61. arXiv : 1503.08002 . дои : 10.1007/s00373-016-1693-z . S2CID 43817300 .

[CKS2016-2-11] Чен, TZQ; Китаев С.; Солнце, BY (2016). «Представимость в словах триангуляций цилиндрических графов, покрытых сеткой». Дискр. Прил. Математика . 213 : 60–70. arXiv : 1507.06749 . дои : 10.1016/j.dam.2016.05.025 . S2CID 26987743 .

[12] Хименес, Омер; Ной, Марк (2009). «Асимптотическое перечисление и предельные законы плоских графов». Журнал Американского математического общества . 22 (2): 309–329. arXiv : math/0501269 . Бибкод : 2009JAMS...22..309G . дои : 10.1090/s0894-0347-08-00624-3 . S2CID 3353537 .

[13] МакДиармид, Колин; Стегер, Анжелика ; Валлийский, Доминик Дж.А. (2005). «Случайные плоские графы». Журнал комбинаторной теории, серия B. 93 (2): 187–205. CiteSeerX 10.1.1.572.857 . дои : 10.1016/j.jctb.2004.09.007 .

[14] Боничон, Н.; Гавуаль, К.; Ханусс, Н.; Пулалон, Д.; Шеффер, Г. (2006). «Планарные графы с помощью упорядоченных карт и деревьев». Графы и комбинаторика . 22 (2): 185–202. CiteSeerX 10.1.1.106.7456 . дои : 10.1007/s00373-006-0647-2 . S2CID 22639942 .

[15] Дуймович, Вида ; Джорет, Гвенэль; Мичек, Петр; Морен, Пэт ; Юкердт, Торстен; Вуд, Дэвид Р. (2020), «Плоские графы имеют ограниченное число очередей», Journal of the ACM , 67 (4): 22:1–22:38, arXiv : 1904.04791 , doi : 10.1145/3385731

[16] Бозе, Просенджит; Дуймович, Вида ; Джаварсине, Мехрнуш; Морин, Пэт (2020), Асимптотически оптимальное ранжирование вершин планарных графов , arXiv : 2007.06455

[17] Дембский, Михал; Фельснер, Стефан; Мичек, Петр; Шредер, Феликс (2021), «Улучшенные границы для центрированных раскрасок», « Достижения в комбинаторике » , arXiv : 1907.04586 , doi : 10.19086/aic.27351 , S2CID 195874032

[18] Филотти, И.С.; Майер, Джек Н. (1980). «Алгоритм с полиномиальным временем определения изоморфизма графов фиксированного рода». Материалы 12-го ежегодного симпозиума ACM по теории вычислений (PDF) . стр. 236–243. дои : 10.1145/800141.804671 . ISBN 978-0-89791-017-0 . S2CID 16345164 .

[19] Вуд, ДР (2007). О максимальном количестве клик в графе. Графы и комбинаторика , 23 (3), 337–352. https://doi.org/10.1007/s00373-007-0738-8

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]