Acesso mais rápido do que o navegador!
9 relações: Cambridge University Press, Classe de complexidade, Complexidade computacional, Madhu Sudan, Máquina de Turing, Máquina oráculo, Problema de decisão, Prova de conhecimento zero, Sistema de prova interativa.
Cambridge University Press
Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.
Novo!!: Protocolo de Arthur-Merlin e Cambridge University Press · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: Protocolo de Arthur-Merlin e Classe de complexidade · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Protocolo de Arthur-Merlin e Complexidade computacional · Veja mais »
Madhu Sudan
Madhu Sudan (மதுசூதன்) (Chenai) é um informático indiano.
Novo!!: Protocolo de Arthur-Merlin e Madhu Sudan · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Protocolo de Arthur-Merlin e Máquina de Turing · Veja mais »
Máquina oráculo
Em teoria da computação, uma máquina oráculo é uma máquina abstrata usada para estudar problemas de decisão.
Novo!!: Protocolo de Arthur-Merlin e Máquina oráculo · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Protocolo de Arthur-Merlin e Problema de decisão · Veja mais »
Prova de conhecimento zero
Em criptografia, uma prova de conhecimento zero ou protocolo de conhecimento zero é um método pelo qual uma parte (o provador) pode provar à outra parte (o verificador) que uma determinada afirmação é verdadeira, sem transmitir qualquer informação além do fato de que a afirmação é realmente verdadeira.
Novo!!: Protocolo de Arthur-Merlin e Prova de conhecimento zero · Veja mais »
Sistema de prova interativa
Na teoria da complexidade, um sistema de prova interativa é uma máquina abstrata que formula computação como a troca de mensagens entre duas partes.
Novo!!: Protocolo de Arthur-Merlin e Sistema de prova interativa · Veja mais »
