注册
登录
运筹学
适用于CSP和VRP的Google OR-Tools模块使用哪个求解器？
返回
适用于CSP和VRP的Google OR-Tools模块使用哪个求解器？
作者:
狗头军师
发布时间:
2024-11-04 01:34:16 (15小时前)
<p>我目前正在评估google或工具，只是注意到它本身并不是一个真正的求解器，而主要是与其他求解器的接口。我想知道的是此框架使用哪些求解器来约束和路由问题。</p><p>我已经通过https://developers.google.com/optimization/进行了仔细研究，但发现</p><p>为了进行线性优化，使用了Google的“内部开放源代码GLOP”<br/>为了优化网络流量，似乎使用了自己的求解器（“ OR-Tools在其图形库中为网络流量问题提供了多个求解器。”）<br/>对于混合整数编程，默认情况下使用开源程序“ COIN OR branch＆cut”（但可以集成SCIP，GLPK和Gurobi）<br/>但是在CP和VRP信息/指南站点上没有关于使用哪些求解器来解决这些问题的指示…</p><p>有谁碰巧知道哪个求解器用于CSP / VRP，或者您发现我过度阅读的内容？</p>
收藏
举报
2 条回复
1#
回复此人
v-star*위위
|
2020-08-24 15-40
在邮件列表/ github问题上已多次回答： 路由库使用CP求解器，其顶部是“本地搜索”实施。看到这个Github问题 CP-SAT求解器在SAT求解器之上使用了惰性子句生成求解器。最好的描述是Peter Stuckey的演讲，名为Search is Dead
编辑
登录
后才能参与评论
