Trabalho de Conclusão de Curso (TCC)

URI Permanente desta comunidade

Agora exibindo 1 - 1 de 1

Implementação de algoritmos quânticos para a resolução do problema NP-completo da satisfatibilidade
Almeida, Caroline Nagy de (2019-06)
Escola de Engenharia (EE)
A Computação Quântica surgiu na década de 70 quando físicos questionaram se os principais fundamentos relacionadas a ciência da computação e teoria da informação poderiam ser resolvidas aplicando-se o estudo de sistemas quânticos. Com o intuito de aplicar a teoria da Mecânica Quântica para descrever um conceito abrangente em relação a Máquina de Turing Clássica, a Computação Quântica permite desenvolver, utilizando essas técnicas, algoritmos mais rápidos comparados aos algoritmos desenvolvidos nos computadores clássicos. A partir disto, a Computação Quântica foi amplamente desenvolvida para a solução de problemas de busca e de decisão, usando esse tipo de solução para fornecer uma resposta rápida á problemas NP-Completo. A Satisfatibilidade é o primeiro problema NP-Completo, demonstrado por Stephen Cook, a ser classificado como o mesmo, a partir dele, é possível desenvolver todos os problemas NP-Completos para a computação. Nesta dissertação, é estudada as classes de Satisfatibilidade e seus tempos de execução, utilizando recursos da álgebra linear e classes algorítmicas da computação clássica e da computação quântica, levando a resultados que condizem com o uso da computação quântica para o aprimoramento de tais processos.