Jump to content

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

14 различных ациклических ориентаций графа циклов с 4 вершинами , присвоение направления каждому ребру цикла, что делает полученный ориентированный граф ациклическим . Две ориентации отображаются как смежные, если они различаются по направлению одного края.

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

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

Ориентации деревьев всегда ацикличны и приводят к полидеревьям . Ациклические ориентации полных графов называются транзитивными турнирами . Биполярные ориентации представляют собой частный случай ациклических ориентаций, в которых имеется ровно один источник и один сток; каждый транзитивный турнир биполярен.

Строительство

[ редактировать ]

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

Поскольку каждый DAG имеет топологическое упорядочение, таким образом можно построить любую ациклическую ориентацию.Однако разные последовательности вершин могут привести к одной и той же ациклической ориентации, когда результирующий DAG имеет несколько топологических упорядочений.Например, для графа циклов с четырьмя вершинами (показан) существует 24 различных последовательности вершин, но только 14 возможных ациклических ориентаций.

Отношение к окраске

[ редактировать ]

Теорема Галлаи –Хассе–Роя–Витавера утверждает, что граф имеет ациклическую ориентацию, в которой самый длинный путь имеет не более k вершин тогда и только тогда, когда его можно раскрасить не более чем k цветами. [1]

Количество ациклических ориентаций можно подсчитать с помощью хроматического полинома , значение которого в положительном целом k является количеством k -раскрасок графа.Каждый граф G имеет ровно различные ациклические ориентации, [2] поэтому в этом смысле ациклическую ориентацию можно интерпретировать как раскраску с -1 цветом.

Двойственность

[ редактировать ]

Для плоских графов ациклические ориентации двойственны полностью циклическим ориентациям , ориентациям, в которых каждое ребро принадлежит направленному циклу: если представляет собой плоский граф , а ориентации переходят в ориентации плоского двойственного графа повернув каждый край на 90 градусов по часовой стрелке, затем полностью циклическую ориентацию таким образом соответствует ациклической ориентации двойственного графа и наоборот. [3]

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

Переворот края

[ редактировать ]

Совокупности всех ациклических ориентаций данного графа можно придать структуру частичного куба , в котором две ациклические ориентации являются смежными всякий раз, когда они различаются направлением одного ребра. [5] Это означает, что когда две разные ациклические ориентации одного и того же графа различаются направлениями k ребер, можно преобразовать одну из ориентаций в другую с помощью последовательности k изменений ориентации одного ребра, так что каждое из промежуточные состояния этой последовательности преобразований также ацикличны.

Особые случаи

[ редактировать ]
Полидерево, результат ациклической ориентации дерева.

Любая ориентация дерева ациклична . Ориентированный ациклический граф, возникающий в результате такой ориентации, называется полидеревом . [6]

Ациклическая ориентация полного графа называется транзитивным турниром и эквивалентна полному упорядочению вершин графа. В такой ориентации, в частности, имеется ровно один источник и ровно один сток.

В более общем смысле, ациклическая ориентация произвольного графа, имеющего уникальный источник и уникальный сток, называется биполярной ориентацией . [7]

Транзитивная ориентация графа — это ациклическая ориентация, равная его собственному транзитивному замыканию . Не каждый граф имеет транзитивную ориентацию; графики, которые это делают, являются графиками сравнимости . [8] Полные графы — это частные случаи графов сравнимости, а транзитивные турниры — это частные случаи транзитивных ориентаций.

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