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

Исследование сжатого представления графов было начато Гальперином и Вигдерсоном в статье 1983 года, где они доказывают, что для многих простых задач, таких как нахождение треугольника на графе, соответствующая краткая версия в NPNP\mathsf{NP} -полна. Papadimitriou и Yanakkakis дальнейшее это направление исследований, и доказать , что для задачи ΠΠ\Pi , которая является …

26 cc.complexity-theory  reference-request  complexity-classes 

Шива Кинтали только что объявил (круто!) Результат, что изоморфизм графов для ограниченных графов ширины является ⊕ L- трудным≥4≥4\geq 4⊕L⊕L\oplus L . Неофициально мой вопрос: "Насколько это сложно?" Мы знаем, что неравномерно , см. Ответы на этот вопрос . Мы также знаем, что маловероятно, что , см. Ответы на этот вопрос …

26 cc.complexity-theory  complexity-classes  logspace 

Машине PHPHPH предоставляется оракулу доступ к случайной булевой функции f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} и двум спектрам Фурье ggg и hhh . Спектры Фурье функции fff определяются как F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) Один из или является истинным спектром Фурье для …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Хорошо известно, что направленная st-связность является полной. Прорыв результат Рейнгольд показал , что неориентированный ст-связность в . Известно, что направленная st-связность находится в . Cho и Huynh определили параметризованную задачу о ранце и продемонстрировали иерархию проблем между и .NLNLNLLLLUL∩coULUL∩coULUL \cap coULLLLNLNLNL Я ищу больше проблем, которые являются промежуточными между и …

26 cc.complexity-theory  space-bounded 

Каковы будут последствия #P = FP? Меня интересуют как практические, так и теоретические последствия. С практической точки зрения меня особенно интересуют последствия для искусственного интеллекта. Указатели на бумаги или книги более чем приветствуются. Пожалуйста, не говорите, что #P = FP подразумевает P = NP, я это уже знаю. Также, пожалуйста, …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Для формулы 3CNF пусть будет максимальное число удовлетворенных положений в любом присвоении . Известно, что Max-3SAT трудно аппроксимировать (при условии P ≠ NP), то есть не существует алгоритма множителя, вход которого является формулой 3CNF , а выход которого равен числу , так что находится в пределах мультипликативный фактор из , …

26 cc.complexity-theory  sat 

Существуют ли какие-либо естественные проблемы в , которых нет (как известно / считается, что они есть) в ?U P ∩ c o U PNп∩ c o NпNP∩coNPNP \cap coNPUп∩ c o UпUP∩coUPUP \cap coUP Очевидно, что большая часть, о которой все знают в - это вариант факторинга для решения (не …

26 cc.complexity-theory  complexity-classes  np 

Рассмотрим задачу покрытия минимального набора со следующими ограничениями: каждый набор содержит не более элементов, а каждый элемент юниверса встречается не более чем в f наборах.kkkfff Пример: случай и f = 2 эквивалентен задаче минимального покрытия вершин в графах с максимальной степенью 4.k=4k=4k = 4f=2f=2f = 2 Пусть будет наибольшим значением, …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Является ли следующая проблема NP-трудной? Учитывая конфигурацию доски для n×nn×nn\times n международных шашек , найдите один законный ход. Соответствующая задача для американских шашек (или английских шашек) тривиально разрешима за полиномиальное время. Есть три основных различия между этими двумя играми.n×nn×nn\times n Первое и самое значительное отличие - это правило «летающий король». …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Есть ли (желательно натурального) NP-полный язык L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , такое , что для любого имеет место ? Другими словами, содержит ровно половину всех битных экземпляров.n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Для любого n>0n>0n > 0 я говорю, что последовательность целых чисел в является -полной, если для каждой перестановки из , записанная как последовательность попарно различных целых чисел , последовательность является подпоследовательностью , т. е. существуеттакой, что для всех .{ 1 , … , n } n p { 1 , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Хорошо известной характеристикой экземпляров -SAT является отношение числа предложений m к числу переменных n , т. Е. Частное ρ = m / n . Для каждого k существует пороговое значение α st \ для ρ ≪ α , большинство случаев выполнимо, а для ρ ≫ α большинство случаев неудовлетворительно. Было …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Согласно D. den Hertog, «Подход с внутренней точки к линейному, квадратичному и выпуклому программированию», 1994 , линейная программа с переменными, n ограничениями и точностью L разрешима за O ( n 3 L ) времени. Это было улучшено?NNnNNnLLLO ( n3Л )О(N3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Знаете ли вы интересные последствия (стандартных) гипотез в теории сложности в других областях математики (т.е. вне теоретической информатики)? Я бы предпочел ответы где: гипотеза теории сложности является как можно более общей и стандартной; Я также согласен с последствиями сложности конкретных проблем, но было бы неплохо, если бы общепризнанно, что проблемы …

25 cc.complexity-theory  conditional-results 

Это ответ на основные нерешенные проблемы теоретической информатики? Вопрос гласит, что он открыт, если конкретная проблема в NP требует времени .Ω ( n2)Ω(n2)\Omega(n^2) Просмотр комментариев под ответом заставил меня задуматься: Помимо заполнения и подобных уловок, какова наиболее известная нижняя граница сложности времени на детерминированной машине ОЗУ (или многопленочной детерминированной машине …

25 cc.complexity-theory  np  p-vs-np