Изменения

Для доказательства теоремы сведем задачу \#MON-CNF к задаче MINCON.Про задачу \#MON-CNF известно, что она является \#P-сложной, а ее аппроксимация является NP-сложной.