gpt4 book ai didi

or-tools - Googles OR-Tools Modules for CSP 和 VRP 使用哪个求解器?

转载 作者:行者123 更新时间:2023-12-04 08:42:48 26 4
gpt4 key购买 nike

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

我已经看透了https://developers.google.com/optimization/ , 但只发现

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

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

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

    最佳答案

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

  • 路由库使用 CP 求解器,顶部有本地搜索实现。看到这个Github issue
  • CP-SAT 求解器在 SAT 求解器之上使用惰性子句生成求解器。最好的描述是 Peter Stuckey 的演讲,名为 Search is Dead。 . YouTube 上还有一个 CPAIOR 大师类的视频。 https://youtu.be/lmy1ddn4cyw
  • 关于or-tools - Googles OR-Tools Modules for CSP 和 VRP 使用哪个求解器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57123397/

    26 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com