WikiDer > Нечетный цикл поперечный

Граф с нечетным циклом трансверсали размера 2: удаление двух синих нижних вершин оставляет двудольный граф.

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

Отношение к вершинному покрытию

Данный ${ displaystyle n}$-вершинный граф ${ displaystyle G}$ имеет нечетный цикл трансверсали размера ${ displaystyle k}$, тогда и только тогда, когда Декартово произведение графов ${ displaystyle G square K_ {2}}$ (граф, состоящий из двух копий ${ displaystyle G}$, с соответствующими вершинами каждой копии, соединенными ребрами идеальное соответствие) имеет крышка вершины размера ${ Displaystyle п + к}$. Трансверсаль нечетного цикла может быть преобразована в покрытие вершины путем включения обеих копий каждой вершины из трансверсали и одной копии каждой оставшейся вершины, выбранной из двух копий, в зависимости от того, какая сторона двудольного раздела содержит ее. В другом направлении вершинное покрытие ${ displaystyle G square K_ {2}}$ можно преобразовать в трансверсал нечетного цикла, оставив только те вершины, для которых обе копии находятся в обложке. Вершины за пределами получившейся трансверсали можно разделить на две части, в зависимости от того, какая копия вершины использовалась в покрытии.^[1]

Алгоритмы и сложность

Проблема поиска наименьшего трансверсального нечетного цикла или, что эквивалентно, наибольшего двудольного индуцированного подграфа, также называется трансверсалию нечетного цикла и сокращенно OCT. это NP-жесткий, как частный случай задачи поиска наибольшего индуцированного подграфа с наследственная собственность (поскольку свойство быть двудольным наследственно). Все такие задачи для нетривиальных свойств NP-трудны.^[2][3]

Эквивалентность между задачами трансверсального нечетного цикла и вершинного покрытия была использована для разработки управляемый с фиксированными параметрами алгоритмы для нечетного пересечения цикла, что означает, что существует алгоритм, время работы которого может быть ограничено полиномиальной функцией размера графа, умноженной на большую функцию ${ displaystyle k}$. Развитие этих алгоритмов привело к методу итеративное сжатие, более общий инструмент для многих других параметризованных алгоритмов.^[1] Параметризованные алгоритмы, известные для этих задач, занимают почти линейное время для любого фиксированного значения ${ displaystyle k}$.^[4] В качестве альтернативы, при полиномиальной зависимости от размера графа, зависимость от ${ displaystyle k}$ можно сделать размером с ${ displaystyle 2.3146 ^ {k}}$.^[5]Напротив, аналогичная проблема для ориентированные графы не допускает управляемый алгоритм с фиксированными параметрами при стандартных предположениях теории сложности.^[6]

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

• Максимальный разрез, что эквивалентно запросу минимального набора ребер, удаление которых оставляет двудольный граф

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