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