Ациклическая ориентация

В теории графов ациклическая ориентация неориентированного графа — это присвоение направления каждому ребру ( ориентация ), которое не образует никакого направленного цикла и, следовательно, превращает его в ориентированный ациклический граф . Каждый граф имеет ациклическую ориентацию.
Хроматическое число любого графа на единицу больше длины самого длинного пути в ациклической ориентации, выбранной для минимизации этой длины пути. Ациклические ориентации также связаны с раскрасками через хроматический многочлен , который учитывает как ациклические ориентации, так и раскраски.Плоская двойственная ациклическая ориентация является полностью циклической ориентацией , и наоборот. Семейству всех ациклических ориентаций можно придать структуру частичного куба , сделав две ориентации смежными, если они различаются направлением одного ребра.
Ориентации деревьев всегда ацикличны и приводят к полидеревьям . Ациклические ориентации полных графов называются транзитивными турнирами . Биполярные ориентации представляют собой частный случай ациклических ориентаций, в которых имеется ровно один источник и один сток; каждый транзитивный турнир биполярен.
Строительство
[ редактировать ]Каждый граф имеет ациклическую ориентацию. Один из способов создания ациклической ориентации — поместить вершины в последовательность, а затем направить каждое ребро от более ранней из конечных точек последовательности к более поздней конечной точке.Последовательность вершин затем становится топологическим упорядочением полученного ориентированного ациклического графа (DAG), и каждое топологическое упорядочение этого DAG генерирует одну и ту же ориентацию.
Поскольку каждый DAG имеет топологическое упорядочение, таким образом можно построить любую ациклическую ориентацию.Однако разные последовательности вершин могут привести к одной и той же ациклической ориентации, когда результирующий DAG имеет несколько топологических упорядочений.Например, для графа циклов с четырьмя вершинами (показан) существует 24 различных последовательности вершин, но только 14 возможных ациклических ориентаций.
Отношение к окраске
[ редактировать ]Теорема Галлаи –Хассе–Роя–Витавера утверждает, что граф имеет ациклическую ориентацию, в которой самый длинный путь имеет не более k вершин тогда и только тогда, когда его можно раскрасить не более чем k цветами. [1]
Количество ациклических ориентаций можно подсчитать с помощью хроматического полинома , значение которого в положительном целом k является количеством k -раскрасок графа.Каждый граф G имеет ровно различные ациклические ориентации, [2] поэтому в этом смысле ациклическую ориентацию можно интерпретировать как раскраску с -1 цветом.
Двойственность
[ редактировать ]Для плоских графов ациклические ориентации двойственны полностью циклическим ориентациям , ориентациям, в которых каждое ребро принадлежит направленному циклу: если представляет собой плоский граф , а ориентации переходят в ориентации плоского двойственного графа повернув каждый край на 90 градусов по часовой стрелке, затем полностью циклическую ориентацию таким образом соответствует ациклической ориентации двойственного графа и наоборот. [3]
Подобно хроматическому многочлену, Тутте полином графика , можно использовать для подсчета количества ациклических ориентаций как .Двойственность между ациклической и полностью циклической ориентацией планарных графов в этой форме распространяется и на непланарные графы: полином Тутте двойственного графа планарного графа получается путем замены аргументов и количество полностью циклических ориентаций графа является , также полученный заменой аргументов формулы на число ациклических ориентаций. [4]
Переворот края
[ редактировать ]Совокупности всех ациклических ориентаций данного графа можно придать структуру частичного куба , в котором две ациклические ориентации являются смежными всякий раз, когда они различаются направлением одного ребра. [5] Это означает, что когда две разные ациклические ориентации одного и того же графа различаются направлениями k ребер, можно преобразовать одну из ориентаций в другую с помощью последовательности k изменений ориентации одного ребра, так что каждое из промежуточные состояния этой последовательности преобразований также ацикличны.
Особые случаи
[ редактировать ]
Любая ориентация дерева ациклична . Ориентированный ациклический граф, возникающий в результате такой ориентации, называется полидеревом . [6]
Ациклическая ориентация полного графа называется транзитивным турниром и эквивалентна полному упорядочению вершин графа. В такой ориентации, в частности, имеется ровно один источник и ровно один сток.
В более общем смысле, ациклическая ориентация произвольного графа, имеющего уникальный источник и уникальный сток, называется биполярной ориентацией . [7]
Транзитивная ориентация графа — это ациклическая ориентация, равная его собственному транзитивному замыканию . Не каждый граф имеет транзитивную ориентацию; графики, которые это делают, являются графиками сравнимости . [8] Полные графы — это частные случаи графов сравнимости, а транзитивные турниры — это частные случаи транзитивных ориентаций.
Ссылки
[ редактировать ]- ^ Нешетржил, Ярослав ; Оссона де Мендес, Патрис (2012), «Теорема 3.13», Разреженность: графы, структуры и алгоритмы , Алгоритмы и комбинаторика, том. 28, Гейдельберг: Springer, с. 42, номер домена : 10.1007/978-3-642-27875-4 , ISBN 978-3-642-27874-7 , МР 2920058 .
- ^ Стэнли, Ричард П. (1973), «Ациклические ориентации графов», Discrete Mathematics , 5 (2): 171–178, doi : 10.1016/0012-365X(73)90108-8 .
- ^ Уэлш, Доминик (1997), «Приблизительный подсчет», Обзоры по комбинаторике, 1997 (Лондон) , London Math. Соц. Лекционная конспект. Сер., т. 1, с. 241, Кембридж: Кембриджский университет. Press, стр. 287–323, doi : 10.1017/CBO9780511662119.010 , MR 1477750 .
- ^ Лас Верньяс, Мишель (1980), «Выпуклость в ориентированных матроидах», Журнал комбинаторной теории , серия B, 29 (2): 231–243, doi : 10.1016/0095-8956(80)90082-9 , MR 0586435 .
- ^ Фукуда, Комей ; Продон, Ален; Сакума, Тадаши (2001), «Заметки об ациклических ориентациях и лемме об обстреле», Theoretical Computer Science , 263 (1–2): 9–16, doi : 10.1016/S0304-3975(00)00226-7 , MR 1846912
- ^ Дасгупта, Санджой (1999), «Изучение многодеревьев», в Proc. 15-я конференция по неопределенности в искусственном интеллекте (UAI 1999), Стокгольм, Швеция, июль-август 1999 г. (PDF) , стр. 134–141 .
- ^ де Фрессе, Юбер; де Мендес, Патрис Оссона; Розенштиль, Пьер (1995), «Возвращение к биполярным ориентациям», Discrete Applied Mathematics , 56 (2–3): 157–179, doi : 10.1016/0166-218X(94)00085-R , MR 1318743 .
- ^ Гуила-Ури, Ален (1962), «Характеризация неориентированных графов, ребра которых могут быть ориентированы так, чтобы получить график отношения порядка», Les Comptes Rends de l'Académie des Sciences , 254 : 1370–1371, MR 0172275 .