Если бы кто-то создал универсальный квантовый компьютер, это имело бы какое-то значение для проблемы P против NP?
25
Если бы кто-то создал универсальный квантовый компьютер, это имело бы какое-то значение для проблемы P против NP?
Ответы:
Нет, не будет никаких последствий по нескольким причинам:
Проблема P vs. NP связана с классическим вычислением, а не с квантовым вычислением. Даже если квантовые компьютеры могут решать сложные задачи NP за полиномиальное время (что мы не ожидаем, что они смогут это сделать), все равно может случиться так, что классические компьютеры не смогут решить их за полиномиальное время.
Универсальные квантовые компьютеры, в теоретическом смысле, (насколько мне известно) уже известны. Это всего лишь квантовые аналоги универсальных машин Тьюринга: они могут выполнять любую заданную квантовую «программу».
Как квантовые вычисления, так и проблема P против NP являются теоретическими понятиями. То, что кто-то может построить в физическом мире, не имеет абсолютно никакого отношения к тому, что с ними связано.
Lieuwe Vinkhuijzen дал другую интерпретацию вашего вопроса:
Ожидаемый ответ: нет. Так что даже в этом смысле физические квантовые компьютеры не позволят нам решать NP-полные задачи по своему желанию.
источник
Никаких последствий не известно в любом случае: классическое моделирование квантовых компьютеров ничего не говорит нам о том, насколько сложны проблемы поиска NP; быстрые решения проблем поиска NP ничего не говорят нам о том, как быстро классические компьютеры можно моделировать классически. Возможны следующие сценарии:
В блоге одного влиятельного теоретика, работающего в области квантовых компьютеров, Скотта Ааронсона, есть заголовок « Если вы возьмете только одну часть информации из этого блога: квантовые компьютеры не решат сложные задачи поиска мгновенно, просто попробовав все решения одновременно ».
источник
В одном (считающемся маловероятным) сценарии создание универсального квантового компьютера действительно имело бы последствия для проблемы P против NP.
Это расширяет случай, упомянутый Ювалом Фильмусом, «если бы квантовые компьютеры могли решать NP-сложные задачи за полиномиальное время».
В такой ситуации построение универсального квантового компьютера по сравнению только с теоретическим рассуждением об этом имело бы последствия для проблемы P против NP. Это дало бы возможность просто использовать квантовые компьютеры для поиска / поиска доказательства, которое разрешает P против NP, которое затем может быть проверено классическим компьютером.
Однако, как уже упоминалось в других ответах, хотя нет доказательств, разделяющих BQP и NP-complete, в настоящее время имеются доказательства и ожидания того, что квантовые компьютеры не смогут эффективно решать NP-complete задачи.
источник