Вопросы с тегом «counting-complexity»

Автор: http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf. Если является PSPACE-полный язык, Р = N P A .AAAпA= NпAPA=NPAP^{A}=NP^{A} Если является детерминированным оракулом полиномиального времени, P B ≠ N P B (при условии, что P ≠ N P ).ВBBпВ≠ NпВPB≠NPBP^{B}\ne NP^{B}п≠ NпP≠NPP\ne NP - класс решений аналогичных задач для # P и P ⊆ P P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

У меня есть часть попытки доказательства . Попытка доказательства состоит в сокращении Карпа из -полной задачи 3-REGULAR VERTEX COVER к SAT.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Учитывая кубический граф , сокращение выводит формулу CNF, имеющую оба следующих свойства:GGGFFF FFF имеет самое большее удовлетворительное назначение.111 FFF выполнимо тогда и только тогда, когда …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

В противоположной формуле CNF с двойным чтением каждая переменная появляется дважды, один раз положительный и один раз отрицательный. Меня интересует проблема , которая заключается в вычислении четности числа удовлетворяющих назначений противоположной формуле CNF с .⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Я не смог найти никаких ссылок на сложность такой проблемы. Самым близким, что мне …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Для полиномиальной задачи локального поиска мы знаем, что должно существовать хотя бы одно решение (локальный оптимум). Тем не менее, может существовать гораздо больше решений, насколько сложно сосчитать количество решений для PLS-полной задачи? Меня особенно интересует проблема решения: есть ли у этого экземпляра полной проблемы PLS два или более решений? Зависит …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Я предполагаю, что это назвали бы # P-Space, но я нашел только одну статью, смутно упоминающую это. Как насчет подсчета версий EXP-TIME-Complete, NEXP-Complete, а также проблем EXP-SPACE-Complete? Есть ли какие-либо предыдущие работы, которые можно привести в отношении этого или любого типа включения или исключения, такие как теорема Тоды?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Что известно о фазовом переходе в задачах # P-Complete? В частности, существует ли другой фазовый переход для # DNF-k-SAT и # CNF-k-SAT? Обновление: Как мы знаем, в Random k-SAT есть фазовый переход, где решение проблемы переходит от простого к сложному и снова к легкому. Я хотел бы знать, существует ли …

11 cc.complexity-theory  counting-complexity  phase-transition 

КРАТКИЙ ВОПРОС: Является ли MAJ-3CNF PP-полной проблемой при сокращении многие-один? ДОПОЛНИТЕЛЬНАЯ ВЕРСИЯ: Общеизвестно, что MAJSAT (решающий, удовлетворяет ли большинство назначений пропозиционального предложения) PP-завершено при сокращениях много-один, а #SAT # P-завершено при сокращениях. Также очевидно, что # 3CNF (то есть #SAT, ограниченный формулами 3-CNF) является # P-полным, поскольку сокращение Кука-Левина экономно …

10 counting-complexity  complexity  probabilistic-complexity 

Я заинтересован в следующей проблеме. В качестве входных данных нам дается «целевая перестановка» , а также упорядоченный список индексов i 1 , … , i m ∈ [ n - 1 ] . Затем, начиная со списка L = ( 1 , 2 , … , n ) (т. Е. …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Я просматривал оригинальную статью Les Valiant, и мне было тяжело с предложением 4.3 на странице 10 статьи. Я не могу понять, почему это так, что если существует генератор с определенными значениями для с базисом { ( a 1 , b 1 ) … ( a r , b r ) …

10 ds.algorithms  counting-complexity  survey 

Этот вопрос возник у меня в голове после прочтения вклада Андраса Саламона и Колина Маккуиллана в мой предыдущий вопрос « Подсчет решений формул Monotone-2CNF» . РЕДАКТИРОВАТЬ 30- го марта 2011 г. Добавлен вопрос № 2. РЕДАКТИРОВАТЬ 29- го октября 2010 г. Вопрос перефразирован после предложения Андра формализовать его с помощью …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Гомоморфизм из графаG=(V,E)G=(V,E)G = (V, E) на график G′=(V′,E′)G′=(V′,E′)G' = (V', E') это отображение fff от VVV в V′V′V' такой, что если xxx а также yyy смежны в EEE тогда f(x)f(x)f(x) а также f(y)f(y)f(y) смежны в E′E′E', Эндоморфизм графаGGG является гомоморфизмом из GGGк себе; это без фиксированной точки, если нетxxx …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Рассмотрим классическую # P-полную задачу # 3SAT, т. Е. Посчитаем количество оценок, чтобы сделать 3CNF с переменными выполнимыми. Меня интересует аддитивная аппроксимируемость. Ясно, что существует тривиальный алгоритм для достижения -ошибки, но если , возможно ли иметь эффективный алгоритм аппроксимации, или эта проблема также является # P-трудной ?nnn2n−12n−12^{n-1}k&lt;2n−1k&lt;2n−1k<2^{n-1}

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Рассмотрим формулу Monotone 3CNF, имеющую оба следующих дополнительных ограничения: Каждая переменная появляется в точности 222 статьи. Учитывая любой 222 пункты, они разделяют не более 111 переменная. Я хотел бы знать, насколько сложно рассчитывать удовлетворяющие задания такой формулы. Обновление 04.06.2013 12:55 Хотелось бы также узнать, насколько сложно определить соотношение числа удовлетворяющих …

9 cc.complexity-theory  sat  counting-complexity 

Позволять G=(V,E)гзнак равно(В,Е)G = ( V, E )быть графом Позволятьk≤|V|К≤|В|k \leq |V|быть целым числом ПозволятьOkОКO_k быть количеством краевых индуцированных подграфов GгG имеющий kКkвершины и нечетное количество ребер. ПозволятьEkЕКE_k быть количеством краевых индуцированных подграфов GгG имеющий kКkвершины и четное число ребер. ПозволятьΔk=Ok−EkΔКзнак равноОК-ЕК\Delta_k = O_k - E_k, Проблема ODD EVEN DELTA …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

В предыдущем вопросе « Параметризованный алгоритм поиска бикликов» я поинтересовался, существуют ли быстрые параметризованные алгоритмы для нахождения -биклика в графе вершин, и узнал, что он открыт, если он равен FPT относительно . То же самое верно и для подсчета в -bicliques, или известно , что это # -Жесткий WRT (или …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity