天筹求解器服务 OPTVERSE-LP格式文件说明:GENERALS和BINARIES节(可选)
GENERALS和BINARIES节(可选)
LP 文件的 generals 和 binaries 节用于指示在可行解中必须具有整数值的变量。这两节由于形式相似,我们将其放在同一个部分介绍,实际上他们是否同时存在互不影响。注册在这两节的变量将具有的默认边界的定义。对于在generals 部分注册的变量,默认范围是 0 和$10^{20}$。对于在 binaries 部分注册的变量,默认边界是 0 和 1。 变量注册的方式是通过将变量罗列到对应节,如
Generals x4 x5 x6 x7 x8 x9 Binaries x1 x2 x3 x4
可见,不同变量之间通过空格分割,允许多行书写, 同时我们允许变量注册到不同节,如变量 `x4`,最终的变量类型为其可行区间最小的类型。
注:现阶段我们求解器仅支持线性问题,对于非线性字段和半连续、半整型暂不支持。