Вопросы с тегом «np»

Вопросы о задачах решения, которые могут быть решены на недетерминированных машинах Тьюринга за время, полиномиальное от длины входа.

2
Существуют ли субэкспоненциальные алгоритмы для NP-полных задач?
Существуют ли NP-полные задачи, которые доказали алгоритмы субэкспоненциального времени? Я спрашиваю об общих входных данных, я не говорю о конкретных особых случаях здесь. Под субэкспоненциальным я подразумеваю порядок роста над полиномами, но менее экспоненциального, например, .NжурналNnlog⁡nn^{\log n}
2
Существует ли задача, которая разрешима за полиномиальное время, но не поддается проверке за полиномиальное время?
Мой коллега и я только что нажали несколько заметок одного из наших профессоров. В примечаниях говорится, что есть задачи, которые можно решить за полиномиальное время (относятся к классу PF), но которые НЕ поддаются проверке за полиномиальное время (НЕ относятся к классу NPF). Чтобы уточнить эти классы: мы получаем некоторый вход …
3
NP-полные проблемы не «очевидно» в NP
Многим пришло в голову, что во всех NPNP\textbf{NP} полных доказательствах, которые я читал (которые я помню), всегда тривиально показать, что проблема в NPNP\textbf{NP} , и показать, что это NPNP\textbf{NP} жесткая, является ... трудной частью , Какие NPNP\textbf{NP} полные проблемы это те, чьи верификаторы за полиномиальное время весьма нетривиальны?
3
Почему NP-полные задачи так различны с точки зрения их аппроксимации?
Я хотел бы начать с вопроса, говоря, что я программист, и у меня нет большого опыта в теории сложности. Одна вещь, которую я заметил, состоит в том, что, хотя многие проблемы являются NP-полными, когда они распространяются на проблемы оптимизации, некоторые из них гораздо сложнее приблизить, чем другие. Хороший пример - …
2
Как можно проверить задачу коммивояжера за полиномиальное время?
Так что я понимаю идею, что решение проблемы определяется как Есть ли путь P такой, что стоимость ниже, чем C? и вы можете легко проверить это, проверив полученный вами путь. Однако что, если нет пути, который соответствует этим критериям? Как бы вы проверили ответ «нет», не решив проблему TSP с …
3
Есть ли сложная точка зрения теоремы Галуа?
Теорема Галуа эффективно говорит, что нельзя выразить корни многочлена степени> = 5, используя рациональные функции коэффициентов и радикалов - разве нельзя считать, что это говорит о том, что для данного многочлена нет детерминированного алгоритма для нахождения корней? Теперь рассмотрим вопрос решения в форме: «Учитывая действительный корень полинома ppp и число …
4
Доказательство Сложность доказательства или несоответствия P = NP
Проводились ли какие-либо исследования сложности доказательства решения проблемы P = NP? Если нет, учитывая отсутствие прогресса в решении этой проблемы, было бы неразумно предполагать, что любое доказательство, которое решает проблему P = NP, потребует суперполиномиального числа шагов?
3
Может ли какая-то конечная проблема быть в NP-Complete?
Мой лектор сделал заявление Любая конечная задача не может быть NP-полной В то время он говорил о судоку, который сказал что-то вроде того, что для судоку 8х8 существует ограниченный набор решений, но я не могу точно вспомнить, что он сказал. Я записал записку, которую цитировал, но до сих пор не …
13 np-complete  np 
1
Определяет, есть ли простое число в интервале, о котором известно, что оно находится в P или NP-полных?
Из этого поста я узнал, что в стеке есть поток, и есть несколько относительно быстрых алгоритмов для просеивания интервала чисел, чтобы увидеть, есть ли в этом интервале простое число. Тем не менее, означает ли это, что общая проблема решения: (Существует ли простое число в интервале?) В P. (Было много ответов …
2
Может ли любая NP-полная проблема быть решена с использованием не более чем полиномиального пространства (но при использовании экспоненциального времени?)
Я читал о NPC и его связи с PSPACE, и я хотел бы знать, могут ли проблемы NPC быть детерминированно решены с использованием алгоритма с наименьшим требованием к полиномиальному пространству, но потенциально с экспоненциальным временем (2 ^ P (n), где P - полиномиальный). Более того, может ли оно быть обобщено …
2
Проблема почтовой корреспонденции в NP?
Я только что прочитал несколько страниц в книге Сипсера «Введение в теорию вычислений о проблеме почтовой корреспонденции» и думаю, что PCP на самом деле находится в NP. Сертификатор составляет: для конфигурации входного ворса конкатенации т 1 , т 2 , . , , , t n как строка t и …
5
Недостаток в моем NP = CoNP Доказательство?
У меня есть это очень простое «доказательство» для NP = CoNP, и я думаю, что где-то сделал что-то неправильно, но я не могу найти, что не так. Кто-нибудь может мне помочь? Пусть A - некоторая проблема в NP, и пусть M - решающий фактор для A. Пусть B - дополнение, …
1
Это NP-жесткий? Я не могу доказать это.
У меня есть проблема, и я думаю, что это NP-трудно, но я не могу доказать это. Вот график слоя, где слой 0 - самый высокий слой, а слой L - самый низкий. Есть некоторые направленное ребро между слоями, где ребро (А, В) указывает на то, что узел А может [крышка] …
11 graphs  np 
1
NP-полные комплекты сформированы из двух других наборов, только если хотя бы один NP-сложен?
Этот вопрос является чем-то вроде обратного к предыдущему вопросу о множествах, сформированных из операций над множествами на NP-полных наборах: Если множество , являющееся результатом объединения, пересечения или декартового произведения двух разрешимых множеств и является NP-полным, является ли хотя бы один из обязательно NP-сложным? Я знаю, что они не могут быть …
4
Развивающиеся искусственные нейронные сети для решения задач NP
Недавно я прочитал действительно интересную запись в блоге Google Research Blog, рассказывающую о нейронной сети. В основном они используют эту нейронную сеть для решения различных задач, таких как распознавание изображений. Они используют генетические алгоритмы, чтобы «развить» веса аксонов. В общем, моя идея заключается в следующем. Если бы я должен был …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.