В чем разница между квантовой и недетерминированной ТМ?

30

Я проходил дискуссию по вопросу, как определить квантовые машины Тьюринга? и я чувствую, что квантовая ТМ и недетерминированная ТМ - это одно и то же. Ответы на другой вопрос не касаются этого. Являются ли эти две модели одинаковыми?

Если нет,

  1. Каковы различия между квантовой ТМ и НДТМ?
  2. Существуют ли какие-либо вычисления, которые NDTM будет выполнять быстрее, чем Quantum TM?
  3. Если это так, то квант TM - это DTM, тогда почему в этой технологии столько шума, у нас уже так много DTM. Зачем разрабатывать новый DTM?
bongubj
источник
1
«Если это так, то квантовая ТМ является DTM» - откуда это взялось?
Рафаэль

Ответы:

20

Как общая преамбула, QTM, TM и NTM - это разные вещи (принимая огромные свободы с кучей невысказанных предположений).

Я предполагаю, что вы знаете, что такое машина Тьюринга.

  1. NTM - это TM, где в любом состоянии с любым символом функция перехода может иметь несколько вариантов действий, которые точно не равны , то есть или более (детерминированный TM должен иметь ровно одно действие для каждый символ в каждом состоянии, хотя с легко справиться). Столкнувшись с ситуацией, когда существует несколько вариантов перехода, NTM сделает выбор, который в конечном итоге приведет его в состояние принятия, если такая возможность существует. Напротив, QTM - это модель квантовых вычислений, как подробно описано в ветке, которую вы связали. Это не1 1 0010

    недетерминированный, не все. Вероятно, ключевые отличия высокого уровня между QTM и TM состоят в том, что QTM имеет в качестве своего состояния линейную комбинацию базовых состояний (опять же, это все в этом другом потоке) и что он вероятностный, то есть точность его вывода ограничен некоторой вероятностью меньше (в широком смысле). Просто чтобы быть по-настоящему ясным по вопросу, который привлекает многих людей, недетерминизм - это не случайность, это не параллелизм, это теоретическая конструкция, которая не имеет ничего общего ни с одним из них. 1

  2. Полный ответ на это зависит от некоторых теоретических предположений сложности. Принимая определенную точку зрения (что и ), ответ - да. неполные проблемы могут быть решены с помощью NTM за полиномиальное время, и также кажется, что , поэтому они не могут быть решены с помощью QTM за полиномиальное время. Опять же, все это зависит от того, каким образом карты попадают с различными классами сложности. Если окажется, что то ответ, например, нет. N P P N P N P -полный B Q P = Q M A = B Q PQMAВQпNппNпNп-полноеВQпзнак равно

    QMAзнак равноВQп
  3. Первое, что нужно сказать здесь, это быть осторожным с путаницей ТМ (любого рода) и компьютеров. ТМ - это не компьютер, QTM - это не квантовый компьютер. Расчет моделей ТМ (любого рода). То, что может сделать данный компьютер, регулируется этим, но это совсем не то, что я пишу это на ТМ.

    Сказав, что, если мы говорим свободно и лениво отождествляем QTM с квантовыми компьютерами и TM со стандартными компьютерами, то (опять же при определенных допущениях сложности) кажется, что квантовые компьютеры могут быстро выполнять определенные задачи, которые кажутся сложными для стандартных компьютеров (факторинг, дискретные журналы) , действительно определенный тип поиска и несколько других). Однако эти проблемы не известны вН ПNпВ полном смысле этого слова кажется, что квантовые компьютеры предлагают возможности, расширяющие возможности стандартного компьютера, но в направлении, отличном от того, что необходимо для быстрого решения неполных проблем. Nп

Опять же, просто чтобы быть действительно ясным, я здесь упущен из-за большой вычислительной сложности, если вы действительно хотите понять, как все сочетается друг с другом, вам нужно начать изучать литературу.

Люк Мэтисон
источник
Большое спасибо @LukeMathieson. Я постараюсь переварить все и выслать любые вопросы, которые я могу получить.
Bongubj
Рад, что смог помочь. Очевидно, что отсутствует много технических деталей, чтобы понять смысл и интуицию. Статья в Википедии о машинах Тьюринга довольно прилична, чтобы охватить технические детали. Один QTM ужасен, но другой поток в любом случае превосходен. Однако материал QTM может быть немного неясным, если вы еще не прошли курс по пространствам Гильберта или тому подобное.
Люк Мэтисон
3
«недетерминизм - это не случайность, это не параллелизм, это теоретическая конструкция, которая не имеет ничего общего ни с одним из них». - это, наверное, ключевое предложение здесь.
Рафаэль
13

О значении недетерминизма

Здесь есть два разных значения «недетерминизма». Квантовая механика обычно описывается как «недетерминированная», но слово «недетерминированный» используется в теоретической информатике специальным образом.

  1. Одно значение, которое применимо к квантовой механике, просто «не детерминировано ». Обычно это разумный способ интерпретации слова, и на самом деле ни квантовые машины Тьюринга, ни даже вероятностные машины Тьюринга не являются детерминированными в том, как они решают задачи решения.

  2. Однако при описании моделей вычислений недетерминированный используется специально для обозначения того, что машина может (в некотором смысле) делать выбор, который не определяется ее состоянием или входом, для достижения конкретной цели. Это значение используется в других местах при описании моделей вычислений, таких как недетерминированные конечные автоматы .

Итак, квантовые машины Тьюринга - это модель вычислений, которая не является детерминированной, но отличается от « недетерминированной машины Тьюринга ».

Недетерминированные машины Тьюринга

Недетерминированная машина Тьюринга - это машина, которая может исследовать множество возможных переходов. Переход, который он делает на данном шаге, зависит, но не определяется, состоянием, в котором он находится, и символом, который он читает. Есть два способа, которыми это обычно представлено:

  • Специально для целей определения класса сложности NP можно описать машину как делающую выбор (или предположения) на каждом шаге, чтобы попытаться достичь принимающего состояния. Если вы думаете о том, что делает недетерминированная машина, как об исследовании дерева решений, она ищет приемлемый путь в дереве. Хотя нет описанного механизма, который бы подсказывал, как найти такой путь, мы представляем, что он найдет приемлемый путь, даже если он существует.

  • Также довольно часто говорят, что недетерминированная машина исследует все возможные пути в дереве решений параллельно и дает ответ «да», если какой-либо из них оказывается приемлемым путем.

Более современные методы недетерминизма также учитывают не только существование, но и количество принимающих путей; и это хорошо подходит для описания параллельного изучения всех путей. Мы можем наложить дополнительные ограничения, например, что все вычислительные пути имеют одинаковую длину (что машине всегда требуется одинаковое количество времени для выполнения вычислений) и что каждый путь выполняет предположение на каждом шаге или на каждом втором шаге, даже если предположение не используется. Если мы сделаем это, мы сможем сформулировать вероятностные модели вычислений, такие как случайные машины Тьюринга (классы мотивирующей сложности, такие как BPP ), в терминах числапринятия путей недетерминированной машины Тьюринга. Мы также можем перевернуть это и описать недетерминированные машины Тьюринга в терминах рандомизированных компьютеров, которые могут каким-то образом отличать результаты с нулевой вероятностью от тех, которые имеют ненулевую вероятность.

Квантовые машины Тьюринга

Основное различие между квантовой машиной Тьюринга и недетерминированной заключается в следующем: вместо недетерминированного «выбора» одного перехода из двух или более на каждом шаге, квантовая машина Тьюринга осуществляет переход в суперпозицию одного или нескольких возможных переходов. Полное состояние машины определяется как единичный вектор в сложном векторном пространстве, определяемый линейными комбинациями базовых состояний, описываемых классическими состояниями ленты, положением головки машины и «внутренним состоянием» головки машины. , (См., Например, стр. 9, определение 3.2.2, квантовой теории сложностидля полного описания того, как квантовые машины Тьюринга совершают переходы.) Условие, при котором квантовая машина Тьюринга принимает входные данные, также является более ограничительным и по своей природе включает в себя вероятность, требующую существенной вероятности наблюдения правильного результата для достижения успеха.

В результате квантовые машины Тьюринга отличаются от недетерминированных машин тем, что способы их переходов не являются полностью неопределенными. Даже если переход «кажется загадочным», это также эволюция того же рода со временем, что, как указывает наша лучшая теория материи, происходит в реальном мире. Хотя обычно квантовые компьютеры описывают как «параллельное исследование различных вычислительных путей», это делать не особенно полезно: амплитуды на разных путях означают, что они не все имеют одинаковое значение, и в отличие от недетерминированных машин Тьюринга, это недостаточно иметь ненулевую амплитуду для какого-либо результата; должна быть возможность получить очень большую вероятность получения правильного результата, например 2/3. (Класс задач BQPкоторую может эффективно решить квантовая машина Тьюринга, требует разрыва вероятности того же рода, что и BPP для рандомизированных вычислений.) Кроме того, очень сильно в отличие от недетерминированных машин Тьюринга, квантовая машина Тьюринга может создавать помехи друг другу после их разделения , что просто невозможно в типичной формулировке недетерминированной машины Тьюринга (и это делает описание в терминах дерева решений в первую очередь менее полезным).

Сравнивая две модели

Мы не знаем, является ли одна из этих машин более мощной, чем другая; различные способы их недетерминированности кажутся отличными друг от друга, и их трудно сравнивать.

Что касается проблем, которые каждая машина может быстро решить, то, что другая не может (насколько мы знаем):

  • Мы не знаем, каким образом квантовая машина Тьюринга могла бы быстро решить проблему СООТВЕТСТВИЯ . Недетерминированная машина Тьюринга может, легко.
  • Работа Ааронсона и Архипова ( «Вычислительная сложность линейной оптики» ) предполагает, что недетерминированные машины Тьюринга вряд ли смогут эффективно моделировать некоторые эксперименты по линейной оптике, которые могли бы быть смоделированы квантовой машиной Тьюринга.

Но даже если кто-то показывает, как связать два вида машин друг с другом - и даже в крайне маловероятном сценарии, когда кто-то показывает, что BQP  =  NP (проблемы, которые могут быть решены квантовой машиной Тьюринга и недетерминированной машиной Тьюринга, соответственно) ) - две машины, которые определяют эти модели вычислений, сильно отличаются друг от друга.

Ниль де Бодрап
источник
Не нужно бояться не соглашаться! Я определенно выбрал упрощенный подход, чтобы было ясно, что между разными машинами есть различия. Единственное, что я хотел бы добавить к тому, что вы сказали, это то, что я по-прежнему утверждаю, что случайность - это не то же самое, что недетерминизм - вы можете определить (например) BPP, используя недетерминизм, но также и с очень конкретными условиями, и вы можете легко определить его в том же духе с детерминированными машинами (то, что вы не можете сделать для NP, NEXP и т. д., вы должны переключиться на проверку, а не на вычисления).
Люк Мэтисон
1
Вторая часть заключается в том, что я считаю концепцию недетерминизма вводящим в заблуждение вводящим в заблуждение (хотя раньше я тоже так думал). Это нормальная концепция, если учесть, что на самом деле она не имеет отношения к чему-то вроде «настоящего» параллелизма. Обычная недетерминированная машина может эффективно моделировать экспоненциальное количество детерминированных машин (если вам нужно только получить правильный ответ, не глядя на все пути вычислений, а разница между NP и #P довольно велика). Так что идея о том, что он проверяет все пути параллельно, закрывает глаза.
Люк Мэтисон
Надеюсь, вы будете рады заполнить разумные детали, эти комментарии слишком короткие! ;)
Люк Мэтисон
@LukeMathieson: Я на самом деле не уверен в том, что вы получаете с вашими комментариями, поскольку я действительно хочу отличить «вычислительный недетерминизм» от случайности, четко описать грубый вид параллельного исследования машины NP, который может быть сказал делать и так далее. Можете ли вы уточнить, что, по вашему мнению, следует добавить?
Ниль де Бодрап,
О, я не думаю, что что-то нужно менять в том, что вы сказали, я просто пытался (не смог?) Добавить комментарий, который мог бы помочь указать на некоторые интересные аспекты недетерминизма и его взаимосвязи с другими вычислительными идеями.
Люк Мэтисон