Perguntas com a marcação «pcp»

O Teorema do PCP declara que todo problema de decisão no NP tem provas probabilisticamente verificáveis ​​(ou equivalentemente, que existe um sistema completo e quase sonoro para os teoremas do NP, usando complexidade de consulta constante e logaritmicamente muitos bits aleatórios). A “sabedoria popular” que cerca o Teorema do PCP …

9 lo.logic  pcp  polynomial-hierarchy 

Na etapa de redução de grau da prova de Dinur, o gráfico de entrada é transformado em um gráfico substituindo cada vértice v \ in V (G) por um conjunto de vértices, nuvem (v) , de modo que | cloud (v) | = degree_G (v) e impondo um gráfico expansor …

8 cc.complexity-theory  pcp 

Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da conjectura …

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

Sabe-se que se então . Além disso, sabe-se que . Parece que o PCP não pode nos dizer quais problemas naturais não estão no . Gostaria de saber se é possível usar a caracterização PCP para separar o do .C o N P = P C P [ O ( …

8 cc.complexity-theory  pcp  proof-complexity