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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Applied soft computing Jg. 132; S. 109844
Hauptverfasser:	Zidan, Mohammed, Hegazy, Salem F., Abdel-Aty, Mahmoud, Obayya, Salah S.A.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.01.2023
Schlagworte:	Logical equivalence Quantum algorithms Quantum computing Quantum verification Quantum algorithms Quantum computing Logical equivalence Quantum verification
ISSN:	1568-4946
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!