1
Status kompletności PP MAJ3SAT
KRÓTKIE PYTANIE: Czy MAJ-3CNF jest problemem kompletnym z PP przy wielu redukcjach? DŁUŻSZA WERSJA: Dobrze wiadomo, że MAJSAT (decydujący, czy większość przypisań zdania zdaniowego spełnia zdanie) jest PP-kompletny przy wielu redukcjach jeden, a #SAT jest # P-kompletny przy redukcjach oszczędnych. Oczywiste jest również, że # 3CNF (czyli #SAT ograniczony do …