Плоский граф
Пло́ский граф (планарный граф), граф, допускающий правильную укладку на плоскости. Иными словами, граф называется плоским, если он может быть изображён на плоскости так, что вершинам соответствуют различные точки плоскости, а линии, соответствующие рёбрам (исключая их концевые точки), не проходят через точки, соответствующие вершинам, и не пересекаются. К рассмотрению плоских графов сводятся такие задачи, как задача о раскраске карт, задачи о проектировании коммуникаций, задачи из радиоэлектроники, связанные с реализацией схемы с помощью плоских печатных подсхем, и др. Любая правильная (без пересечения рёбер) укладка связного плоского графа порождает разбиение плоскости на отдельные области (грани). Такое разбиение плоскости называется плоской картой. Для любой плоской карты имеет место формула Эйлера где – число вершин, – число рёбер и – число областей карты (включая внешнюю область).
Отсюда графы (полный граф с , см. рис. 1) и (полный двудольный граф, имеющий по вершины в каждой доле, см. рис. 2) не являются плоскими. Эти графы являются в некотором смысле минимальными неплоскими графами в силу теоремы Понтрягина – Куратовского: граф плоский тогда и только тогда, когда он не содержит подграфа, гомеоморфного графу или .
Существуют и другие критерии планарности (т. е. свойства графа быть плоским). В частности, граф является плоским тогда и только тогда, когда каждая нетривиальная двусвязная компонента графа обладает таким базисом циклов и таким дополнительным циклом , что любое ребро графа принадлежит точно двум из этих циклов (базис циклов – это подмножество циклов данного графа, независимое и полное во множестве всех циклов графа относительно операции сложения по модулю ).
Любой плоский граф можно изобразить на плоскости так, чтобы все его рёбра являлись отрезками прямых. Любой трёхсвязный плоский граф единственным образом укладывается на сфере (с точностью до гомеоморфизма сферы). Каждой укладке плоского графа на плоскости, а следовательно и плоской карте, можно поставить в соответствие геометрически двойственный ей граф, получаемый следующим образом. В каждую область карты помещается по вершине плоского графа, и если две области имеют общее ребро , то помещённые в них вершины соединяются ребром , пересекающим только ребро (на рис. 3 сплошными линиями изображена укладка плоского графа, а штриховыми – двойственный ей граф). Плоская карта, каждая грань которой ограничена тремя рёбрами, называется плоской триангуляцией. Число рёбер плоской триангуляции с вершинами равно .
В теории графов большое внимание уделяется раскраскам плоских графов; для неплоских графов изучаются различные числовые характеристики, показывающие степень непланарности, например род, толщина, крупность графа, число скрещиваний и др.