OPB格式
OPB文件格式用于存储pseudo-boolean满意度和pseudo-boolean优化模型。这些模型可能只包含二进制变量,但这些变量可能会补充和增加在约束和目标。Pseudo-boolean模型OPB文件翻译成Gurobi MIP表示。OPB的语法格式详细描述Roussel和Manquinho。然而,Gurobi OPB格式支持的限制较少,例如,分馏系数是允许的。
下面是一个例子pseudo-boolean优化模型
(1)
*这是一个假pseudo-boolean优化模型分钟: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;
开头的行*被当作注释和忽略。Non-comment行必须以分号结束;。空格字符必须使用独立的变量。指定的一个变量可以补充波浪号~。
只支持最小化模型。这些模型必须指定的分钟:目标关键词。这个关键字必须出现在其他约束。可满足性模型可能被省略定义目标。
约束的感觉> =,=,< =都受支持。
