Preguntas etiquetadas con pcp

El teorema de PCP establece que cada problema de decisión en NP tiene pruebas probabilísticamente comprobables (o de manera equivalente, que existe un sistema de prueba completo y cuasi-sonoro para teoremas en NP que usa complejidad de consulta constante y logarítmicamente muchos bits aleatorios). La "sabiduría popular" que rodea el …

9 lo.logic  pcp  polynomial-hierarchy 

En el paso de reducción de grados de la prueba de Dinur, el gráfico de entrada se transforma en un gráfico G ' reemplazando cada vértice v ∈ V ( G ) por un conjunto de vértices, c l o u d ( v ) , de modo que | …

8 cc.complexity-theory  pcp 

Tengo algunas preguntas sobre la conjetura de Quantum PCP: ¿Cuál es la declaración de la conjetura de PCP cuántica? ¿Qué implicaciones tendría el teorema de PCP Quantum para la simulación de hamiltonianos? ¿Se cree que la adopción de la prueba de Irit Dinur del teorema clásico de PCP puede conducir …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

Se sabe que si PAGS= NPAGSP=NPP=NP entonces Co NPAGS= PCPAGS[ O ( l o g( n ) ) , O ( 1 ) ]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Además, se sabe que nortemiXPAGS= PCPAGS[ p o l y( n ) , p o l y( n ) ]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Parece que el PCP …

8 cc.complexity-theory  pcp  proof-complexity