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

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Пусть G связный граф. Какова сложность подсчета всех связанных подграфов, если G имеет следующие типы? G является общим. Г плоская. G является двудольным. Я не забочусь о каких-либо структурах или ..., просто нужно сосчитать все связанные подграфы! Меня также интересует сложность подсчета всех связанных подграфов с ровно k узлами в …

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

Подсчитав аргументы, можно показать, что существуют многочлены степени n от 1 переменной (т. Что-то вроде которые имеют сложность схемы n. Также можно показать, что для многочлена типа требуется как минимум умножений (это нужно просто для получения достаточно высокой степени). Существуют ли явные примеры полиномов от 1 переменной с суперлогарифмической нижней …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

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

12 cc.complexity-theory  complexity-classes 

Что меня особенно интересует, так это наличие интересного условия о проценте назначений, которые удовлетворяют формуле 3SAT, чтобы гарантировать, что такие проблемы поддаются решению. Предположим, например, класс задач 3SAT, что из возможных назначений удовлетворяет булевой формуле; мы можем эффективно найти удовлетворяющее задание? Для чего возникает проблема в P?2 n ϵϵ ( …

12 cc.complexity-theory  ds.algorithms  sat  np 

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

12 cc.complexity-theory  complexity-classes 

Опять проблема с разделением ребер, сложность которой мне интересна, мотивированная предыдущим моим вопросом . Вход: кубический графG = ( V, E)G=(V,E)G=(V,E) Вопрос: есть ли разбиение на , так что подграф, индуцированный каждым является либо когтем (то есть , часто называемым звездой), либо путём ( т.е. )?E 1 , E 2 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

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

Эквивалентная формулировка теоремы PCP является: Для Макса 3-SAT это -трудного различать выполнимые формулы и формулы , где не более группу фракций из пунктов являются выполнимы (для некоторого ).r r < 1NпNPNPрrrг < 1r<1r\lt 1 Существует ли какая-либо известная теорема о дихотомии, которая классифицирует все максимальные значения CSP на основании наличия …

12 cc.complexity-theory  pcp  csp 

Пусть { 0 , . , , , П - 1 } и ∘ : S × S → S . Я хочу вычислить сложность коммуникации, решая, является ли ∘ ассоциативным.Sзнак равноS=S=0 , . , , , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ …

12 cc.complexity-theory  communication-complexity 

Бумага Лаури Хелла и Хосе Мария 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 

Отсюда я читаю доказательства и наткнулся на техническую (хотя и крайне важную) проблему. Я знаю, что это довольно специфично, и контекст проблематичен, но я не мог понять это сам. На страницах 51 и 55 после представления «стандартных» верификаторов они поворачиваются, чтобы модифицировать верификаторы для проверки разделенных назначений. В первом случае …

12 cc.complexity-theory  pcp 

Легко наблюдение состоит в том, что если проблема разрешима недетерминированной программы полиномиальное время , используя O ( журнал N ) недетерминированных битов (то есть, все свидетели логарифмические в длину), то ∈ P .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Если тогда кто-то задает вопрос: «Легче ли проверить свидетеля, чем найти его?» для таких …

12 cc.complexity-theory 

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

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