Uma proposta de solução do problema 3-SAT em computação quântica usando Qiskit
Carregando...
Tipo
TCC
Data de publicação
2024-12-06
Periódico
Citações (Scopus)
Autores
Ruiz, Ricardo G. M. S.
Gomes, Gabriel A. R.
Gomes, Gabriel A. R.
Orientador
Bianchini, Calebe P.
Título da Revista
ISSN da Revista
Título de Volume
Membros da banca
Programa
Resumo
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.
A expansão do estudo teórico e prático de soluções quânticas tornou se notável nos últimos anos. Com base nesse crescimento mencionado, este meta-artigo tem como objetivo investigar não somente o estado da arte de estra tégias de circuitos quânticos para solucionar o clássico e dispendioso problema da satisfabilidade mas como também apresentar uma proposta de resolução de forma prática, através da diagramação, construção e execução de um circuito quântico. O trabalho utiliza como metodologia principal uma aplicação do algoritmo de Grover, a fim de realizar uma busca exaustiva dentre as possibi lidades possíveis, codificado com a biblioteca qiskit. A proposta apresentada visa mostrar as soluções satisfatórias e não satisfatórias de uma dada expres são booleana em forma normal conjuntiva. Além disso, apresenta os resultados e discute sua validade empírica através de uma comparação com abstrações pré-programadas da biblioteca citada anteriormente, e então comprovar sua solidez a partir de uma tabela verdade.
A expansão do estudo teórico e prático de soluções quânticas tornou se notável nos últimos anos. Com base nesse crescimento mencionado, este meta-artigo tem como objetivo investigar não somente o estado da arte de estra tégias de circuitos quânticos para solucionar o clássico e dispendioso problema da satisfabilidade mas como também apresentar uma proposta de resolução de forma prática, através da diagramação, construção e execução de um circuito quântico. O trabalho utiliza como metodologia principal uma aplicação do algoritmo de Grover, a fim de realizar uma busca exaustiva dentre as possibi lidades possíveis, codificado com a biblioteca qiskit. A proposta apresentada visa mostrar as soluções satisfatórias e não satisfatórias de uma dada expres são booleana em forma normal conjuntiva. Além disso, apresenta os resultados e discute sua validade empírica através de uma comparação com abstrações pré-programadas da biblioteca citada anteriormente, e então comprovar sua solidez a partir de uma tabela verdade.
Descrição
Indicado para publicação.
Palavras-chave
sem palavras chave