Позволять быть графом Позволятьбыть целым числом Позволять быть количеством краевых индуцированных подграфов имеющий вершины и нечетное количество ребер. Позволять быть количеством краевых индуцированных подграфов имеющий вершины и четное число ребер. Позволять, Проблема ODD EVEN DELTA состоит в вычислениях, данный а также ,
Вопросов
- Можно ли вычислить в полиномиальное время? Какой самый известный алгоритм для его вычисления?
- Что, если 3-х регулярный?
- Что, если такое 3-х регулярный двудольный?
- Что, если такое 3-регулярный двудольный планар?
ds.algorithms
graph-theory
graph-algorithms
counting-complexity
Джорджио Камерани
источник
источник
Ответы:
Задача ODD EVEN DELTA является # P-сложной, даже на 3-регулярных двудольных плоских графах.
ПозволятьС быть набором вершинных покрытий общего графа г , Тогда, предполагаяг не имеет изолированных вершин, имеет место следующее уравнение (см. приведенную выше статью для доказательства):
Подсчет вершинных покрытий является # P-полным даже на 3-регулярных двудольных плоских графах, и это можно сделать с помощью линейного числа обращений к оракулу ODD EVEN DELTA.
источник
ОБНОВИТЬ:
Я должен был указать, что ответ ниже о частном случаеk = | В| , Поскольку этот случай сложный, проблема для общегоК тоже сложно.
Каркас Холанта по существу является экспоненциальной суммой по охватывающим подграфам (т. Е. Все вершины присутствуют в подграфе, поэтому сумма находится по подмножествам ребер). Напротив, текущая версия вопроса о краях подграфов.
Более ранняя версия этого вопроса касалась подсчета определенных подграфов без изолированных вершин. Ответ ниже правильно соответствует этому требованию. При рассмотрении как охватывающих подграфов (т. Е. Каркаса Холанта), так и отсутствия изолированных вершин, это аналогично рассмотрению краевых индуцированных подграфов с| В| Вершины. ФП в основном указал на это в этом вопросе .
3-регулярные плоские графы
На данный момент я проигнорирую ваше требование, чтобы графикг является двухсторонним
Предположим, чтог 3-регулярный плоский граф Ваша проблема может быть выражена как двухсторонняя плоская проблема Холанта
Позвольте мне объяснить, как. Более подробно, чем я приведу ниже, см. В этом документе .
Holant - это сумма по (логическим) присваиваниям ребрам. На вершинах есть ограничения, входными данными которых являются присвоения их падающим ребрам. Для каждого присваивания рёбрам мы берем произведение всех вершинных ограничений.
Ваше требование об отсутствии изолированных вершин - это ограничение, которое не выполняется в конкретной вершине, если не выбрано ни одно из ее падающих ребер, и удовлетворяется, если выбрано хотя бы одно ребро. Это симметричное ограничение обозначается как [0,1,1,1], которое выводит 0 (то есть неудовлетворенный), когда число входов 1 равно 0 (т.е. нет падающих ребер в подграфе), и выводит 1 (то есть удовлетворяется), когда число входные значения 1 - 1, 2 или 3 (т. е. 1, 2 или 3 падающих ребра в подграфе).
Другое ваше требование - вычислить количество подграфов с четным числом ребер минус подграфы с нечетным числом ребер. Для нашего графикаг , мы заменим каждое ребро на путь длины 2 (который также называется 2-отрезок г ). Это дает (2,3) -регулярный двудольный граф. Для всех исходных вершин мы назначаем ограничение [0,1,1,1] сверху. Для всех новых вершин мы назначаем ограничение [1,0, -1]. Поскольку средняя запись этого ограничения равна 0, это заставляет падающие ребра этих вершин степени 2 либо обоим назначаться 0 (т.е. не в подграфе), либо обоим присваиваться 1 (то есть в подграфе). Теперь для конкретного назначения краям, если номерN «исходных» ребер четный, то вклад всех вершин степени 2 ( - 1)N= 1 , В противном случае,N странно и вклад ( - 1)N= - 1 , Это именно то, что вы хотите.
Эта двудольная проблема Холанта является # P-трудной по теореме 6.1 в этой статье . Однако эта теорема не самая простая в применении. Вместо этого рассмотрим следующее.
Мы делаем голографическое преобразованиеT= [- 1011] , который не меняет стоимость Holant. Таким образом, вышеуказанная проблема точно такая же, как
Тогда легко видеть, что эта проблема является # P-трудной по теореме 1.1 в этой статье .
Ограничение на двудольные графы
Как и ваш предыдущий вопрос , с той же проблемой, связанной с двудольными графами, справиться гораздо сложнее, и я считаю, что это все еще открытая проблема. У нас есть гипотеза относительно поддающихся рассмотрению случаев (и я проверю, является ли ваша проблема одной из них), но я думаю, что ваша проблема все еще остается сложной, даже если она ограничена двудольными графами.
источник