Jump to content

Хордальный граф

Цикл (черный) с двумя аккордами (зеленый). Что касается этой части, то граф хордальный. Однако удаление одного зеленого ребра приведет к получению нехордального графа. Действительно, другое зеленое ребро с тремя черными ребрами образует цикл длиной четыре без хорд.

В математической области теории графов хордальный граф это граф, в котором все циклы из четырех и более вершин имеют хорду , которая представляет собой ребро , не являющееся частью цикла, но соединяющее две вершины цикла. Эквивалентно, каждый индуцированный цикл в графе должен иметь ровно три вершины. Хордальные графы также можно охарактеризовать как графы с идеальным порядком исключения, как графы, в которых каждый минимальный разделитель является кликой , и как графы пересечений поддеревьев дерева. Иногда их также называют жесткими схемными графами. [1] или триангулированные графики : [2] хордальное завершение графа обычно называется триангуляцией этого графа.

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

Идеальное устранение и эффективное распознавание

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

Идеальный порядок исключения в графе — это такой порядок вершин графа, при котором для каждой вершины v v v и соседи которые , встречаются после v в порядке, образуют клику . Граф является хордальным тогда и только тогда, когда он имеет идеальный порядок исключения. [3]

Роуз, Люкер и Тарьян (1976) (см. также Хабиб и др., 2000 ) показывают, что идеальный порядок исключения хордального графа может быть эффективно найден с использованием алгоритма, известного как лексикографический поиск в ширину . Этот алгоритм поддерживает разбиение вершин графа на последовательность множеств; изначально эта последовательность состоит из одного множества со всеми вершинами. Алгоритм неоднократно выбирает вершину v из самого раннего набора в последовательности, который содержит ранее не выбранные вершины, и разбивает каждый набор S последовательности на два меньших подмножества, первое из которых состоит из соседей v в S , а второе - из невыбранных вершин. -соседи. Когда этот процесс разделения выполняется для всех вершин, последовательность наборов имеет одну вершину на набор, что является обратным порядку идеального исключения.

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

Набор всех совершенных порядков исключения хордального графа можно смоделировать как слова антиматроида основные ; Чандран и др. (2003) используют эту связь с антиматроидами как часть алгоритма для эффективного составления списка всех идеальных порядков исключения данного хордального графа.

Максимальные клики и раскраска графов

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

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

Графы клик хордальных графов являются двойственно хордальными графами . [6]

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

Хроматический полином хордального графа легко вычислить. Найдите идеальный порядок исключения v 1 , v 2 , …, v n . Пусть N i равно числу соседей v i , которые идут после vi в этом порядке . Например, N n = 0 . Хроматический многочлен равен (Последний множитель — это просто x , поэтому x делит полином, как и должно быть.) Очевидно, что это вычисление зависит от хордовости. [8]

Минимальные разделители

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

В любом графе разделителем вершин является набор вершин, удаление которых оставляет оставшийся граф несвязным; разделитель является минимальным, если у него нет собственного подмножества, которое также является разделителем. Согласно теореме Дирака (1961) , хордальные графы — это графы, в которых каждый минимальный сепаратор является кликой; Дирак использовал эту характеристику, чтобы доказать, что хордальные графы совершенны .

Семейство хордальных графов можно определить индуктивно как графы, вершины которых можно разделить на три непустых подмножества A , S и B , такие что и оба образуют хордальные индуцированные подграфы , S клика, и нет ребер из A в B. — То есть это графы, которые имеют рекурсивное разложение по кликовым разделителям на более мелкие подграфы. По этой причине хордальные графы также иногда называют разложимыми графами . [9]

Графы пересечений поддеревьев

[ редактировать ]
Хордальный граф с восемью вершинами, представленный как граф пересечений восьми поддеревьев шестиузлового дерева.

Альтернативная характеристика хордальных графов, предложенная Гаврилом (1974) , включает деревья и их поддеревья.

Из набора поддеревьев дерева можно определить граф поддеревьев , который представляет собой граф пересечений , имеющий одну вершину на поддерево и ребро, соединяющее любые два поддерева, которые перекрываются в одном или нескольких узлах дерева. Гаврила показал, что графы поддеревьев являются в точности хордальными графами.

Представление хордального графа в виде пересечения поддеревьев образует древесное разложение графа с шириной дерева , на единицу меньшей размера наибольшей клики в графе; Таким образом , древовидную декомпозицию любого графа G можно рассматривать как представление G как подграфа хордального графа. Древовидная декомпозиция графа также является деревом соединений алгоритма дерева соединений .

Связь с другими классами графов

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

Подклассы

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

Графы интервалов — это графы пересечений поддеревьев графов путей , частный случай деревьев. Следовательно, они представляют собой подсемейство хордальных графов.

Разделенные графы — это графы, которые являются одновременно хордальными и дополнениями к хордальным графам. Бендер, Ричмонд и Вормальд (1985) показали, что в пределе, когда n стремится к бесконечности, доля разделенных хордальных графов с n вершинами приближается к единице.

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

Сильно хордальные графы — это хордальные графы, не содержащие n -солнц (при n ≥ 3 ) в качестве индуцированного подграфа. Здесь n -солнце — это n -вершинный хордальный граф G вместе с набором из n вершин второй степени, смежных с рёбрами гамильтонова цикла в G .

K -деревья — это хордальные графы, в которых все максимальные клики и все разделители максимальных клик имеют одинаковый размер. [10] Аполлоновы сети представляют собой хордальные максимальные планарные графы или, что то же самое, плоские 3-деревья. [10] Максимальные внешнепланарные графы являются подклассом 2-деревьев и, следовательно, также являются хордальными.

Суперклассы

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

Хордальные графы являются подклассом хорошо известных совершенных графов . Другие суперклассы хордальных графов включают слабо хордальные графы, графы-победители , графы без нечетных дырок, графы без четных дырок и графы Мейнеля . Хордальные графы — это именно те графы, которые не содержат как нечетных, так и четных дырок (см. дыры в теории графов).

Каждый хордальный граф — это удушенный граф , граф, в котором каждый периферийный цикл является треугольником, поскольку периферийные циклы являются частным случаем индуцированных циклов. Ущемленные графы — это графы, которые могут быть образованы клик-суммами хордальных графов и максимальных планарных графов. Следовательно, к удушенным графам относятся максимальные планарные графы . [11]

Хордальные завершения и ширина дерева

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

Если G — произвольный граф, хордальное завершение G G (или минимальное заполнение ) — это хордальный граф, который содержит в качестве подграфа. Параметризованная версия минимального заполнения имеет фиксированный параметр и, более того, разрешима за параметризованное субэкспоненциальное время. [12] [13] Ширина дерева G . на единицу меньше числа вершин в максимальной клике хордального завершения, выбранного для минимизации размера этой клики — K -деревья это графы, к которым нельзя добавить никакие дополнительные ребра без увеличения ширины их дерева до числа, большего k .Следовательно, k -деревья являются собственными хордальными пополнениями и образуют подкласс хордальных графов. Хордальные пополнения также можно использовать для характеристики некоторых других родственных классов графов. [14]

Примечания

[ редактировать ]
  1. ^ Дирак (1961)
  2. ^ Горы (1967) .
  3. ^ Роуз (1970) .
  4. ^ Бодлендер, Fellows & Warnow (1992) .
  5. ^ Берри, Голумбик и Липштейн (2007) .
  6. ^ Шварцфитер и Борнштейн (1994) .
  7. ^ Маффрей (2003) .
  8. ^ Например, Агнарссон (2003) , замечание 2.5, называет этот метод хорошо известным.
  9. ^ Питер Бартлетт. «Неориентированные графические модели: хордальные графы, разложимые графы, деревья соединений и факторизации» (PDF) .
  10. ^ Jump up to: а б Патил (1986) .
  11. ^ Сеймур и Уивер (1984) .
  12. ^ Каплан, Шамир и Тарьян (1999) .
  13. ^ Фомин и Вилланджер (2013) .
  14. ^ Парра и Шеффлер (1997) .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 5569828d940ae4f9d622849fdf49f654__1721278260
URL1:https://arc.ask3.ru/arc/aa/55/54/5569828d940ae4f9d622849fdf49f654.html
Заголовок, (Title) документа по адресу, URL1:
Chordal graph - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)