Questions marquées «interactive-proofs»

2
MIP avec des étalons efficaces
Il est bien connu que l'ensemble des langages ayant des systèmes de preuve interactifs à deux prouveurs, dans lesquels le vérificateur s'exécute en temps polynomial (MIP), est NEXP. Mais existe-t-il des limites connues sur la puissance de ces preuves interactives lorsque les prouveurs sont limités en puissance? Par exemple, quelle …
3
en termes de
Le système de preuve probabiliste est communément appelé une restriction de , où Arthur ne peut utiliser que bits aléatoires et ne peut examiner que bits du certificat de preuve envoyé par Merlin (voir, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( …
2
Paysage des systèmes de preuve interactifs
Ma première question est de savoir si une caractérisation de système de preuve interactive est connue pour toutes les classes de complexité classiques. J'appellerais P, NP, PSPACE, EXP, NEXP, EXPSPACE, les fonctions récursives et récursivement énumérables (entre autres). Plus précisément, une caractérisation de système de preuve interactive est-elle connue pour …
1
L'équivalence de deux définitions d'exhaustivité et de solidité dans les systèmes de preuve interactifs
L'exhaustivité et la solidité des systèmes de preuve interactifs sont définies de manière informelle comme: Exhaustivité: Si une déclaration est vrai, l' honnête prouveur peut convaincre l' honnête vérificateur de ce fait PVT . Solidité: si une déclaration est fausse, le prouveur de fraude ne peut pas convaincre le vérificateur …
3
Merlin peut-il convaincre Arthur d'une certaine somme?
Merlin, qui a des ressources informatiques illimitées, veut convaincre Arthur que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k pour (N,m,k)(N,m,k)(N,m,k) avec k=O(logN)k=O(log⁡N)k=O(\log N) et m=O(N).m=O(N).m=O(N). Le calcul simple de cette somme (exponentiation modulaire et addition) prend du temps N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} avec une multiplication basée sur FFT. * Mais Arthur …
2
Une preuve interactive du nombre de Dieu?
J'ai récemment appris les preuves interactives et je me demandais si le tout n'était rien de plus qu'une curiosité théorique, ou s'il avait des applications pratiques. J'ai pensé commencer par un exemple qui m'est venu sous la douche: Ces derniers temps, la nouvelle a été que "Nombre de Dieu" = …
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.