WikiDer > Вынужденное соответствие

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

Индуцированное согласование также можно описать как независимый набор в квадрат из линейный график данного графа.^[1]

Сильная окраска и окрестности

Минимальное количество индуцированных паросочетаний, на которые можно разбить ребра графа, называется его сильный хроматический индекс, по аналогии с хроматический индекс графа - минимальное количество паросочетаний, на которые можно разбить его ребра.^[2] Это равно хроматическое число квадрата линейного графика. Теорема Брукса, примененный к квадрату линейного графа, показывает, что сильный хроматический индекс не более чем квадратичен в максимальной степени данного графа, но лучшие постоянные множители в квадратичной оценке могут быть получены другими методами.^[3]

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

Вычислительная сложность

Нахождение индуцированного соответствия размера не менее ${ displaystyle k}$ является НП-полный (и, таким образом, нахождение индуцированного соответствия максимального размера является NP-жесткий). Ее можно решить за полиномиальное время за хордовые графы, поскольку квадраты линейных графов хордовых графов идеальные графики.^[6]Более того, ее можно решить за линейное время за хордовые графы ^[7].Если не произошел неожиданный обвал в полиномиальная иерархия происходит, то наибольшее индуцированное согласование нельзя аппроксимировать с точностью до ${ Displaystyle п ^ {1- varepsilon}}$ коэффициент аппроксимации за полиномиальное время.^[8]

Проблема также в W [1] -жесткий, что означает, что даже обнаружение небольшого индуцированного соответствия заданного размера ${ displaystyle k}$ вряд ли будет алгоритм значительно быстрее, чем поиск грубой силы подход попробовать все ${ displaystyle k}$-наборы ребер.^[9] Однако проблема поиска ${ displaystyle k}$ вершины, удаление которых оставляет индуцированное сопоставление, есть управляемый с фиксированными параметрами.^[10] Проблема также может быть решена точно на ${ displaystyle n}$-вершинные графики во времени ${ displaystyle O (1,3752 ^ {n})}$ с экспоненциальным пространством или во времени ${ displaystyle O (1,4231 ^ {n})}$ с полиномиальное пространство.^[11]

Смотрите также

• Индуцированный путь

Рекомендации