Изменения

для Задача MON-CNF формулысостоит в нахождении количества удовлетворяющих подстановок для

рассмотрим Количество ее отрицание удовлетворяющих подстановок равно <tex>2^d</tex> минус количество удовлетворяющих подстановок ее отрицания

поэтому далее будем работать с <tex>\overline{f}</tex>.и для каждого клоза <tex>\bigwedge_{i \in C_k} \neg x_i</tex> построим гиперкуб <tex>A_k = [0,a^k_1]\times...\times[0,a^k_d]</tex>

а <tex>C_2 = \{1,2\}</tex> клоз <tex>\neg x_1 \wedge \neg x_2</tex>. Заметим, что объединение гиперкубов <tex>A_k</tex> может быть записано как объединение гиперкубов вида <tex>B_{x_1,...x_d} = [x_1,x_1 + 1]\times ... \times [x_d, x_d + 1]</tex>, где <tex>x_i \in \{0,1\}, i \in [d]</tex>.