2015-03-15 7 views
1

это мой первый вопрос на этом сайте.Некоторые выводы о NP

Я недавно изучал NP. У меня есть путаница в этой теме, и я хочу предложить мой вывод, а кто-то проверяет меня.

I) каждая проблема NP может быть решена в Экспоненциальном времени.

II) если P = NP, то NP = NP-Complete.

III) Проблема факторизации в 2-простой коэффициент, NP.

IV), если проблема X может свести к известной проблеме NP-Hard, тогда X должен быть NP-HARD.

каждый может проверить мой вывод и узнать меня?

+3

Добро пожаловать в StackOverflow! К сожалению, ваш вопрос [кажется, вне темы] (http://stackoverflow.com/help/on-topic), существует конкретная [компьютерная наука SE] (http://cs.stackexchange.com/), где [модели вычислений по теме] (http://cs.stackexchange.com/help/on-topic). – Zeta

+0

@Zeta, будьте добры с людьми –

+0

@MinoJende Комментарий о «добро пожаловать в SOF» был мягко сформулирован и предназначен для того, чтобы быть полезным/информативным. – javadba

ответ

0

I) каждая задача NP может быть решена в экспоненциальное время.

Да, это потому, что оно может быть разрешено в полиномиальное время на Non Determinisitc Machine (определение NP) и, таким образом, может быть разрешено на детерминированной машине в экспоненциальном времени.

II) если P = NP, то NP = NP-Complete.

Да, потому что если P = NP, ответы «да» и «нет» для всех проблем NP аналогично легко достижимы, запустите алгоритм полиномиального времени для проблемы «да» и ответьте так. Результат всегда правильный и выполняется в полиномиальное время, предполагая, что такая машина полиномиального времени существует.

III) Проблема факторизации в 2-простой коэффициент, NP.

Да. Учитывая число и его первичную факторизацию - легко проверить, является ли это правильным ответом (это эквивалентное определение проблемы в NP).

IV), если проблема X может привести к известной проблеме NP-Hard, тогда X должен быть NP-HARD.

Нет, это должно быть наоборот. Вам нужно уменьшить известную проблему NP-Hard до X, а затем вы можете пометить X как NP-Hard.
Помните, что каждая проблема в NP имеет сокращение до SAT (Cook Levin theorem), и все же P! = NP-Complete (или, как мы думаем, по крайней мере)

+0

Пожалуйста, объясните, пожалуйста, последнее, почему бы не уменьшить проблему до известного NP? – javadba

+0

@javadba Чтобы определить, что X - NP-Hard, вам нужно показать сокращение от NP-Hard проблемы до X, а не наоборот. – amit

+0

Я попросил объяснение PLS (не повторение ранее заявленной информации). thx – javadba

 Смежные вопросы

  • Нет связанных вопросов^_^