线性规划：SOS2 说明

Question

我正在做一个项目，我在线性程序中使用 SOS2。

关于这些 SOS2，我看到了一些我没有预料到的行为。

我不确定我是否错误地使用了 SOS2，或者这是否是正确的行为。

我的问题和我想澄清的是两件事：

1. SOS2 是否会出现只有一个元素不为零的情况？而不是总是有两个非零元素。
2. 如果上述情况确实如此，那么如果您有一个只有一个元素的 SOS2，那么它总是会被设置吗？

Answer 1

1. 是的。更好的是：可以有零个非零成员。 SOS2 说“最多两个成员是非零的，这些成员是邻居”。 “至多”这个短语应该按字面意思理解。

2. 没有。具有单个成员的 SOS2 集最多有一个非零值。所以它可以为零。 （当然，只有一个成员的 SOS2 集有点傻）。

这里我假设边界是零和+无穷大。使用非零下界，故事变得有点复杂。

我相信求解器倾向于正确记录这一点（我不记得曾经看到过错误定义）。