Sistemas interativos de prova clássicos e quânticos (2006)
- Authors:
- Autor USP: CARDONHA, CARLOS HENRIQUE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: COMPUTABILIDADE E COMPLEXIDADE
- Language: Português
- Abstract: Baseando-se em discussões relacionadas a simulações de sistemas quânticos, Feunman sugeriu na década de 80 a construção de computadores que pudessem explorar as características quânticas da natureza. A conseqüência disso foi o início do desenvolvimento da teoria de computação quântica, que consiste num modelo de computação possivelmente mais poderoso que o modelo clássico. O algoritmo de Shor para a fatoração de inteiros reforçou as suspeitas a respeito da superioridade desse modelo. No mesmo período, um novo conjunto de ferramentas foi desenvolvido dentro da teoria de complexidade computacional. Os sistemas intertivos de prova foram introduzidos na década 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 quântico de computação. Esta dissertação apresenta alguns desses resultados com o intuito de evidenciar algumas das potenciais diferenças entre os modelos quântico e clássico de computação.
- Imprenta:
- Data da defesa: 11.09.2006
-
ABNT
CARDONHA, Carlos Henrique. Sistemas interativos de prova clássicos e quânticos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-09112020-192503/. Acesso em: 06 maio 2024. -
APA
Cardonha, C. H. (2006). Sistemas interativos de prova clássicos e quânticos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-09112020-192503/ -
NLM
Cardonha CH. Sistemas interativos de prova clássicos e quânticos [Internet]. 2006 ;[citado 2024 maio 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-09112020-192503/ -
Vancouver
Cardonha CH. Sistemas interativos de prova clássicos e quânticos [Internet]. 2006 ;[citado 2024 maio 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-09112020-192503/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
