42
правки
Изменения
Нет описания правки
<tex> \overline{f} = \bigvee \limits _{k=1}^n \bigwedge_{i \in C_k} \not x_i</tex>
и для каждого клоза <tex>\bigwedge_{i \in C_k} \neg x_i</tex> построим гиперкуб <tex>[0,a^k_1]\times...\times[0,a^k_d]</tex>
где
<tex>
a^k_i = \begin{cases}
1 & \text{if } i \in C_k \\
2 & \text{otherwise}
\end{cases}
</tex>
например, гиперкубу
<tex>C_1 = \{x\}</tex> будет соответствовать клоз <tex>\neg x_1</tex>
а <tex>C_2 = \{1,2\}</tex> клоз <tex>\neg x_1 \wedge \neg x_2</tex>
