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

Вопросы, связанные с (вычислительной) сложностью решения задач

2
Как построить сокращения между проблемами, чтобы доказать, что проблема является NP-полной?
Я прохожу сложный курс, и у меня возникают проблемы с сокращением числа проблем с NPC. Как я могу найти сокращения между проблемами? Есть ли общий трюк, который я могу использовать? Как мне подойти к проблеме, которая требует от меня доказать, что проблема в NPC?
3
NP-полные проблемы не «очевидно» в NP
Многим пришло в голову, что во всех NPNP\textbf{NP} полных доказательствах, которые я читал (которые я помню), всегда тривиально показать, что проблема в NPNP\textbf{NP} , и показать, что это NPNP\textbf{NP} жесткая, является ... трудной частью , Какие NPNP\textbf{NP} полные проблемы это те, чьи верификаторы за полиномиальное время весьма нетривиальны?
1
Является ли regex golf NP-Complete?
Как видно в этой недавней полосе XKCD и в этом недавнем сообщении в блогеПо словам Питера Норвига (история Слэшдота, в которой рассказывается о последнем), «регулярное выражение в гольфе» (которое лучше назвать проблемой разделения регулярных выражений) - это задача определения кратчайшего из возможных регулярных выражений, которое принимает каждое слово в множестве …
2
Основное правило, чтобы узнать, может ли проблема быть NP-полной
Этот вопрос был вдохновлен комментарием к StackOverflow . Помимо знания NP-полных проблем книги Гэри Джонсона и многих других; Есть ли эмпирическое правило, чтобы узнать, выглядит ли проблема как NP-полная? Я не ищу что-то строгое, но что-то, что работает в большинстве случаев. Конечно, каждый раз, когда мы должны доказать, что проблема …
2
Оптимизация версии решения проблемы
Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Известно, что каждая проблема оптимизации / поиска имеет эквивалентную проблему решения. Например, проблема кратчайшего пути версия для оптимизации / поиска: для заданного неориентированного невзвешенного графа G …
2
Доминоза NP-Hard?
Этот вопрос был перенесен из Математического стека Exchange, потому что на него можно ответить в Информатике стека Exchange. Мигрировал 6 лет назад . Доминоза - относительно новая игра-головоломка. Это играется на (n+1)×(n+2)(n+1)×(n+2)(n+1)\times(n+2) сетке. Перед началом игры кости домино (0,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) размещаются на сетке (что составляет идеальный тайлинг). На следующем шаге кости …
1
Самая длинная повторяющаяся (рассеянная) подпоследовательность в строке
Неформальная постановка задачи: Для строки, например, , мы хотим, чтобы некоторые буквы были окрашены в красный цвет, а некоторые - в синий (а некоторые нет), чтобы чтение только красных букв слева направо давало тот же результат, что и чтение только синих букв.ACCABBABACCABBABACCABBAB В примере мы могли бы покрасить их так:ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} …
3
Обучение NP-полноте - сокращения Тьюринга против сокращений Карпа
Меня интересует вопрос о том, как лучше всего преподавать NP-полноту специальностям информатики. В частности, должны ли мы учить этому, используя сокращения Карпа или сокращения Тьюринга? Я чувствую, что концепции NP-полноты и сокращения - это то, что должен изучать каждый специалист по информатике. Однако, когда я учил NP-полноте, я заметил, что …
5
Почему эта неразрешимая проблема в NP?
Очевидно, что в NP нет неразрешимых проблем. Однако, согласно Википедии : NP - это совокупность всех задач решения, для которых в случаях, когда ответ «да», есть [... доказательства, которые] проверяются за полиномиальное время с помощью детерминированной машины Тьюринга. [...] Говорят, что проблема в NP, если и только если существует верификатор …
2
Существуют ли проблемы, которые легко вычислить, но трудно проверить?
Предполагая, что P NP, NP-полные проблемы «трудно решить, но есть ответы, которые легко проверить». Имеет ли смысл рассматривать противоположные, то есть проблемы, для которых легко вычислить правильный ответ, но трудно проверить произвольное предполагаемое решение?≠≠\neq Я думаю, что такая проблема подразумевает либо: Экспоненциально много «правильных» ответов для любого заданного входа, потому …
3
Реально ли доказать нижние оценки?
Учитывая любую вычислительную проблему, является ли задача нахождения нижних границ для такого вычисления действительно возможной? Я полагаю, что все сводится к тому, как определяется один вычислительный шаг и какую модель мы используем для доказательства, но, учитывая это, действительно ли мы докажем нижнюю границу, тогда вообще? Я имею в виду, что …
2
Есть ли иногда эффективный алгоритм для решения #SAT?
Пусть - булева формула, состоящая из обычных операторов AND, OR, NOT и некоторых переменных. Я хотел бы, чтобы подсчитать число удовлетворяющих назначений для B . То есть я хочу найти количество различных назначений значений истинности для переменных для которых принимает истинное значение. Например, формула имеет три удовлетворяющих назначения; имеет четыре. …
2
Является ли логический Min-Cut NP-Complete?
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Определение логической задачи Min Cut (LMC) Предположим, что G=(V,E)G=(V,E)G = (V, E) - невзвешенный орграф, sss и ttt - две вершины VVV , и ttt достижимо из sss …
2
«NP-complete» задачи оптимизации
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Меня слегка смущает некоторая терминология, с которой я столкнулся в отношении сложности задач оптимизации. В классе алгоритмов у меня была большая проблема скупости, описанная как NP-полная. Однако я …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.