skip to main content

Sistemas interativos de prova clássicos e quânticos

Cardonha, Carlos Henrique

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11

Online access. The library also has physical copies.

  • Title:
    Sistemas interativos de prova clássicos e quânticos
  • Author: Cardonha, Carlos Henrique
  • Supervisor: Fernandes, Cristina Gomes
  • Subjects: Complexidade Computacional; Computação Quântica; Teoria Da Computação; Computational Complexity; Quantum Computing; Theory Of Computation
  • Notes: Dissertação (Mestrado)
  • Description: Baseando-se em discussoes relacionadas a simulacao de sistemas quanticos, Feynman sugeriu na decada de 80 a construcao de computadores que pudessem explorar as caracteristicas quanticas da natureza. A consequencia disso foi o inicio do desenvolvimento da teoria de computacao quantica, que consiste num modelo de computacao possivelmente mais poderoso que o modelo classico. O algoritmo de Shor para fatoracao de inteiros reforcou as suspeitas a respeito da superioridade desse modelo. No mesmo periodo, um novo conjunto de ferramentas foi desenvolvido dentro da teoria de complexidade computacional Os sistemas interativos de prova foram introduzidos na decada de 80 e, com eles, muitos resultados importantes foram obtidos, como o teorema PCP. Recentemente, surgiram alguns novos resultados envolvendo sistemas interativos de prova e o modelo qsuantico de computacao. Esta dissertacao apresenta alguns desses resultados com o intuito de evidenciar algumas das potenciais diferencas entre os modelos quanticos e classico de computacao.
  • DOI: 10.11606/D.45.2006.tde-09112020-192503
  • Publisher: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística
  • Creation Date: 2006-09-11
  • Format: Adobe PDF
  • Language: Portuguese

Searching Remote Databases, Please Wait