使用SAT求解器（Python），寻找特定区域内所有自由多米诺骨牌的组合。
我对SAT求解器的世界还不熟悉，需要关于以下问题的指导。 考虑到： ❶ 我有一个4*4网格中14个相邻单元的选择 ❷ 我有5个多米诺骨牌（A，B，C，D，E），分别为大小为4、2、5、2和1 ❸ 这些多米诺骨牌是自由的，即它们的形状没有固定，可以形成不同的图案 我该如何使用SAT...
谷歌OR-Tools模块用哪个求解器来处理CSP和VRP问题？
我目前正在评估Google的or-tools，发现它并不是一个独立的求解器，而主要是其他求解器的接口。 我想知道的是，这个框架用于约束和路径问题的求解器是哪些。 我已经仔细查看了https://developers.google.com/optimization/，但只发现： - 对于线性...
Google or-tools库中对约束条件的布尔运算
我是约束编程的初学者，正在使用 Google or-tools库 在我的 c# 程序中。 我想向求解器添加以下约束条件： ((t1 >= 12 && t1 <= 15) || (t2 >= 16 && t2 <= 18)) &am...
OR-tools一直返回非常次优的TSP解决方案
生成一些随机高斯坐标时，我注意到 TSP 求解器返回了可怕的解决方案，然而，对于相同的输入它也会一遍又一遍地返回相同的可怕解决方案。鉴于这个代码：import numpy import math from ortools.constraint_solver import pywrapcp fr...
如何正确设置SetGlobalSpanCostCoefficient和AddDimension中的容量参数？
我正在使用OR-Tool来解决VRP问题。我已经在文档中实验了一下例子问题，并成功编写了一个工作程序，但我不明白SetGlobalSpanCostCoefficient的目的以及如何正确设置它。根据这个网站上的说明，它是全局跨度成本与所有路线中最大和最小维度值之差的系数。 那么，这个全局成本是...
使用谷歌运筹研究工具进行约束优化
我有一组包含很多（10000个以上）项目，我需要从中精确选择20个项目。每个项目只能被选择一次。我的项目有利润和成本，以及几个布尔属性（比如颜色）。 我已经阅读并完成了 https://developers.google.com/optimization/mip/integer_opt_cp ...
Ortools 中的修改后的公交车排班问题
我希望修改 ortools 的 公交车调度问题，以便每个司机的班次在时间段上是连续的，并且如果需要，司机可以同时分享一次班次。 例如，假设我们有以下半小时班次（格式类似于 ortools 的 bus_scheduling_problem）： shifts = [ [0, '07:00', ...
如何在MiniZinc中安装Google的CP Solver OR-Tools？
我目前正在使用MiniZinc工作，并使用MiniZinc中集成的两个求解器：Gecode和Chuffed来运行我的模型。我一直在IDE中运行它，但我知道也可以在bash中运行（使用minizinc命令）。 但是我想测试一下我的模型在Google的CP求解器OR-Tools中表现如何。但我真...
谷歌OR-Tools：无法运行Java示例，java.lang.UnsatisfiedLinkError: no jniortools in java.library.path
我是一个Java新手，我想尝试使用Google OR-Tools解决车辆路径问题。 只是尝试从这里运行Java示例。 但是我遇到了这个异常：java.lang.UnsatisfiedLinkError：no jniortools in java.library.path 有一行代码加载系...
N皇后问题对称性破解之Google OR工具
Google or-tools的样例之一是用于n皇后问题的求解器。底部指出，通过向约束求解器添加对称性破坏约束可以改善实现。 我在互联网上搜索到了关于N皇后问题对称性破缺的限制条件，但我无法想象如何将这些限制条件转换为实现它们的Python代码。 编辑：这是一个不好的问题，让我们更新....