1
MAJ3SAT'ın PP-tamlığının durumu
KISA SORU: MAJ-3CNF birden fazla indirimle PP tam bir sorun mu? DAHA UZUN SÜRÜM: MAJSAT'ın (teklif cümlesi atamalarının çoğunluğunun cümleyi yerine getirip getirmediğine karar verme) çok sayıda indirim altında PP-tam ve #SAT'ın azimli indirimler altında # P-tamamlanmış olduğu bilinmektedir. Ayrıca, # 3CNF'nin (yani, 3-CNF formülleriyle sınırlandırılmış #SAT) # P-tamamlanmış olduğu …