Loading AI tools
Из Википедии, свободной энциклопедии
1-планарный граф — граф, который может быть нарисован в евклидовой плоскости таким образом, что каждое ребро имеет максимум одно пересечение с единственным другим ребром. Естественное обобщение — -планарный граф.
1-планарные графы первым рассматривал Рингель, который показал, что они могут быть раскрашены, не превышая семи цветов[1]. Позднее точное число цветов, необходимых для раскраски этих графов, (в худшем случае) было уменьшено до шести[2]. Пример полного графа , являющегося 1-планарным, показывает, что 1-планарные графы иногда могут требовать для раскраски шести цветов. Однако доказательство достаточности шести цветом не является простым.
Поводом для рассмотрения 1-планарных графов Рингелем была попытка решить вариант задачи тотальной раскраски для планарных графов, в которой раскрашиваются вершины и грани планарного графа таким образом, что никакие две смежные вершины не имеют одинаковый цвет и любые две смежные грани тоже должны быть раскрашены в разные цвета, а также цвета вершин и смежных им граней должны отличаться. Очевидно, что это можно сделать с помощью восьми красок, если применить теорему о четырёх красках для графа и его двойственного графа раздельно, применив два непересекающихся набора четырёх красок. Однако можно получить меньшее количество красок, если сформировать вспомогательный граф, имеющий по вершине для каждой вершины и грани исходного планарного графа, и в котором две вершины вспомогательного графа смежны, если они соответствуют смежным объектам заданного планарного графа. Раскраска вершин вспомогательного графа соответствует раскраске исходного планарного графа. Вспомогательный граф является 1-планарным, откуда следует, что задача Рингеля раскраски вершин и граней может быть решена с использованием шести цветов[2]. Граф не может быть получен как вспомогательный граф таким образом, но, тем не менее, задача раскраски вершин и граней иногда требует шести цветов. Например, если раскрашивать планарный граф треугольной призмы, её 6 вершин + 5 граней требует шести цветов[3].
Любой 1-планарный граф с вершинами имеет не более рёбер[4]. Более строго, каждый рисунок 1-планарного графа имеет не более пересечений. Удаление одного ребра из каждой пересекающейся пары рёбер оставляет планарный граф, который имеет не более рёбер, откуда немедленно следует граница числа рёбер исходного 1-планарного графа[5]. Однако, в отличие от планарных графов (для которых все максимальные планарные графы на заданном множестве вершин имеют одинаковое число рёбер), существуют максимальные 1-планарные графы (графы, в которые нельзя добавить ребро с сохранением 1-планарности), которые имеют существенно менее рёбер[6]. Граница максимального возможного числа рёбер в 1-планарном графе может быть использована, чтобы показать, что полный граф с семью вершинами не является 1-планарным, поскольку этот граф имеет 21 ребро, а тогда [7].
Говорят, что 1-планарный граф является оптимальным 1-планарным графом, если он имеет в точности − 8 рёбер, максимально возможное число. В 1-планарном вложении оптимального 1-планарного графа непересекающиеся рёбра обязательно образуют разбиение на четырёхугольники (то есть образуют полиэдральный граф, в котором каждая грань является четырёхугольником). Любое разбиение на четырёхугольники порождает 1-планарный граф путём добавления двух диагоналей в каждую квадратную грань. Отсюда следует, что любой оптимальный 1-планарный граф является эйлеровым (все его вершины имеют чётную степень), что наименьшая степень в таких графах — 6, и что любой оптимальный 1-планарный граф имеет по меньшей мере восемь вершин со степенью в точности шесть. Кроме того, любой оптимальный 1-планарный граф вершинно 4-связен и любое 4-вершинное сечение в таком графе является отсекающим циклом в нижележащем разбиении на четырёхугольники[8].
Графы, имеющие прямолинейные 1-планарные рисунки (то есть рисунки, в которых каждое ребро представляется прямолинейным отрезком и каждый отрезок пересекается максимум одним другим ребром), имеют слегка более сильную границу максимального числа рёбер, которая достигается на бесконечном числе графов[9].
Полная классификация 1-планарных полных графов, полных двудольных графов и более общих полных многодольных графов известна. Любой полный двудольный граф вида является 1-планарным, как и любой полный трёхдольный граф вида . Кроме этих бесконечных множеств, полными многодольными 1-планарными графами являются , , , , и их подграфы. Минимальные полные многодольные графы, не являющиеся 1-планарными, — это , , , , and . Например, полный двудольный граф является 1-планарным, поскольку он является подграфом , а вот не является 1-планарным[7].
Проверка, является ли граф 1-планарным, NP-полна[10][11], и задача остаётся NP-полной даже для графов, полученных из планарных графов путём добавления единственного ребра[12] и для графов ограниченной ширины[англ.][13].
Задача фиксированно-параметрически разрешима[англ.], если параметризовать по цикломатическому числу или по глубине дерева, так что она может быть решена за полиномиальное время, если эти параметры ограничены[13].
В отличие от теоремы Фари для планарных графов, не все 1-планарные графы могут быть нарисованы 1-планарно с отрезками прямой в качестве рёбер[14][15]. Однако проверка, можно ли нарисовать 1-планарный граф с прямыми рёбрами, может быть выполнена за полиномиальное время[16]. Кроме того, любой вершинно 3-связный 1-планарный граф имеет 1-планарный рисунок, в котором максимум одно ребро на внешней грани имеет излом. Такой рисунок может быть построен за линейное время, исходя из 1-планарного вложения графа[17]. 1-планарные графы имеют ограниченную книжную толщину[18], но некоторые 1-планарные графы, включая , имеют книжную толщину по меньшей мере четыре[19].
1-планарные графы имеют ограниченную локальную древесную ширину, что означает, что существует (линейная) функция , такая, что 1-планарные графы диаметра имеют древесную ширину, не превосходящую . То же свойство имеет место для более общих графов, которые можно вложить в поверхность ограниченного рода с ограниченным числом пересечений на ребро. Они также имеют сепараторы, небольшое множество вершин, удаление которых разбивает граф на связные компоненты, размер которых составляет постоянную дробную часть от всего графа. Опираясь на эти свойства многочисленные алгоритмы для планарных графов, такие как техника Бренды Бейкер (Brenda Sue Baker — американская женщина-математик) для построения аппроксимационных алгоритмов, могут быть расширены для 1-планарных графов. Например, этот метод приводит к приближенной схеме полиномиального времени для нахождения наибольшего независимого множества 1-планарного графа[20].
Класс графов, аналогичных внешнепланарным графам для 1-планарности, называется внешне 1-планарные графы. Это графы, которые можно нарисовать на диске с вершинами на границе диска и с рёбрами, имеющими максимум одно пересечение на ребро. Эти графы всегда могут быть нарисованы (в виде внешне 1-планарного графа) с прямыми рёбрами и пересечениями под прямыми углами[21]. При помощи динамического программирования на SPQR-дереве заданного графа можно проверить, не является ли граф внешне 1-планарным, за линейное время[22][23]. Трёхсвязные компоненты графа (узлы дерева SPQR) могут состоять только из циклов, бондграфов и полных графов с четырьмя вершинами, откуда следует, что внешне 1-планарные графы являются планарными и имеют древесную ширину максимум три. В отличие от 1-планарных графов, внешне 1-планарные графы имеют характеризацию в терминах миноров графа — граф является внешне 1-планарным тогда и только тогда, когда в нём нет ни одного из пяти запрещённых миноров[23].
Классу 1-планарных графов принадлежат графы 4-карт[англ.], графы, образованные из смежных регионов плоскости с условием, что никакая точка не лежит на границе более четырёх регионов (вершины (регионы) соединены ребром, если регионы граничат). И обратно — любой оптимальный 1-планарный граф является графом 4-карты. Однако 1-планарные графы, не являющиеся оптимальными 1-планарными, могут и не быть графами карт[24].
1-планарные графы обобщаются до -планарных графов, в которых каждое ребро пересекается другими рёбрами не более раз. Рингель определил локальное число пересечений графа как наименьшее неотрицательное , такое, что имеет -планарный рисунок. Поскольку локальное число пересечений равно наибольшей степени графа пересечений рёбер оптимального рисунка, а толщина (минимальное число планарных графов, на которые можно разложить рёбра) может рассматриваться как хроматическое число графа пересечений подходящего рисунка, из теоремы Брукса следует, что толщина не больше чем на единицу превышает локальное число пересечений[25]. -планарные графы с вершинами имеют максимум рёбер[26] и древесную ширину [27]. Неглубокий минор -планарного графа с глубиной сам является -планарным, так что неглубокие миноры 1-планарных графов и -планарных графов являются разреженными графами, здесь имеется в виду, что 1-планарные и -планарные графы имеют ограниченное расшериние[англ.][28].
Для непланарных графов также можно задать параметр число пересечений, минимальное число рёбер, которые пересекаются в любом рисунке графа. Граф с числом пересечений обязательно -планарен, но обратное не обязательно верно. Например, граф Хивуда имеет число пересечений 3, но не обязательно эти пересечения должны быть с одним ребром, он 1-планарен и может быть нарисован с одновременной оптимизацией общего числа пересечений и пересечений на одно ребро.
Другое связанное понятие для непланарных графов — перекос[англ.], минимальное число рёбер, которые нужно удалить, чтобы сделать граф планарным.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
