Характеристика запрещенного графа - Forbidden graph characterization
В теория графов, раздел математики, многие важные семейства графов можно описать конечным набором отдельных графов, которые не принадлежат к семейству, и дополнительно исключить все графы из семейства, которые содержат любой из этих запрещенных графов как (индуцированный) подграф или второстепенный. Типичным примером этого явления является Теорема Куратовского, который утверждает, что граф планарный (может быть нарисован без пересечений на плоскости) тогда и только тогда, когда он не содержит ни одного из двух запрещенных графов, полный график K5 и полный двудольный граф K3,3. Для теоремы Куратовского понятие включения - это понятие гомеоморфизм графа, в котором подразделение одного графа появляется как подграф другого. Таким образом, каждый граф либо имеет планарный рисунок (в этом случае он принадлежит к семейству плоских графов), либо он имеет подразделение одного из этих двух графов в качестве подграфа (в этом случае он не принадлежит к планарным графам).
Определение
В более общем плане характеристика запрещенного графа это метод указание семья график, или же гиперграф, структуры, указав подструктуры, существование которых запрещено в любом графе семейства. Различные семьи различаются по характеру того, что запрещенный. В общем, структура грамм является членом семьи если и только если запрещенная подструктура нет содержалась в грамм. В запрещенная подструктура может быть одним из:
- подграфы, меньшие графы, полученные из подмножеств вершин и ребер большего графа,
- индуцированные подграфы, меньшие графы, полученные путем выбора подмножества вершин и использования всех ребер с обеими конечными точками в этом подмножестве,
- гомеоморфный подграфы (также называемые топологические миноры ), меньшие графы, полученные из подграфов путем сворачивания путей с вершинами степени два в одиночные ребра, или
- граф миноры, меньшие графы, полученные из подграфов произвольным краевые сокращения.
Множество структур, которым запрещено принадлежать к данному семейству графов, также можно назвать набор препятствий для этой семьи.
Запрещенные характеристики графов могут использоваться в алгоритмы для проверки принадлежности графа к данному семейству. Во многих случаях можно провести тестирование в полиномиальное время содержит ли данный граф какие-либо элементы множества препятствий и, следовательно, принадлежит ли он семейству, определенному этим множеством препятствий.
Для того, чтобы семейство имело характеристику запрещенного графа с определенным типом подструктуры, семейство должно быть замкнуто относительно подструктур, то есть каждая подструктура (данного типа) графа в семействе должна быть другим графом в семья. Точно так же, если граф не является частью семейства, все более крупные графы, содержащие его в качестве подструктуры, также должны быть исключены из семейства. Если это так, всегда существует набор препятствий (набор графов, которые не входят в семейство, но все меньшие подструктуры которых принадлежат этому семейству). Однако для некоторых представлений о том, что такое подструктура, этот набор препятствий может быть бесконечным. В Теорема Робертсона – Сеймура доказывает, что для частного случая граф миноры, замкнутое относительно миноров семейство всегда имеет конечное множество препятствий.
Список запрещенных характеризаций для графов и гиперграфов
Семья | Препятствия | Связь | Ссылка |
---|---|---|---|
Леса | петли, пары параллельных краев и циклы любой длины | подграф | Определение |
петля (для мультиграфов) или треугольник K3 (для простых графиков) | граф минор | Определение | |
Графы без когтей | звезда K1,3 | индуцированный подграф | Определение |
Графики сопоставимости | индуцированный подграф | ||
Графы без треугольников | треугольник K3 | индуцированный подграф | Определение |
Планарные графики | K5 и K3,3 | гомеоморфный подграф | Теорема Куратовского |
K5 и K3,3 | граф минор | Теорема Вагнера | |
Внешнепланарные графы | K4 и K2,3 | граф минор | Дистель (2000),[1] п. 107 |
Внешние 1-плоские графы | шесть запрещенных несовершеннолетних | граф минор | Auer et al. (2013)[2] |
Графики фиксированных род | конечное множество препятствий | граф минор | Дистель (2000),[1] п. 275 |
Графики вершины | конечное множество препятствий | граф минор | [3] |
Бесконечные встраиваемые графики | В Семья Петерсен | граф минор | [4] |
Двудольные графы | нечетные циклы | подграф | [5] |
Хордовые графы | циклы длиной 4 и более | индуцированный подграф | [6] |
Совершенные графики | циклов нечетной длины 5 и более или их дополняет | индуцированный подграф | [7] |
Линейный график графиков | девять запрещенных подграфов (перечислены Вот ) | индуцированный подграф | [8] |
Графические союзы из кактус графики | четырехвершинник ромбовидный график формируется путем удаления края из полный график K4 | граф минор | [9] |
Лестничные графики | K2,3 и это двойственный граф | гомеоморфный подграф | [10] |
Разделить графики | индуцированный подграф | [11] | |
2-связный последовательно-параллельный (ширина дерева ≤ 2, ширина ветки ≤ 2) | K4 | граф минор | Дистель (2000),[1] п. 327 |
Ширина дерева ≤ 3 | K5, октаэдр, пятиугольная призма, График Вагнера | граф минор | [12] |
Ширина ветки ≤ 3 | K5, октаэдр, куб, График Вагнера | граф минор | [13] |
Дополняемо-приводимые графы (кографы) | 4-вершинный путь п4 | индуцированный подграф | [14] |
Тривиально совершенные графы | 4-вершинный путь п4 и 4-вершинный цикл C4 | индуцированный подграф | [15] |
Графики пороговых значений | 4-вершинный путь п4, 4-вершинный цикл C4, и дополнение C4 | индуцированный подграф | [15] |
Линейный график 3-однородных линейных гиперграфов | конечный список запрещенных индуцированных подграфов минимальной степени не менее 19 | индуцированный подграф | [16] |
Линейный график k-однородные линейные гиперграфы, k > 3 | конечный список запрещенных индуцированных подграфов с минимальной степенью ребра не менее 2k2 − 3k + 1 | индуцированный подграф | [17][18] |
Графики ΔY-приводимая в одну вершину | конечный список не менее 68 миллиардов различных (1,2,3) -кликовых сумм | граф минор | [19] |
Общие теоремы | |||
Семья, определенная индуцированно-наследственное свойство | множество препятствий, возможно, не конечное | индуцированный подграф | |
Семья, определяемая несовершеннолетняя наследственная собственность | конечное множество препятствий | граф минор | Теорема Робертсона – Сеймура |
Смотрите также
Рекомендации
- ^ а б c Дистель, Рейнхард (2000), Теория графов, Тексты для выпускников по математике, 173, Springer-Verlag, ISBN 0-387-98976-5.
- ^ Ауэр, Кристофер; Бахмайер, Кристиан; Бранденбург, Франц Дж .; Глайсснер, Андреас; Ханауэр, Катрин; Нойвирт, Даниэль; Рейсльхубер, Йозеф (2013), «Распознавание внешних 1-плоских графов за линейное время», в Wismath, Stephen; Вольф, Александр (ред.), 21-й Международный симпозиум, GD 2013, Бордо, Франция, 23-25 сентября 2013 г., Отредактированные избранные доклады, Конспект лекций по информатике, 8242, стр. 107–118, Дои:10.1007/978-3-319-03841-4_10.
- ^ Gupta, A .; Импальяццо, Р. (1991), «Вычислительные планарные сплетения», Proc. 32-й симпозиум IEEE по основам компьютерных наук (FOCS '91), IEEE Computer Society, стр. 802–811, Дои:10.1109 / SFCS.1991.185452.
- ^ Робертсон, Нил; Сеймур, П.Д.; Томас, Робин (1993), "Бесконечные вложения графов в 3-пространство", Бюллетень Американского математического общества, 28 (1): 84–89, arXiv:математика / 9301216, Дои:10.1090 / S0273-0979-1993-00335-5, МИСТЕР 1164063.
- ^ Béla Bollobás (1998) "Современная теория графов", Springer, ISBN 0-387-98488-7 п. 9
- ^ Кашивабара, Тошинобу (1981), «Алгоритмы для некоторых графов пересечений», Сайто, Нобуджи; Нисизэки, Такао (ред.), Теория графов и алгоритмы, 17-й симпозиум Исследовательского института электросвязи, Университет Тохоку, Сендай, Япония, 24-25 октября 1980 г., Труды, Конспект лекций по информатике, 108, Springer-Verlag, стр. 171–181, Дои:10.1007/3-540-10704-5\_15.
- ^ Чудновский, Мария; Робертсон, Нил; Сеймур, Пол; Томас, Робин (2006), «Сильная теорема о совершенном графе» (PDF), Анналы математики, 164 (1): 51–229, arXiv:математика / 0212070v1, Дои:10.4007 / анналы.2006.164.51.
- ^ Beineke, L. W. (1968), "Производные графы орграфов", в Sachs, H .; Voss, H.-J .; Уолтер, Х.-Дж. (ред.), Beiträge zur Graphentheorie, Лейпциг: Teubner, стр. 17–33..
- ^ Эль-Маллах, Эхаб; Колборн, Чарльз Дж. (1988), "Сложность некоторых задач удаления ребер", Транзакции IEEE в схемах и системах, 35 (3): 354–362, Дои:10.1109/31.1748.
- ^ Takamizawa, K .; Нисизэки, Такао; Сайто, Нобуджи (1981), "Комбинаторные задачи на последовательно-параллельных графах", Дискретная прикладная математика, 3 (1): 75–76, Дои:10.1016 / 0166-218X (81) 90031-7.
- ^ Фёльдес, Стефан; Хаммер, Питер Лэдислав (1977a), «Расщепленные графы», Труды восьмой Юго-Восточной конференции по комбинаторике, теории графов и вычислениям (Университет штата Луизиана, Батон-Руж, штат Луизиана, 1977 г.), Congressus Numerantium, XIX, Виннипег: Utilitas Math., Стр. 311–315, МИСТЕР 0505860
- ^ Бодландер, Ханс Л. (1998), "Частичный k-арборетум графов с ограниченной шириной дерева », Теоретическая информатика, 209 (1–2): 1–45, Дои:10.1016 / S0304-3975 (97) 00228-4.
- ^ Бодландер, Ханс Л.; Тиликос, Димитриос М. (1999), "Графы с шириной ветвления не более трех", Журнал алгоритмов, 32 (2): 167–194, Дои:10.1006 / jagm.1999.1011.
- ^ Seinsche, D. (1974), "Об одном свойстве класса п-раскрашиваемые графики », Журнал комбинаторной теории, серия B, 16 (2): 191–193, Дои:10.1016 / 0095-8956 (74) 90063-Х, МИСТЕР 0337679
- ^ а б Голумбик, Мартин Чарльз (1978), "Тривиально совершенные графы", Дискретная математика, 24 (1): 105–107, Дои:10.1016 / 0012-365X (78) 90178-4..
- ^ Метельский, Юрий; Тышкевич Регина (1997), "О линейных графах линейных 3-однородных гиперграфов", Журнал теории графов, 25 (4): 243–251, Дои:10.1002 / (SICI) 1097-0118 (199708) 25: 4 <243 :: AID-JGT1> 3.0.CO; 2-K, МИСТЕР 1459889
- ^ Jacobson, M. S .; Kézdy, Андре Э .; Лехел, Джено (1997), "Распознавание графов пересечений линейных однородных гиперграфов", Графы и комбинаторика, 13: 359–367, Дои:10.1007 / BF03353014, МИСТЕР 1485929
- ^ Naik, Ranjan N .; Rao, S. B .; Шриханде, С.С.; Сингхи, Н. М. (1982), "Графы пересечений k-однородные гиперграфы », Европейский журнал комбинаторики, 3: 159–172, Дои:10.1016 / s0195-6698 (82) 80029-2, МИСТЕР 0670849
- ^ Ю, Янмин (2006), "Больше запрещенных второстепенных для сводимости Уай-Дельта-Уай", Электронный журнал комбинаторики, 13 Интернет сайт