Uma proposta de solução do problema 3-SAT em computação quântica usando Qiskit

Página do item simplificado
dc.contributor.advisorBianchini, Calebe P.
dc.contributor.authorRuiz, Ricardo G. M. S.
dc.contributor.authorGomes, Gabriel A. R.
dc.date.accessioned2025-03-17T13:34:49Z
dc.date.available2025-03-17T13:34:49Z
dc.date.issued2024-12-06
dc.descriptionIndicado para publicação.
dc.description.abstractThe 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.
dc.description.abstractA 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.
dc.identifier.urihttps://dspace.mackenzie.br/handle/10899/40160
dc.languagept_BR
dc.publisherUniversidade Presbiteriana Mackenzie
dc.subjectsem palavras chave
dc.titleUma proposta de solução do problema 3-SAT em computação quântica usando Qiskit
dc.typeTCC
local.publisher.departmentFaculdade de Computação e Informática (FCI)
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
76-2024.2 -Ricardo G. M. S. Ruiz1- GABRIEL A.R.GOMES.pdf
Tamanho:
386.4 KB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
2.22 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar
Coleções
Ciência da Computação - TCC - FCI Higienópolis