线性编程：SOS2澄清

Question

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

我看到一些关于这些SOS2的行为，我没想到。

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

我的问题以及我想澄清的内容是两件事：

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

Answer 1

1. 是。更好的是：可以有零非零成员。 SOS2表示“最多有两名成员非零，而这些成员都是邻居”。 “最多”这个短语应该从字面上理解。

2. 没有。具有单个成员的SOS2将具有至多一个非零值。所以它可以为零。 （当然，有一个成员的SOS2设置有些愚蠢）。

这里我假设边界为零和+无穷大。随着非零下限，故事变得有点复杂。

我相信求解者倾向于正确记录（我不记得曾经错误地定义过这种情况）。