Есть ли какие-либо ссылки на это?
25
Есть ли какие-либо ссылки на это?
Помимо того, что подразумевается NP = co-NP, это также подразумевает, что BQP содержит NP.
Казалось бы, также подразумевалось, что сложные примеры NP-полных проблем было легко генерировать.
Поскольку известно, что целочисленная факторизация существует как в NP, так и в co-NP , доказательство того, что она является NP- полной, подразумевает NP = co-NP , что считается крайне маловероятным.
В этом старом сообщении есть интересное обсуждение Лэнсом Фортнау .