1
Состояние ПП-полноты MAJ3SAT
КРАТКИЙ ВОПРОС: Является ли MAJ-3CNF PP-полной проблемой при сокращении многие-один? ДОПОЛНИТЕЛЬНАЯ ВЕРСИЯ: Общеизвестно, что MAJSAT (решающий, удовлетворяет ли большинство назначений пропозиционального предложения) PP-завершено при сокращениях много-один, а #SAT # P-завершено при сокращениях. Также очевидно, что # 3CNF (то есть #SAT, ограниченный формулами 3-CNF) является # P-полным, поскольку сокращение Кука-Левина экономно …