42
правки
Изменения
Нет описания правки
|proof= Суть доказательства состоит в сведении задачи #MON-CNF к задаче вычисления значения гиперобъема. Так как доказано
<ref>
D. Roth. On the hardness of approximate reasoning. Artif. Intell., 82: 273–302, 1996http1996, http://cogcomp.cs.illinois.edu/papers/hardJ.pdf
</ref>
, что #MON-CNF является #P-трудной, то это докажет теорему.
