• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Disertación de Maestría
DOI
https://doi.org/10.11606/D.45.2006.tde-09112020-192503
Documento
Autor
Nombre completo
Carlos Henrique Cardonha
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2006
Director
Tribunal
Fernandes, Cristina Gomes (Presidente)
Kohayakawa, Yoshiharu
Moura, Arnaldo Vieira
Título en portugués
Sistemas interativos de prova clássicos e quânticos
Palabras clave en portugués
Complexidade computacional
Computação quântica
Teoria da computação
Resumen en portugués
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.
Título en inglés
Classic and quantum interactive proof systems
Palabras clave en inglés
Computational complexity
Quantum computing
Theory of computation
Resumen en inglés
Based on discussion related to quantum system simulations, Feynman suggested in the 80s the construction of computers that would explore the quantum features of nature. As a result, it was developed the theory of quantum computing, which consists in a possibly more powerful model of computation than the classical model. Shor's algorithm for integer number factorization enhanced the suspicion about the superiority of this model. In the same period, a new set of tools was developed within the computational complexity theory. The interactive proof systems were introduced in the 80s, and with them many important results were obtained, as the PCP theorem. Recently, some new results involving interactive proof systems and quantum computing were presented. This dissertation shows some of these results to make comparisons between the quantum and the classic model of computation.
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
MESTRADO_CARDONHA.PDF (656.42 Kbytes)
Fecha de Publicación
2021-06-14
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2021. Todos los derechos reservados.