Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better

This paper aims to outline the effectiveness of modern universal gate quantum computers when utilizing different configurations to solve the B-SAT (Boolean satisfiability) problem. The quantum computing experiments were performed using Grover’s search algorithm to find a valid solution. The experime...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Entropy (Basel, Switzerland) Ročník 26; číslo 10; s. 875
Hlavní autoři: Bennakhi, Ahmad, Byrd, Gregory T., Franzon, Paul
Médium: Journal Article
Jazyk:angličtina
Vydáno: Switzerland MDPI AG 18.10.2024
MDPI
Témata:
Algorithms
B-SAT
Boolean
Boolean satisfiability problem
Circuits
conjunctive normal form (CNF)
electronic design automation (EDA)
Grover’s search
Logic
Microprocessors
Quantum computers
Quantum computing
Qubits (quantum computing)
Search algorithms
Variables
Nigeria
Ecuador
electronic design automation (EDA)
Boolean satisfiability problem
quantum computing
Grover’s search
closed-box testing
conjunctive normal form (CNF)
B-SAT
ISSN:1099-4300, 1099-4300
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!
Popis
Shrnutí:This paper aims to outline the effectiveness of modern universal gate quantum computers when utilizing different configurations to solve the B-SAT (Boolean satisfiability) problem. The quantum computing experiments were performed using Grover’s search algorithm to find a valid solution. The experiments were performed under different variations to demonstrate their effects on the results. Changing the number of shots, qubit mapping, and using a different quantum processor were all among the experimental variables. The study also branched into a dedicated experiment highlighting a peculiar behavior that IBM quantum processors exhibit when running circuits with a certain number of shots.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:1099-4300
1099-4300
DOI:10.3390/e26100875