manbet体育手机客户端

OPB格式

OPB文件格式用于存储伪布尔满足度和伪布尔优化模型。这些模型可能只包含二元变量，但这些变量可以在约束和目标中得到补充和相乘。伪布尔模型在OPB文件中被Gurobi翻译成MIP表示。详细描述了OPB格式的语法Roussel和Manquinho．然而，Gurobi支持的OPB格式限制较少，例如允许分数系数。

下面是一个伪布尔优化模型的例子

$< span > < / span > \ displaystyle \美元开始{数组}{你}\ mathrm{最小化}& y - 1.3 x (1 - z) + (1 - z ) \\ ... ...ge 0 x z (1-v) \ \ \ & le 0, - y \ \ \ & v, w, x, y, z \ \{0,1 \}。美元结束\{数组}< 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;

开头的行＊被当作评论而忽略。非注释行必须以分号结束；．空格字符必须用于分隔变量。变量的补码可以用波浪号来指定～．

只支持最小化模型。这些型号必须用分钟:目标关键词。此关键字必须出现在其他约束之前。可满足性模型可以通过忽略目标来定义。

约束的感觉＞＝，＝,< =都受支持。