Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

10
Ressources pour en savoir plus sur le problème P vs. NP
On m'a récemment rappelé le problème vs comme expliqué par Stephen A. Cook sur Clay Mathematics Institute.N PPP\mathsf{P}N PNP\mathsf{NP} Cela a piqué mon intérêt et j'aimerais en savoir plus. La première étape serait d'acquérir une compréhension plus approfondie du problème et une compréhension du domaine en général. Pouvez-vous recommander des …
1
Polynômes explicites en 1 variable avec des limites inférieures de complexité de circuit superlogarithmique?
En comptant les arguments, on peut montrer qu'il existe des polynômes de degré n dans 1 variable (c'est-à-dire quelque chose de la forme qui ont complexité du circuit n. De plus, on peut montrer qu'un polynôme comme nécessite au moins multiplications (vous en avez besoin juste pour obtenir un degré …
1
Conditions de tractabilité de la satisfaction 3SAT
Ce que je me demande précisément, c'est s'il existe une condition intéressante sur le pourcentage d'affectations qui satisfont à une formule 3SAT pour garantir que ces problèmes sont traitables. Supposons par exemple la classe de problèmes 3SAT que des 2 n affectations possibles satisfont la formule booléenne; pouvons-nous trouver efficacement …
2
Est-ce que
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de problèmes de décision analogique pour # …
3
Y a-t-il une restriction naturelle de la logique VO qui capture P ou NP?
Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez puissant et peut exprimer certaines requêtes …
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 …
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.