cplex/gurobi 中的 sos 约束

SOS（special ordered sets，特殊顺序集）是指一组有序集合里，顶多有一个非零值（SOS1 型），或顶多有两个非零值（SOS2 型）。这类约束单独列出来，可以加快线性规划的求解速度。¹

线性规划模型中使用大 M 表示的约束条件可以转化成 SOS， 不过 cplex 或者 gurobi 一般都可以自动转化。

---

1. https://en.wikipedia.org/wiki/Special_ordered_set#Context_of_Applications ↩︎

转载于:https://www.cnblogs.com/robinchen/p/11047519.html