1
Stato di completezza PP di MAJ3SAT
DOMANDA BREVE: MAJ-3CNF è un problema completo di PP con riduzioni multiple? VERSIONE PIÙ LUNGA: è noto che MAJSAT (che decide se la maggior parte degli incarichi di frase proposizionale soddisfa la frase) è PP completo con riduzioni multiple e #SAT è # P completo con riduzioni parsimoniose. È anche …