A vezérelt cserekapu, más néven Fredkin-kapu, a reverzibilis számítás alapvető kapuja, amely felhasználható az ÉS-kapu reverzibilis módon történő kiszámítására. A reverzibilis számítás egy számítási paradigma, ahol minden művelet reverzibilis, ami azt jelenti, hogy a bemenet egyedileg rekonstruálható a kimenetből. Ez ellentétben áll a klasszikus számítással, ahol gyakoriak az irreverzibilis műveletek.
Annak megértéséhez, hogy a vezérelt cserekapu hogyan használható az ÉS kapu reverzibilis kiszámítására, először vizsgáljuk meg a vezérelt cserekapu viselkedését. A vezérelt swap kapu három qubitet vesz fel bemenetként: két vezérlő qubitet és egy cél qubitet. Ha az első vezérlő qubit |1⟩ állapotban van, felcseréli a második vezérlő qubit és a cél qubit állapotát. Ellenkező esetben az államokat változatlanul hagyja.
A vezérelt cserekapu igazságtáblázata a következő:
| 1. ellenőrzés | 2. ellenőrzés | cél | teljesítmény |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 |
Most nézzük meg, hogyan használhatjuk a vezérelt swap kaput az ÉS kapu reverzibilis kiszámítására. Az ÉS kapu két bemeneti bitet vesz fel, és 1-et ad ki, ha mindkét bemeneti bit 1, egyébként pedig 0. A reverzibilis számításnál gondoskodnunk kell arról, hogy a bemeneti bitek egyedileg rekonstruálhatók legyenek a kimeneti bitekből.
Az ÉS kapu vezérelt cserekapu segítségével történő kiszámításához a vezérelt cserekapu első vezérlő qubitjét a két bemeneti bit logikai ÉS értékére állíthatjuk, a második vezérlő qubitet és a cél qubitet pedig magukra a bemeneti bitekre. A vezérelt cserekapu kimenete ekkor az ÉS kapu eredménye lesz, és a bemeneti bitek egyedileg rekonstruálhatók a kimeneti bitekből.
Íme egy példaáramkör, amely bemutatja, hogyan használható a vezérelt cserekapu az ÉS kapu kiszámításához:
┌───┐
q_0: ┤ H ├───────■───────
├───┤ │
q_1: ┤ H ├───────┼───────
├───┤ │
q_2: ┤ X ├──■────┼───────
├───┤ │ │
q_3: ┤ X ├──┼────┼───────
└───┘┌─┴─┐┌─┴─┐┌───┐
q_4: ─────┤ X ├┤ X ├┤ X ├
└───┘└───┘└───┘
Ebben az áramkörben q_0 és q_1 a bemeneti bitek, és q_4 a kimeneti bitek. A H kapuk Hadamard kapuk, amelyek a qubiteket állapotok szuperpozíciójába helyezik. Az X kapuk Pauli-X kapuk, amelyek megfordítják a qubit állapotát. A vezérelt cserekaput az "X"-el jelölt dobozok képviselik az áramkörben.
Ha ezt az áramkört alkalmazzuk a bemeneti bitekre, akkor az ÉS kaput reverzibilisen tudjuk kiszámítani, a q_4 kimeneti bit tartalmazza az ÉS művelet eredményét. A q_0 és q_1 bemeneti bitek egyedileg rekonstruálhatók a q_4 kimeneti bitből, így ez a számítás megfordítható.
A vezérelt cserekapu használható az ÉS kapu reverzibilis módon történő kiszámítására úgy, hogy az első vezérlő qubitet a bemeneti bitek logikai ÉS értékére állítja, és a második vezérlő qubitet és a cél qubitet használja maguknak a bemeneti biteknek a megjelenítésére. A vezérelt cserekapu kimenete ekkor az ÉS kapu eredménye lesz, és a bemeneti bitek egyedileg rekonstruálhatók a kimeneti bitekből.
További friss kérdések és válaszok ezzel kapcsolatban Vizsga felülvizsgálat:
- Miért fontos megőrizni az összes kimeneti bitet, beleértve a "szemét" biteket is, egy reverzibilis áramköri ábrázolásban, és hogyan kapcsolódik ez a kvantummechanika alapelveihez?
- Hogyan építhető fel a NAND kapu a vezérelt cserekapu és a NOT gate segítségével, és hogyan teszi lehetővé reverzibilis áramkörök építését?
- Hogyan tekinthető az XOR-kapu megfordíthatónak, és miért nem megfordítható az ÉS-kapu?
- Mi a reverzibilitás fogalma a kvantumáramkörökben, és miért fontos ez a kvantumszámításban?

