1
Status de preenchimento de PP de MAJ3SAT
BREVE PERGUNTA: O MAJ-3CNF é um problema de PP completo com muitas reduções? VERSÃO MAIS LONGA: É sabido que o MAJSAT (decidindo se a maioria das atribuições da sentença proposicional satisfaz a sentença) é completo em PP com muitas reduções de uma e #SAT é # P completo com reduções …