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

Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?Т С0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd В записи Zoo для TC0TC0\mathsf{TC^0} упоминается только расстояние между глубиной 2 и 3. Кроме того, есть стандартная ссылка на тот факт , что С …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

широко предположительно, чтобы быть ложным.R P= NпRP=NPRP = NP Но представьте на мгновение, что это правда. В таком случае, насколько вероятно, что ?п= NпP=NPP = NP Другими словами: в мире, где , что еще может помешать нам верить P = N P ?R P= NпRP=NPRP = NPп= NпP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

Я читал в СП Иордане, Д. Госсе, «PJ Лява -полных задачи для stoquastic гамильтонианов и матриц МарковаQ MAQMAQMA » , что маловероятно , что .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Я был удивлен этим утверждением. Итак, каковы правильные отношения между и A M ?Q MAQMAQMAА МAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Работая над несколько не связанным проектом для Suresh, я недавно натолкнулся на некоторую работу, проделанную Пейджем и Оппером о пользовательских системах, и в части их работы кратко обсуждались проблемы, которые невозможно проверить за полиномиальное время. Мне не удалось найти много информации о других проблемах, которые невозможно проверить за полиномиальное время, …

12 cc.complexity-theory  complexity-classes 

Результат Бейкера-Гилла-Соловая показал, что вопрос о P = NP не релятивизируется в том смысле, что никакое релятивизирующее доказательство (нечувствительное к присутствию оракула) не может решить вопрос о P = NP. Мой вопрос: есть ли аналогичный результат для вопроса "Существует ли проблема полной PH?" Отрицательный ответ на этот вопрос предполагает P! …

12 cc.complexity-theory  complexity-classes 

Автор: 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 

Бумага Лаури Хелла и Хосе Мария Turull-Torres, Вычисление запросов с помощью логики высшего порядка , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 предлагает логику VO, логику переменного порядка. Это позволяет определять количество заказов по переменным. VO довольно мощный и может выражать некоторые невычислимые запросы. (Как указывает Артур Мильхиор ниже, …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Какие еще языки проблем, отличные от изоморфизма графов, есть в ? Можете ли вы дать некоторые ссылки?Nп∩ c o A MNP∩coAMNP\cap coAM Обновление: Я забыл упомянуть , что я заинтересован в языках , не известно, в .c o NпcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Каковы некоторые (не очень известные) утверждения о том, что, если это правда, PH должен разрушиться? Ответы, содержащие краткое высокоуровневое утверждение со ссылками, приветствуются. Я попытался выполнить обратный поиск без особой удачи.

12 cc.complexity-theory  complexity-classes  big-list 

Какова минимальная ширина дерева схемы над для вычисления MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Здесь MAJ выводит 1, если хотя бы половина его входов равна .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Я забочусь только о размере схемы (должен быть полиномиальным) и о том, что вход должен быть прочитан только один раз, хотя разветвление входного вентиля может быть произвольным …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Мы знаем, что если то весь PH разрушается. Что если полиномиальная иерархия частично разрушится? (Или как понять, что PH может рухнуть выше определенной точки, а не ниже?)п= NпP=NPP=NP Короче говоря, каковы будут последствия и P ≠ N P ?Nп= с о нпNP=coNPNP=coNPп≠ NпP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Следующий вопрос использует идеи из криптографии, примененные к теории сложности. Тем не менее, это чисто теоретический вопрос сложности, и для его ответа не требуется никаких криптовалют. Я намеренно пишу этот вопрос очень неформально. В отсутствие подробностей, это, возможно, указано немного неправильно. Пожалуйста, не стесняйтесь указывать на исправления в ваших ответах. …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

У меня есть часть попытки доказательства . Попытка доказательства состоит в сокращении Карпа из -полной задачи 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 

Из теоремы о пространственной иерархии известно, что если конструируемо в пространстве, то DSPACE ( ) не равно DSPACE ( .еff2 f ( n ) f ( n ) )2 ф( н )2f(n)2f(n)е( н ) )f(n))f(n)) Здесь под DSPACE ( я подразумеваю класс всех задач, которые могут быть решены в пространстве …

11 cc.complexity-theory  complexity-classes 

Является ли Н ПP P= PP PNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Или, в более общем плане , Is Н ПP P⊆ PP P/ РолуNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes