1
Status PP-kelengkapan MAJ3SAT
PERTANYAAN SINGKAT: Apakah MAJ-3CNF masalah PP-lengkap di bawah banyak-satu pengurangan? VERSI LAMA: Sudah diketahui bahwa MAJSAT (memutuskan apakah mayoritas penugasan hukuman proporsional memenuhi hukuman) adalah PP-lengkap di bawah banyak-satu pengurangan dan #SAT adalah # P-lengkap di bawah pengurangan pelit. Juga jelas bahwa # 3CNF (yaitu, #SAT terbatas pada formula 3-CNF) …