1
สถานะ PP-ครบถ้วนของ MAJ3SAT
คำถามสั้น ๆ : MAJ-3CNF เป็นปัญหา PP-complete ภายใต้การลดลงหลายครั้งหรือไม่? รุ่นอีกต่อไป: เป็นที่รู้จักกันดีว่า MAJSAT (การตัดสินใจว่าการมอบหมายส่วนใหญ่ของประโยคเชิงประพจน์เป็นไปตามประโยค) หรือไม่นั้นเป็น PP-complete ภายใต้การลดจำนวนมากและ #SAT คือ # P-complete ภายใต้การลดค่า เป็นที่ชัดเจนว่า # 3CNF (นั่นคือ #SAT จำกัด เฉพาะสูตร 3-CNF) คือ # P-complete เนื่องจากการลด Cook-Levin นั้นเป็นการสรุปและสร้าง 3-CNF (การลดลงนี้ใช้จริงในหนังสือของ Papadimitriou แสดง # P-ครบถ้วนของ #SAT) ดูเหมือนว่าข้อโต้แย้งที่คล้ายกันควรพิสูจน์ว่า MAJ-3CNF นั้นเป็น PP-complete ภายใต้การลดจำนวนมาก (MAJ-kCNF คือ MAJSAT ถูก จำกัด …