WikiDer > Теорема о структуре графа

Graph structure theorem

В математика, то теорема о структуре графа является важным результатом в области теория графов. Результат устанавливает глубокую и фундаментальную связь между теорией граф миноры и топологические вложения. Теорема сформулирована в семнадцатой из 23 статей серии Нил Робертсон и Пол Сеймур. Его доказательство очень длинное и сложное. Каварабаяши и Мохар (2007) и Ловас (2006) Доступные для неспециалистов обзоры, описывающие теорему и ее следствия.

Постановка и мотивация теоремы

А незначительный графа грамм любой граф ЧАС который изоморфен графу, который может быть получен из подграфа грамм к договор некоторые края. Если грамм делает нет иметь график ЧАС как несовершеннолетний, то мы говорим, что грамм является ЧАС-свободный. Позволять ЧАС фиксированный граф. Интуитивно, если грамм огромный ЧАС-свободный график, то для этого должна быть "веская причина". Теорема о структуре графа дает такую ​​«вескую причину» в виде грубого описания структуры графа. грамм. По сути, каждый ЧАС-свободный график грамм страдает одним из двух структурных недостатков: либо грамм "слишком тонкий", чтобы иметь ЧАС как несовершеннолетний, или грамм может быть (почти) топологически вложен в поверхность, слишком простую для вложения ЧАС на. Первая причина применима, если ЧАС это планарный граф, и обе причины применимы, если ЧАС не плоский. Сначала уточним эти понятия.

Ширина дерева

В ширина дерева графа грамм положительное целое число, определяющее "тонкость" грамм. Например, связный граф грамм имеет ширину дерева один тогда и только тогда, когда это дерево, и грамм имеет дерево шириной два тогда и только тогда, когда это последовательно-параллельный граф. Интуитивно огромный график грамм имеет небольшую ширину дерева тогда и только тогда, когда грамм принимает структуру огромного дерева, узлы и ребра которого заменены маленькими графами. Мы даем точное определение ширины дерева в подразделе о клик-суммах. Это теорема, что если ЧАС является несовершеннолетним из грамм, то ширина дерева ЧАС не больше, чем у грамм. Следовательно, есть одна "веская причина" для грамм быть ЧАС-свободно то, что ширина дерева грамм не очень большой. Из теоремы о структуре графа следует, что эта причина всегда применима в случае ЧАС плоский.

Следствие 1. Для каждого плоского графа ЧАС, существует натуральное число k так что каждый ЧАС-свободный граф имеет ширину дерева меньше чем k.

К сожалению, ценность k в следствии 1 обычно намного больше ширины дерева ЧАС (заметное исключение - когда ЧАС = K4, полный граф на четырех вершинах, для которого k= 3). Это одна из причин того, что теорема о структуре графа описывает «грубую структуру» ЧАС-свободные графики.

Вложения в поверхность

Грубо говоря, поверхность - это множество точек с локальной топологической структурой диска. Поверхности делятся на два бесконечных семейства: ориентируемый поверхности включают сфера, то тор, то двойной тор и так далее; то неориентируемый поверхности включают реальная проективная плоскость, то Бутылка Клейна и так далее. График встраивает на поверхности, если граф можно нарисовать на поверхности как набор точек (вершин) и дуг (ребер), которые не пересекаются и не касаются друг друга, кроме тех случаев, когда ребра и вершины инцидентны или смежны. График планарный если он встроен в сферу. Если график грамм внедряется на определенную поверхность, то каждый второстепенный грамм также встраивается в ту же поверхность. Следовательно, "веская причина" для грамм быть ЧАС-бесплатно это грамм встраивается в поверхность, которая ЧАС не встраивается.

Когда ЧАС не является планарным, теорему о структуре графа можно рассматривать как обширное обобщение теоремы Куратовского. Версия этой теоремы доказана Вагнер (1937) утверждает, что если граф грамм оба K5-бесплатно и K3,3-бесплатно, тогда грамм плоский. Эта теорема дает «веское основание» для графа грамм не иметь K5 или же K3,3 как несовершеннолетние; конкретно, грамм встраивается в сферу, тогда как ни K5 ни K3,3 встроить в сферу. К сожалению, это понятие «веская причина» недостаточно сложно для теоремы о структуре графа. Требуются еще два понятия: кликовые суммы и вихри.

Клики-суммы

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

Если грамм1, грамм2, ..., граммп это список графиков, тогда мы можем создать новый график, присоединив список графиков через k-clique-sums. То есть берем k-кликовая сумма грамм1 и грамм2, затем возьмите k-кликовая сумма грамм3 с получившимся графом и т. д. График имеет ширина дерева не более k если его можно получить через k-clique-sums из списка графов, где каждый граф в списке имеет не более k + 1 вершина.

Следствие 1 указывает нам, что k-кликовые суммы малых графов описывают грубую структуру ЧАС-свободные графы, когда ЧАС плоский. Когда ЧАС неплохо, нам также необходимо учитывать k-кликовые суммы списка графов, каждый из которых вложен в поверхность. Следующий пример с ЧАС = K5 иллюстрирует этот момент. График K5 встраивается во все поверхности, кроме сферы. Однако существуют K5-свободные графы, далекие от плоских. В частности, 3-кликовая сумма любого списка планарных графов приводит к K5-свободный граф. Вагнер (1937) определила точную структуру K5-свободные графики, как часть кластера результатов, известного как Теорема Вагнера:

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

Отметим, что теорема 2 является теорема о точной структуре поскольку точная структура K5-свободных графов. Такие результаты редки в теории графов. Теорема о структуре графа неточна в этом смысле, потому что для большинства графов ЧАС, структурное описание ЧАС-свободные графы включают некоторые графы, которые нет ЧАС-свободный.

Вихри (приблизительное описание)

Может возникнуть соблазн предположить, что аналог теоремы 2 верен для графов ЧАС Кроме как K5. Возможно, это правда, что: для любого неплоского графа H существует натуральное число k такое, что любой H-свободный граф может быть получен с помощью k-клик-сумм из списка графов, каждый из которых либо имеет не более k вершин, либо вложен на некоторую поверхность что H не встраивается в. К сожалению, это утверждение еще недостаточно сложно, чтобы быть правдой. Мы должны разрешить каждому встроенному графу граммя «обмануть» двумя ограниченными способами. Во-первых, мы должны разрешить ограниченное количество мест на поверхности, в которые мы можем добавить несколько новых вершин и ребер, которым разрешено пересекать друг друга в виде ограниченного сложность. Такие локации называются вихри. «Сложность» вихря ограничена параметром, называемым его глубина, тесно связанный с ширина пути. Читатель может предпочесть отложить чтение следующего точного описания вихря глубины. k. Во-вторых, мы должны позволить ограниченному числу новых вершин добавляться к каждому из вложенных графов с вихрями.

Вихри (точное определение)

А лицо вложенного графа - это открытая 2-ячейка на поверхности, не пересекающаяся с графом, но граница которой является объединением некоторых ребер вложенного графа. Позволять F быть гранью вложенного графа грамм и разреши v0, v1, ..., vп−1,vп = v0 - вершины, лежащие на границе F (в таком круговом порядке). А круговой интервал за F - это множество вершин вида {vа, vа+1, ..., vа+s} куда а и s являются целыми числами, а индексы сокращаются по модулюп. Пусть Λ - конечный список круговых интервалов для F. Строим новый граф следующим образом. Для каждого кругового интервала L в Λ добавляем новую вершину vL который присоединяется к нулю или более вершин в L. Наконец, для каждой пары {L, M} интервалов в Λ, мы можем добавить ребро, соединяющее vL к vM при условии, что L и M имеют непустое пересечение. Полученный граф называется полученным из грамм к добавление вихря глубины не более k(к лицуF) при условии, что на границе F появляется в более чем k интервалов в Λ.

Формулировка теоремы о структуре графа

Теорема о структуре графа. Для любого графа H существует натуральное число k такое, что любой H-свободный граф может быть получен следующим образом:

  1. Начнем со списка графов, где каждый граф в списке вложен в поверхность, на которую H не встраивается.
  2. к каждому вложенному графу в списке мы добавляем не более k вихрей, причем каждый вихрь имеет глубину не более k
  3. к каждому получившемуся графу мы добавляем не более k новых вершин (называемых вершины) и добавьте любое количество ребер, каждое из которых имеет хотя бы одну конечную точку среди вершин.
  4. наконец, мы соединяем с помощью k-клик-сумм полученный список графов.

Обратите внимание, что шаги 1 и 2 приводят к пустому графику, если ЧАС планарен, но ограниченное число вершин, добавленных на шаге 3, согласовывает утверждение со следствием 1.

Доработки

Возможны усиленные версии теоремы о структуре графа в зависимости от множества ЧАС запрещенных несовершеннолетних. Например, когда один из графиков в ЧАС является планарный, то каждые ЧАС-безминорный граф имеет разложение дерева ограниченной ширины; эквивалентно его можно представить как кликовая сумма графиков постоянного размера[1] Когда один из графиков в ЧАС можно рисовать в плоскости с помощью только одного пересечение, то ЧАС-безиминные графы допускают разложение в виде клик-суммы графов постоянного размера и графов ограниченного рода без вихрей.[2]Известно также другое усиление, когда один из графиков в ЧАС является вершина графика.[3]

Смотрите также

Примечания

  1. ^ График Миноры V.
  2. ^ Робертсон и Сеймур (1993); Демейн, Хаджиагайи и Тиликос (2002)).
  3. ^ Демейн, Хаджиагайи и Каварабаяши (2009).

Рекомендации