使用 Google OR-Tools 消除冗余约束

Question

我正在使用

OR-Tools

来解决简单的 LP 问题。作为问题的输入，我有 10 个线性方程。如果我将它们输入算法，问题就会得到解决。我可以删除用作输入的 10 个线性方程中的 7 个，但仍然得到相同的解 - 这意味着 10 个中有 7 个是多余的。

Google 的

OR-Tools

中是否有一些 API 可以标记哪些方程是多余的？我想找到足以解决 LP 问题的核心等式集。

Answer 1

已在 OR-Tools 邮件列表中询问。

没有好的答案。我建议查看有关 LP presolve 的文献。