线性规划：SOS2 说明
Linear programming: SOS2 clarification
我正在做一个在线性程序中使用 SOS2 的项目。
关于这些 SOS2，我看到了一些我没有预料到的行为。
我不确定我是否使用了错误的 SOS2 或者这是否是正确的行为。
我的问题和我想澄清的是两件事：
- SOS2 会出现只有一个元素非零的情况吗？而不是总是有两个非零元素。
- 如果以上确实如此，那么如果你有一个只有一个元素的 SOS2，那么它总是会被设置？
是的。更好的是：可以有零个非零成员。 SOS2 说 "at most two members are non-zero and these members are neighbors"。短语"at most"应该按字面意思理解。
没有。具有单个成员的 SOS2 集最多有一个非零值。所以它可以为零。 （当然一个人的SOS2组有点傻）。
这里我假设边界是零和+无穷大。对于非零下界，情况会变得有点复杂。
我相信求解器往往会正确记录这一点（我不记得曾经看到过这个定义不正确）。
我正在做一个在线性程序中使用 SOS2 的项目。
关于这些 SOS2，我看到了一些我没有预料到的行为。
我不确定我是否使用了错误的 SOS2 或者这是否是正确的行为。
我的问题和我想澄清的是两件事：
- SOS2 会出现只有一个元素非零的情况吗？而不是总是有两个非零元素。
- 如果以上确实如此，那么如果你有一个只有一个元素的 SOS2，那么它总是会被设置？
是的。更好的是：可以有零个非零成员。 SOS2 说 "at most two members are non-zero and these members are neighbors"。短语"at most"应该按字面意思理解。
没有。具有单个成员的 SOS2 集最多有一个非零值。所以它可以为零。 （当然一个人的SOS2组有点傻）。
这里我假设边界是零和+无穷大。对于非零下界，情况会变得有点复杂。
我相信求解器往往会正确记录这一点（我不记得曾经看到过这个定义不正确）。