Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Quantum Computing: PTime ⊂ QPTime<br />
Idea: <strong>La</strong> macchina può essere contemporaneamente in piú stati: par<strong>alle</strong>lismo<br />
quantistico<br />
Algoritmo Deutsch-Jozsa<br />
Determinare se una funzione su n-bits f : {0,1} n → {0,1} è costante o<br />
bilanciata<br />
Classico: richiede 2 n +1 tests<br />
Quantistico: sovrapposizione <strong>di</strong> n+1 qbit: se bilanciata, i contributi<br />
positivi e negativi delle ampiezze <strong>di</strong> elidono! ...è in QPTime<br />
Tesi <strong>di</strong> Church-<strong>Turing</strong> rivisitata?<br />
Ogni sistema fisico finitamente realizzabile può essere simulato da<br />
un modello <strong>di</strong> macchina computazionale universale che opera con<br />
mezzi finiti<br />
Shor 1994 ha <strong>di</strong>mostrato che Prime ∈ QPTime!!<br />
Problema principale: QPTime ? = NPTime?<br />
Mathesis: Verona - 10.03.2012 – p.54/56