Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations

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 …
2
Réduction de P vs NP à SAT
La question suivante utilise des idées de cryptographie appliquées à la théorie de la complexité. Cela dit, il s'agit d'une question purement théorique, et aucune connaissance cryptographique n'est requise pour y répondre. J'écris délibérément cette question de manière très informelle. Manquant de détails, il est peut-être mal énoncé. N'hésitez pas …
1
Conséquences de
Je partie d'une tentative de preuve . La tentative de preuve consiste en une réduction Karp du ⊕ P problème -complete ⊕ 3 RÉGULIER COUVERTURE vertex SAT.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Étant donné un graphique cubique , la réduction produit une formule CNF F ayant les deux propriétés suivantes:GGGFFF a …
1
DSPACE (n) = DSPACE (1.5n)?
D'après le théorème de la hiérarchie spatiale, on sait que si fff est constructible dans l'espace, alors DSPACE ( 2f(n)2f(n)2f(n) ) n'est pas égal à DSPACE ( f(n))f(n))f(n)) . Ici, par DSPACE ( f(n))f(n))f(n)) je veux dire la classe de tous les problèmes qui peuvent être résolus dans l'espace f(n)F(n)f(n) …
1
vs
Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
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.