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 # …