В теории графов графом дуг окружности называется граф пересечений множества дуг окружности. Граф имеет одну вершину для каждой дуги окружности и ребро между двумя вершинами, если соответствующие дуги пересекаются.
Формально, пусть
— множество дуг. Тогда соответствующий им граф дуг окружности — это G = (V, E), где
и
Семейство дуг, соответствующее графу G, называется дуговой моделью.
Тукер [1] нашёл первый полиномиальный алгоритм распознавания для графов дуг окружности, работающий за время . Позднее МакКоннел [2] нашёл первый линейный алгоритм распознавания за время .
Графы дуг окружности являются естественным обобщением интервальных графов. Если граф дуг окружности G имеет дуговую модель, не покрывающую некоторые точки окружности, окружность можно разорвать в такой точке и выпрямить в отрезок, что даёт интервальное представление. Однако, в отличие от интервальных графов, графы дуг окружности не всегда совершенны, поскольку нечётные циклы без хорд C5, C7, и т. д. являются графами дуг окружности.
Ниже пусть — произвольный граф.
является графом единичных дуг окружности, если существует дуговая модель, в которой все дуги имеют одинаковую длину.
является правильным графом дуг окружности (или цикловым интервальным графом[3]), если существует соответствующая дуговая модель, в которой никакая дуга не содержит полностью другую. Распознавание таких графов и построение правильной дуговой модели можно осуществить за линейное время .[4]
является циркулярным графом дуг Хелли, если существует соответствующая дуговая модель такая, что дуги образуют семейство Хелли. Гаврил[5] даёт описание этого класса, из которого вытекает алгоритм распознавания за время .
Йорис и соавторы[6] дают другие характеристики (включая перечисление запрещённых порождённых подграфов) этого класса, откуда вытекает алгоритм распознавания, работающий за время O(n+m). Если входной граф не является циркулярным графом дуг Хелли, то алгоритм возвращает подтверждение этого факта в виде запрещённого порождённого подграфа. Они дали также алгоритм определения, образует ли данная циркулярная дуговая модель семейство Хелли, за время O(n).
Циркулярные графы дуг полезны при моделировании задач периодического распределения ресурсов[en] в исследовании операций. Каждый интервал представляет запрос на определённый период, повторяющийся во времени.
Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .