Вопросы с тегом «cc.complexity-theory»

В простой форме: Может ли двусторонний конечный автомат распознавать вершинные графы, содержащие треугольник с состояниями?vvvo(v3)o(v3)o(v^3) Детали Здесь представляют интерес графы с вершинами, закодированные с использованием последовательности ребер, причем каждое ребро представляет собой пару различных вершин из .vvv{0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} Предположим, что - это последовательность двусторонних конечных автоматов (детерминированных или недетерминированных), такая, что …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP - это класс -задач с полиномиальной оценкой числа решений (во входном размере). Там нет никакого известного Св.нут P -полные проблемы в ф х ш Р . Мне интересно, как далеко мы можем расширить это наблюдение.NпNPNPNпNPNPее ш РfewPfewP Существует ли естественная -полная проблема с квазиполиномиальной верхней оценкой числа решений (свидетелей)? …

15 cc.complexity-theory  np 

Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения удовлетворительности схемы для …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Граф Изоморфизм ( ) является хорошим кандидатом для N P -проблемой задачи. N P -intermediate проблемы существуют , если Р не = Н Р . Я ищу естественную проблему, которая трудна для G I при редукции Карпа (графовая задача X такая, что G I &lt; m p X ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

За последние два десятилетия была проделана фантастическая работа над перманентом. Некоторое время я размышлял о возможности алгоритма Smooth P для перманента неотрицательных матриц. Конечно, есть известный алгоритм JSV, но это fpras. Думая о другой работе в рамках Сглаженной Сложности, сильным намеком на присутствие в Сглаженном P было существование алгоритма fpras …

15 cc.complexity-theory  complexity-classes 

Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму длины всех строк. Входные …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Я надеялся, что кто-нибудь сможет объяснить мне, почему именно проблема подмножеств является сильно NP-трудной, в то время как проблема сумм подмножеств является NP-трудной. Подмножество Сумма: Дано и Т , существует ли подмножество X ' такое , что Σ я ∈ Х ' х я = Т .Икс= { х1, . …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Меня вообще интересует метод принуждения, используемый Бейкером-Джиллом-Соловеем и Коэном. Я ищу столько источников, сколько смогу получить информацию о самой технике или ее использовании. У кого-нибудь есть предложения?

15 cc.complexity-theory  set-theory 

Вероятностная система доказательств обычно называется ограничением M A , где Артур может использовать только f ( n ) случайных битов и может проверять только g ( n ) битов подтверждающий сертификат, присланный Мерлином (см. http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).пСп[ ф( н ) , г( n ) ]пСп[е(N),грамм(N)]\mathcal{PCP}[f(n),g(n)]М АMA\mathcal{MA}е( н )е(N)f(n)грамм( н )грамм(N)g(n) Тем …

15 cc.complexity-theory  pcp  interactive-proofs 

Фон Формула однократного чтения для набора элементов (также называемая базисом) - это формула, в которой каждая входная переменная появляется один раз. Формулы однократного чтения обычно изучаются на основе де Моргана (которая имеет 2-битные логические элементы И и ИЛИ, и 1-битный вентиль НЕ) и полной двоичной базе данных (которая имеет все …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Мы знаем, что основанные на DPLL SAT-решатели не могут правильно ответить на неудовлетворительных экземплярах (принцип "голубиной дыры"), например, "существует инъективное отображение от к ": n + 1 nP H PPHP\mathrm{PHP}n + 1n+1n+1Nnn P H Pn + 1N: = ⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] …

15 cc.complexity-theory  lo.logic  proof-complexity 

Рассмотрим набор множеств над базовым множеством где и , и пусть будет положительным целым числом.F = { F 1 , F 2 , … , F n } U = { e 1 , e 2 , … , e n } | F i | « П е я …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Какова вычислительная сложность следующей задачи: с учетом двух комплексных матриц A и B проверить, есть ли матрица перестановок Р таким образом, что: В = Р Р Т .n × nN×Nn\times nAAAВВBппPB = PА ПT,Взнак равнопAпT,B = P A P^T. Если это помогает, можно предположить, что и B эрмитовы (или даже …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Рассмотрим следующую проблему: учитывая граф запросов G=(V,E)G=(V,E)G = (V, E) и опорный граф , мы хотим найти инъективное отображение которое минимизирует количество ребра такие, что . Это обобщение проблемы изоморфизма подграфа, где мы позволяем подграфам быть изоморфными вплоть до нескольких отсутствующих ребер и хотим найти способ минимизировать количество отсутствующих ребер.f …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

1-тусклый алгоритм Вейсфейлер-Леман (WL) широко известен как каноническая маркировка или алгоритм , цвета уточнения. Это работает следующим образом: Начальная раскраска равномерна, C 0 ( v ) = 1 для всех вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)знак равно1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace