Questions marquées «interactive-proofs»

Erreurs unilatérales dans les systèmes de preuve probabilistes

Dans la plupart des systèmes de preuve probabilistes (théorème PCP, par exemple), les probabilités d'erreur sont généralement définies du côté des faux positifs, c'est-à-dire qu'une définition typique pourrait ressembler à: si alors le vérificateur accepte toujours, mais dans les autres cas, la probabilité de rejet est d'au moins 1/2.x ∈ …

10 cc.complexity-theory pcp interactive-proofs

Une preuve interactive pour HORN-SAT?

Existe-t-il un moyen pour un prouveur de convaincre un vérificateur qu'une expression HORN-SAT est satisfaisable? Bien sûr, cela peut sembler idiot, car il existe des algorithmes de temps linéaires pour HORN-SAT. D'un autre côté, HORN-SAT est P-complet, ce qui signifie qu'il n'a pas d'algorithmes d'espace de log à moins que …

10 cc.complexity-theory interactive-proofs zero-knowledge

Des épreuves interactives via la post-sélection?

Définissez le modèle de calcul MPostBQP comme étant identique à PostBQP, sauf que nous autorisons de nombreuses mesures de qubit polynomiales avant la post-sélection et la mesure finale. Pouvons-nous fournir des preuves indiquant que MPostBQP est plus puissant que PostBQP? Définissez MPostBQP [k] pour autoriser plusieurs cycles de mesure et …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

propriétés de fermeture de IP (2pfa) et AM (2pfa)

IP (2pfa) et AM (2pfa) sont les classes de langues reconnues avec erreur bornée par les versions de pièces privées et publiques, respectivement, des systèmes de preuve interactifs avec des vérificateurs qui sont des automates finis probabilistes avec une tête d'entrée bidirectionnelle. Des propriétés de fermeture de ces classes sont-elles …

9 cc.complexity-theory interactive-proofs

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.