Rapid solution of logical equivalence problems by quantum computation algorithm

We present a quantum computation algorithm that enables solving the problem of logical equivalence verification in exponentially less time than the classical deterministic computation. In this novel quantum algorithm, the oracles of the two evaluated functions are executed in series to yield a commo...

Celý popis

Podrobná bibliografia

Vydané v:	Applied soft computing Ročník 132; s. 109844
Hlavní autori:	Zidan, Mohammed, Hegazy, Salem F., Abdel-Aty, Mahmoud, Obayya, Salah S.A.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.01.2023
Predmet:	Logical equivalence Quantum algorithms Quantum computing Quantum verification Quantum algorithms Quantum computing Logical equivalence Quantum verification
ISSN:	1568-4946
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!