Questions marquées «cc.complexity-theory»

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

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
Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme?
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Pour quelles fonctions h(n)h(n)h(n) est-il connu que: pour tout espace constructible f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) …
1
Complexité paramétrée de l'inclusion des langues régulières
Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Entrée: Deux …
3
Complexité du calcul de la parité de la formule CNF à lecture double opposée (
Dans une formule CNF opposée en lecture deux, chaque variable apparaît deux fois, une fois positive et une fois négative. Je m'intéresse au problème , qui consiste à calculer la parité du nombre d'assignations satisfaisantes d'une formule CNF opposée lue deux fois.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Je n'ai pas pu trouver de référence sur …
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.