SCIPopt 的 setppc 的感應

Question

關於 SCIP 的“集合分區/打包/覆蓋的約束處理程序”：

1. 無需我直接調用 setppc 函數就可以推斷出它支持的所有形式是否足夠聰明？
2. 它可以處理/檢測sum(x) == y的形式，其中 x 是二進制變量列表，y 也是二進制變量？ 小於或等於的相同問題？
3. 它的文檔聲明它需要一個等於 1 的右手邊。RHS=0 呢？

Answer 1

1. 如果我理解正確，您是在問 SCIP 是否會看到線性約束是 setppc 約束並自動升級它？ 是的。

2. 是的，不管你怎么寫。

3. rhs = 0 的二進制變量的總和只會傳播並將所有變量固定為 0。（如果只有 lhs 為 0，那么這是多余的）

如果某些系數是-1而不是+1 ，則 SCIP 仍會嘗試通過否定所有負變量（或所有正變量並隨后乘以 -1）來使其工作。 SCIP 將檢查任何只有二進制變量和 +1/-1 系數的線性約束，如果它可以以這種方式升級。