Jump to content

Интервальный график

Семь интервалов на вещественной прямой и соответствующий интервальный граф из семи вершин.

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

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

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

Определение [ править ]

Граф интервалов — это неориентированный граф G, образованный семейством интервалов.

создавая одну вершину v i для каждого интервала Si . и соединяя две вершины vi пересечение и v j ребром всякий раз, когда соответствующие два множества имеют непустое То есть множество ребер G есть

Это граф пересечения интервалов.

Характеристики [ править ]

Три вершины образуют астероидную тройку (АТ) в графе, если для каждых двух существует путь, содержащий эти две, но не имеющий соседа третьей. Граф является свободным от АТ, если в нем нет астероидной тройки. Самая ранняя характеристика интервальных графиков, по-видимому, следующая:

  • Граф является графом интервалов тогда и только тогда, когда он хордальный и свободный от AT. [1]

Другие характеристики:

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

Были описаны различные другие характеристики интервальных графиков и вариантов. [4]

алгоритм Эффективный распознавания

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

Первоначальный алгоритм распознавания линейного времени Бута и Люкера (1976) основан на их сложной структуре данных дерева PQ , но Хабиб и др. (2000) показали, как проще решить проблему с помощью лексикографического поиска в ширину , основываясь на том факте, что граф является графом интервалов тогда и только тогда, когда он хордальный и его дополнение является графом сравнимости . [6] Подобный подход с использованием алгоритма LexBFS с 6 проходами описан в Corneil, Olariu & Stewart (2009) .

Родственные семейства графов [ править ]

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

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

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

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

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

Связные без треугольников интервальные графы представляют собой в точности деревья-гусеницы . [8]

Правильные интервальные графики [ править ]

Графы правильных интервалов — это графики интервалов, которые имеют интервальное представление, в котором ни один интервал не содержит других интервалов; Графы единичных интервалов — это графики интервалов, которые имеют интервальное представление, в котором каждый интервал имеет единичную длину. Представление единичного интервала без повторяющихся интервалов обязательно является правильным представлением интервала. Не каждое представление правильных интервалов является представлением единичных интервалов, но каждый граф правильных интервалов является графом единичных интервалов, и наоборот. [9] Каждый собственный граф интервалов является графом без клешней ; и наоборот, правильные графы интервалов - это в точности графы интервалов без когтей. Однако существуют графы без клешней, которые не являются графами интервалов. [10]

График интервалов называется -правильно, если существует представление, в котором ни один интервал не содержится более чем другие. Это понятие расширяет идею правильных графов интервалов, так что 0-правильный граф интервалов является правильным графом интервалов. [11] График интервалов называется -неправильный, если существует представление, в котором ни один интервал не содержит более другие. Это понятие расширяет идею правильных графов интервалов, так что 0-несобственный граф интервалов является правильным графом интервалов. [12] Интервальный график – это -вложенный, если нет цепочки длины интервалов, вложенных друг в друга. Это обобщение графов правильных интервалов, поскольку 1-вложенные графы интервалов являются в точности правильными графами интервалов. [13]

Приложения [ править ]

Математическая теория интервальных графиков была разработана с целью ее применения исследователями математического отдела корпорации RAND , входили молодые исследователи, такие как Питер К. Фишберн , и такие студенты, как Алан К. Такер и Джоэл Э. Коэн. , в который, помимо лидеров - такие как Делберт Фулкерсон и (постоянный посетитель) Виктор Клее . [14] Коэн применил интервальные графики к математическим моделям популяционной биологии , в частности к пищевым сетям . [15]

Интервальные графики используются для представления проблем распределения ресурсов в исследованиях операций и теории планирования . В этих приложениях каждый интервал представляет собой запрос ресурса (например, процессора распределенной вычислительной системы или комнаты для занятий) на определенный период времени. Проблема максимального независимого множества веса для графа представляет собой проблему поиска наилучшего подмножества запросов, которое может быть удовлетворено без конфликтов. [16] см. в разделе «Планирование интервалов» Дополнительную информацию .

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

Другие приложения включают генетику, биоинформатику и информатику. Поиск набора интервалов, которые представляют собой граф интервалов, также можно использовать как способ сборки смежных подпоследовательностей при картировании ДНК . [18] Интервальные графики также играют важную роль во временных рассуждениях. [19]

Завершение интервалов и ширина пути [ править ]

Если — произвольный граф, пополнение интервальное представляет собой граф интервалов на том же множестве вершин, который содержит как подграф. Параметризованная версия интервального завершения (найти интервальный суперграф с k дополнительными ребрами) имеет фиксированный параметр и, более того, разрешима за параметризованное субэкспоненциальное время. [20] [21]

Ширина пути интервального графа на единицу меньше размера его максимальной клики (или, что то же самое, на единицу меньше его хроматического числа), а ширина пути любого графа то же самое, что наименьшая ширина пути интервального графа, содержащего как подграф. [22]

Комбинаторное перечисление [ править ]

Количество связных интервальных графов на непомеченные вершины, т. , является: [23]

1, 1, 2, 5, 15, 56, 250, 1328, 8069, 54962, 410330, 3317302, ... (последовательность A005976 в OEIS )

Без предположения о связности цифры будут больше. Количество интервальных графиков на непомеченные вершины, не обязательно связанные, это: [24]

1, 2, 4, 10, 27, 92, 369, 1807, 10344, 67659, 491347, 3894446, ... (последовательность A005975 в OEIS )

Эти числа растут быстрее, чем экспоненциально : количество интервальных графиков на непомеченных вершин - это как минимум . [25] Из-за такой быстрой скорости роста интервальные графы не имеют ограниченной ширины двойника . [26]

Примечания [ править ]

Ссылки [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 38700f6ec3fb17f176bdeb1014cfb7cc__1700482260
URL1:https://arc.ask3.ru/arc/aa/38/cc/38700f6ec3fb17f176bdeb1014cfb7cc.html
Заголовок, (Title) документа по адресу, URL1:
Interval graph - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)