Следующая интересная проблема возникла в моем исследовании недавно:
МИГ: График .
РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком нечетном цикле. E G ′ ( V , E ′ ) G ′
ИЗМЕРЕНИЕ: Размер завершения, т.,
До сих пор нам удавалось доказать, что модифицированная версия этой задачи является NP-полной, где вместо того, чтобы требовать, чтобы «каждое ребро в содержалось в нечетном нечетном цикле », нам требуется более сильное свойство, что« каждое ребро содержится в в треугольнике (цикл длины 3) ". (Обратите внимание, что это не эквивалентно проблеме МИНИМАЛЬНОГО ХОРДАЛЬНОГО ГРАФА .)
Первое, как легко увидеть, является обобщением второго, но до сих пор все мои попытки доказать это потерпели неудачу. Может ли кто-нибудь придумать указатель / ссылку / и т.д.?
источник
Ответы:
Мы доказываем, что задача NP-трудна даже в форме решения, т. Е. «Является ли входной граф уже безордовым завершением нечетного цикла?», Путем сокращения из следующей задачи:G
Эта проблема, как известно, является NP-трудной благодаря сокращению от «обнаружения аккордовых четных циклов, проходящих через заданный узел» в ссылке, приведенной в одном из ваших комментариев, который указан в параграфе перед разделом 3, позволяя и :q = 2p=0 q=2
(Может быть сокращение Карпа, но если мы разрешим использование Кука, рассмотрим следующее сокращение: замена данного узла степени d на полный подграф размера d с соответствующими исходящими ребрами. Затем для каждого ребра в полном графе мы можем запросить оракул, решающий проблему P. Обратите внимание, что четный цикл без аккордов, проходящий через данный узел, соответствует нечеткому нечеткому циклу длиной более 3, проходящему через одно из ребер в полном графе.)
Теперь о главном сокращении. Учитывая случай Задачи P, сначала мы обнаруживаем, есть ли треугольники, проходящие через ; если так, удалите каждый узел, который формирует треугольник с . Обратите внимание, что удаление узлов, которые образуют треугольник с , не удалит любые аккордовые нечетные циклы, проходящие через (с помощью свойства chordless).е э еe e e e
Затем для каждого ребра отличного от мы добавляем вспомогательный узел и два ребра и . Заметьте, что новый граф имеет следующее свойство:e = ( u , v ) v f ( v f , u ) ( v f , v ) G ′f e=(u,v) vf (vf,u) (vf,v) G′
Для единственного направления if это можно доказать, рассматривая различные типы ребер в . Каждое ребро, отличное от (включая эти вновь добавленные ребра), будет находиться как минимум в одном треугольнике (тот, который содержит вспомогательный узел); и будет в нечетном нечетном цикле в так как есть нечеткий нечетный цикл, проходящий через в , и этот цикл не удаляется во время процесса удаления узла. e e G ' e GG′ e e G' e G
Для направления if, поскольку все ребра, кроме должны быть хотя бы в одном треугольнике, нам нужно беспокоиться только о ребре . Там есть chordless нечетного цикл , проходящее через в ( является chordless нечетного завершения цикла). Цикл не может иметь длину 3 по построению , и так как цикл не может содержать любые вспомогательные узлы (от chordless собственности), он будет в графе , а также. Поэтому доказательство завершено.e e G ′ G ′ G ′ Ge e e G′ G′ G′ G
источник