Questions marquées «pcp»

Des preuves probabilistes vérifiables






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( …

1
Maintenir l'ordre dans une liste en
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel élément delete: donne …



1
Problème technique avec la preuve du théorème PCP
Je lis la preuve d' ici et je suis tombé sur un problème technique (pourtant crucial). Je sais que c'est assez spécifique et le contexte est problématique, mais je n'ai pas pu le comprendre moi-même. Aux pages 51 et 55, après avoir présenté les vérificateurs "standard", ils se tournent pour …

1
Théorème du PCP - Étape de réduction de l'alphabet
Ce qui suit peut sembler stupide (et cela reflète probablement ma mauvaise compréhension - alors soyez patient avec moi) J'avais une requête sur le théorème du PCP. Nous savons qu'après les trois premières étapes, à savoir. Réduction de degré, expansion et amplification de l'écart, nous avons un graphe de contraintes …



1
Une explication purement théorique de la réduction de la couverture d'étiquette unique à Max-Cut
J'étudie la Conjecture Unique Games et la fameuse réduction à Max-Cut de Khot et al. À partir de leur article et ailleurs sur Internet, la plupart des auteurs utilisent (ce qui pour moi est) une équivalence implicite entre la réduction MAX-CUT et la construction de tests particuliers pour les codes …

1
Connexion entre PCP et L = SL
Le livre d'Arora et Barak contient des notes de chapitre sur PCP Nous notons que la stratégie générale de Dinur rappelle quelque peu la construction en zig-zag des graphiques d'extension et l'algorithme déterministe de l'espace de journalisation de Reingold pour la connectivité non dirigée décrit au chapitre 20, ce qui …

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.