Oberäkning

Skapa en logisk konjunktion av de fem kontrollerna av Toffoli-portar och ancillabitar. Uncomputation används för att återställa ancillabitarna till deras ursprungliga tillstånd innan de avslutas.

Uncomputation är en teknik, som används i reversibla kretsar, för att rensa upp tillfälliga effekter på ancillabitar så att de kan återanvändas.

Uncomputation är ett grundläggande steg i kvantberäkningsalgoritmer . Huruvida mellaneffekter har varit outräknad eller inte påverkar hur tillstånd interfererar med varandra vid mätning av resultat.

Processen motiveras i första hand av principen om implicit mätning, som säger att att kassera ett register under beräkning är fysiskt likvärdigt med att mäta det. Underlåtenhet att ta reda på sopregister kan få oavsiktliga konsekvenser. Till exempel, om vi tar tillståndet ${\displaystyle }$${\frac {1}{\sqrt {2}}}(|0\ rangle |g_{0}\rangle +|1\rangle |g_{1}\rangle )$ där $g_{0}$ och $g_{1}$ är skräpregister. Sedan, om vi inte tillämpar några ytterligare operationer på dessa register, enligt principen om implicit mätning, har det intrasslade tillståndet mätts, vilket resulterar i en kollaps till antingen $|0\rangle |g_{0}\rangle$ eller $|1\rangle |g_{1}\rangle$ med sannolikhet ${\frac {1}{2}}$ . Det som gör detta oönskat är att vågfunktionskollaps inträffar innan programmet avslutas, och därför kanske inte ger det förväntade resultatet.