Ruiz, Ricardo G. M. S.; Gomes, Gabriel A. R. (2024-12-06)
Faculdade de Computação e Informática (FCI)
The expansion of theoretical and practical studies of quantum soluti ons has become notable in recent years. Based on this growth, this meta-article
aims to not only investigate the state-of-the-art strategies of quantum circuits for solving the classical and costly satisfiability problem but also to present a practical solution proposal through the design, construction, and execution of a quantum circuit. The main methodology involves the application of Grover’s algorithm to perform an exhaustive search among the possible solutions, imple mented using the Qiskit library. The proposed approach aims to demonstrate the satisfactory and unsatisfactory solutions of a given Boolean expression in con junctive normal form (CNF). Furthermore, it presents the results and discusses their empirical validity through a comparison with pre-programmed abstracti ons from the aforementioned library, and then proves its robustness using a truth table.
