Questions marquées «counting-complexity»

Est-ce difficile de compter le nombre de solutions?

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 # …
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 …
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 …
1
Quelle est la complexité du comptage du nombre de solutions d'un problème P-Space Complete? Que diriez-vous des classes plus complexes?
Je suppose qu'il s'appellerait # P-Space mais je n'ai trouvé qu'un seul article le mentionnant vaguement. Que diriez-vous de la version de comptage des problèmes EXP-TIME-Complete, NEXP-Complete ainsi que EXP-SPACE-Complete? Y a-t-il des travaux antérieurs que l'on peut citer en ce qui concerne cela ou tout autre type d'inclusion ou …
1
Statut de PP-complétude de MAJ3SAT
QUESTION COURTE: MAJ-3CNF est-il un problème PP-complet avec plusieurs réductions? VERSION PLUS LONGUE: Il est bien connu que MAJSAT (décider si la majorité des affectations de phrase propositionnelle satisfont la phrase) est PP-complet sous plusieurs réductions et #SAT est # P-complet sous réductions parcimonieuses. Il est également évident que # …
2
Formule 3CNF monotone restreinte: comptage des affectations satisfaisantes (à la fois modulo
Considérez une formule monotone 3CNF ayant les deux restrictions supplémentaires suivantes: Chaque variable apparaît dans exactement clauses.222 Étant donné clauses, elles partagent au plus 1 variable.222111 Je voudrais savoir à quel point il est difficile de compter les affectations satisfaisantes d'une telle formule. Mise à jour 06/04/2013 12:55 J'aimerais également …
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.