MAC499 - Trabalho de Formatura Supervisionado

Computação Quântica: Complexidade e Algoritmos



Aluno: Marcel Kenji de Carli Silva <magal@ime.usp.br>
Colaborador: Carlos Henrique Cardonha <cardonha@ime.usp.br>
Supervisora: Profa. Dra. Cristina Gomes Fernandes <cris@ime.usp.br>
Tipo de trabalho: Iniciação científica
Título do trabalho: Computação Quântica: Complexidade e Algoritmos
Apoio financeiro: FAPESP
Processo número: 03/13237-7

Resumo

Nesta iniciação científica estudamos o modelo quântico de computação: seus princípios, suas potencialidades, suas limitações do ponto de vista de complexidade computacional e os principais algoritmos conhecidos para o modelo, dentre os quais estão o famoso algoritmo polinomial de Shor para fatoração e o algoritmo de busca de Grover. Para tanto, precisamos fazer incursões em diversas áreas afins, tanto da matemática quanto da ciência da computação, como espaços de Hilbert, fundamentos da mecânica quântica, teoria dos números, álgebra, algoritmos probabilísticos, transformada de Fourier e complexidade computacional. Apresentamos um texto sobre todo o conteúdo estudado. Vale ressaltar a relevância do estudo da computação quântica: a viabilidade prática de um computador quântico poderia quebrar o RSA, o sistema de criptografia de chave pública mais amplamente utilizado atualmente, que se baseia na dificuldade de se fatorar números grandes.


Apontadores


Marcel Kenji de Carli Silva <magal@ime.usp.br>
Segunda-feira, 6 de dezembro de 2004