StasFomin: Новая страница: «Как MAX-SAT, только есть веса для скобок, и оптимизируется вес. \begin{description} \item[$C_j$]: скобк…»

2017-12-18T10:49:33Z

Новая страница: «Как MAX-SAT, только есть веса для скобок, и оптимизируется вес. <latex> \begin{description} \item[$C_j$]: скобк…»

Новая страница

Как MAX-SAT, только есть веса для скобок, и оптимизируется вес.

<latex>
\begin{description}
\item[$C_j$]: скобка.
\item[$p_j$]: цена скобки (целое).
\item[$z_j=\{0,1\}$]: значение скобки.
\item[$C_j^+$]: $i: x_i \in C_j$ (положительные литералы в~скобке).
\item[$C_j^-$]: $i: \overline{x_i} \in C_j$.
\end{description}
\begin{eqnarray}
\label{ip-max-sat}
&& \sum_{j=1}^m p_j z_j \rightarrow \max
\\&& \sum_{i \in C_{j}^{+}} x_i + \sum_{i \in C_{j}^{-}} (1-x_i) \geq z_j, \quad \forall j. \nonumber
\\&& x_i, \ z_j \in \{0,1\}, \ \forall i, j \nonumber
\end{eqnarray}
</latex>

MAX-SAT-Weighted - История изменений

StasFomin: Новая страница: «Как MAX-SAT, только есть веса для скобок, и оптимизируется вес. \begin{description} \item[$C_j$]: скобк…»