opb格式

OPB文件格式用于存储伪布尔满意度和伪布尔优化模型。这些模型可能只包含二进制变量，但这些变量可以补充并乘以约束和目标。opb文件中的伪布尔模型被转换为Gurobi的MIP表示。opb格式的语法将详细描述Roussel和Manquinho。但是，Gurobi支持的OPB格式不太限制，例如，允许分数系数。

以下是伪布尔优化模型的示例

$<span>$</span>\displaystyle \begin{array}{ll} \mathrm{minimize} & y - 1.3 x (1-z) + (1-z) \\ ... ... x z (1-v) \ge 0 \\ & -y \le 0,\\ & v, w, x, y, z \in \{0, 1\}. \end{array}<span>$</span>$ （1的）

此示例的相应opb文件由

*这是一个虚拟伪布尔优化模型Min：Y  -  1.3 x〜Z +〜Z;2 y  -  3 x + 1.7 w = 1.7;-1 y + x + x z〜v> = 0;-1 y <= 0;

以行开头*被视为评论并忽略了。非评论行必须以分号结尾;。空白字符必须用于分隔变量。可以用波格尔指定变量的补充〜。

仅支持最小化模型。必须使用这些模型指定闵：目标关键词。此关键字必须出现在其他约束之前。可以通过省略目标来定义可靠性模型。

约束感官> =那=，和<=得到支持。