11

我目前正在评估谷歌或工具，只是注意到它本身并不是真正的求解器，而主要是与其他求解器的接口。我想知道的是这个框架使用哪些求解器来解决约束和路由问题。

我已经彻底浏览了https://developers.google.com/optimization/，但只发现

  • 对于线性优化，使用 Google 的“内部开源 GLOP”
  • 对于网络流优化，似乎使用了自己的求解器（“OR-Tools 在其图形库中为网络流问题提供了几个求解器。”）
  • 对于混合整数编程，默认使用开源程序“COIN OR branch&cut”（但可以集成 SCIP、GLPK 和 Gurobi）

但在 CP 和 VRP 信息/指南网站上，并没有说明使用什么求解器来解决这些问题......

有没有人碰巧知道 CSP / VRP 使用了哪个求解器，或者你有没有发现我过度阅读的东西？

4

1 回答 1

16

这在邮件列表/github问题上得到了多次回答：

  • 路由库使用 CP 求解器，顶部有本地搜索实现。看到这个Github 问题

  • CP-SAT 求解器在 SAT 求解器之上使用惰性子句生成求解器。最好的描述是来自 Peter Stuckey 的名为Search is Dead的演示文稿。YouTube 上还有一个 CPAIOR 大师班的视频。https://youtu.be/lmy1ddn4cyw

于 2019-07-20T14:40:56.800 回答