PREGUNTA CORTA: ¿MAJ-3CNF es un problema de PP completo bajo muchas reducciones?
VERSIÓN MÁS LARGA: Es bien sabido que MAJSAT (decidir si la mayoría de las asignaciones de oración proposicional satisface la oración) es PP-completo bajo muchas reducciones y #SAT es # P-completo bajo reducciones parsimoniosas. También es evidente que # 3CNF (es decir, #SAT restringido a fórmulas de 3-CNF) es # P-completo, porque la reducción de Cook-Levin es parsimoniosa y produce un 3-CNF (esta reducción se usa realmente en el libro de Papadimitriou para mostrar # P-completitud de #SAT).
Parece que un argumento similar debería probar que MAJ-3CNF es PP-completo bajo muchas reducciones (MAJ-kCNF es MAJSAT restringido a fórmulas kCNF; es decir, cada cláusula tiene k literales).
Sin embargo, en una presentación de Bailey, Dalmau y Kolaitis, "Transiciones de fase de problemas de satisfacción de PP-Completo", los autores mencionan que "no se sabe que MAJ3SAT sea PP-Completo" (presentación en https: //users.soe.ucsc .edu / ~ kolaitis / talk / ppphase4.ppt ). Esta oración no parece aparecer en sus documentos relacionados, solo en sus presentaciones.
Preguntas: ¿Se puede adaptar la prueba de que # 3CNF es # P-complete para demostrar que MAJ3CNF es PP-complete? Dada la declaración de Bailey et al., Parece que no; si la prueba no lleva, entonces: ¿Hay una prueba de que MAJ-3CNF es PP-complete? Si no, ¿hay alguna intuición en cuanto a la diferencia entre PP y #P con respecto a este resultado?