Was ist bei der Quantenberechnung das äquivalente Modell einer Turing-Maschine? Mir ist ziemlich klar, wie Quantenschaltungen aus Quantentoren aufgebaut werden können, aber wie können wir eine Quantenturingmaschine (QTM) definieren, die tatsächlich von Quanteneffekten profitieren kann, nämlich auf hochdimensionalen Systemen arbeiten?
52
Antworten:
( Anmerkung : Die vollständige Beschreibung ist etwas komplex und enthält einige Feinheiten, die ich am liebsten ignoriert habe. Nachfolgend sind nur die allgemeinen Ideen für das QTM-Modell aufgeführt.)
Wenn man eine Quantum Turing-Maschine (QTM) definiert, möchte man ein einfaches Modell haben, das dem klassischen TM ähnelt (dh eine Finite-State-Maschine plus ein unendliches Band), aber dem neuen Modell den Vorteil der Quantenmechanik gewähren.
Ähnlich wie das klassische Modell hat QTM:
Das Interessante ist, dass jeder "Schritt" des QTM-Zustands eine Überlagerung möglicher Konfigurationen ist, was dem QTM den "Quanten" -Vorteil gibt.
Die Antwort basiert auf Masanao Ozawa, Über das Halteproblem von Quantenturniermaschinen . Siehe auch David Deutsch, Quantentheorie, das Church-Turing-Prinzip und den universellen Quantencomputer .
quelle
Wie aus den Anmerkungen hervorgeht, besteht die Definition eines QTM darin, die Übergangsfunktion als eine einheitliche Transformation von Zustand und Buchstabe zu definieren. In jedem Schritt stellen Sie sich vor, Sie multiplizieren den Vektor (Zustand, Buchstabe) mit einer Transformation, um einen neuen (Zustand, Buchstabe) zu erhalten. Es ist nicht besonders praktisch, aber es kann definiert werden.
quelle