Informatique théorique pcp

11

Quelles sont les bonnes références pour comprendre la preuve du théorème PCP?

Je connais pas mal de résultats qui utilisent le théorème PCP (principalement dans l'approximation d'algorithmes), mais je n'ai jamais trouvé d'explication claire du théorème PCP (c'est-à-dire que ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Quels sont les bons papiers / livres à lire pour cela?

64 cc.complexity-theory reference-request pcp

1

Existe-t-il un type de résultat d'amplification de l'écart pour le problème d'isomorphisme de graphe?

Supposons que et G 2 soient deux graphes non dirigés sur l'ensemble de sommets { 1 , … , n } . Les graphiques sont isomorphes si et seulement s'il y a une permutation Π de telle sorte que G 1 = Π ( G 2 ) , ou plus …

53 cc.complexity-theory graph-isomorphism pcp

4

Dureté d'approximation sans le théorème PCP

Une application importante du théorème PCP est qu'il donne des résultats de type "dureté d'approximation". Dans certains cas relativement simples, on peut prouver une telle dureté sans PCP. Existe-t-il toutefois des cas où la dureté du résultat de l'approximation a d'abord été prouvée à l'aide du théorème du PCP, c'est-à-dire …

36 cc.complexity-theory approximation-hardness pcp

2

Algorithmes d'approximation du temps super-polynomiaux pour MAX 3SAT

Le théorème PCP indique qu'il n'y a pas d'algorithme de temps polynomial pour MAX 3SAT pour trouver une affectation satisfaisant 7/8 clauses d'une formule 3SAT satisfaisante à moins que .P = N P7 / huit + εsept/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Il existe un algorithme de temps polynomial trivial qui …

20 cc.complexity-theory pcp

2

Y a-t-il un argument simple qui montre que la conjecture de jeux unique implique le théorème PCP

comment montrer la relation entre "Conjecture de jeux uniques" et "Théorème PCP"? comment expliquer que "la conjecture des jeux uniques" est une forme plus forte de "théorème PCP"?

17 cc.complexity-theory pcp unique-games-conjecture

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

15 cc.complexity-theory pcp interactive-proofs

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 …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

1

Existe-t-il une version continue du théorème de répétition parallèle

Le théorème de prétention parallèle de Raz est un résultat important dans le PCP, l'inapproximation, etc. Le théorème est fomalisé comme suit. Un jeu , où S , T , A , B sont des ensembles finis, π est une distribution sur S × T et un prédicat V : …

13 cc.complexity-theory complexity-classes pcp interactive-proofs

3

De fortes lacunes dans les problèmes de satisfaction maximale des contraintes?

Une formulation équivalente du théorème PCP est: Pour Max 3-SAT, il est -hard de faire la distinction entre les formules satisfaisables et les formules où au plus r -fraction des clauses sont satisfaisables (pour certains r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Existe-t-il un théorème de dichotomie connu qui classe tous les …

12 cc.complexity-theory pcp csp

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 …

12 cc.complexity-theory pcp

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 …

11 cc.complexity-theory pcp

1

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

1

Tailles PCP asymptotiques les plus connues / 3-SAT

Quelles sont les limites supérieures asymptotiques les plus connues sur les tailles des preuves vérifiables de manière probabiliste? Idéalement, je recherche une enquête contemporaine sur cette large question, mais s'il n'y en a pas, je suis particulièrement intéressé par l'inapproximabilité du 3-SAT. Soit 7/8 + ε-3-SAT soit 3-SAT avec la …

9 cc.complexity-theory reference-request np-hardness pcp

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 …

9 cc.complexity-theory approximation-hardness pcp max-cut unique-games-conjecture

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 …

9 cc.complexity-theory pcp

Questions marquées «pcp»