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á bibliografie

Vydáno v:	Applied soft computing Ročník 132; s. 109844
Hlavní autoři:	Zidan, Mohammed, Hegazy, Salem F., Abdel-Aty, Mahmoud, Obayya, Salah S.A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.01.2023
Témata:	Logical equivalence Quantum algorithms Quantum computing Quantum verification Quantum algorithms Quantum computing Logical equivalence Quantum verification
ISSN:	1568-4946
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!