1回答
CPSolver性能问题
、、、
我正在尝试使用CPSolver (而不是每个this question的MinCostFlow )，对于一个小的数据集，它的性能似乎非常慢。它比OR-Tools指南建议的解决此问题的速度慢得多(3秒)。 当我运行这段代码时，在最新的i5处理器上需要大约50秒来解决这个问题。我怀疑我完全错误地使用库，我需要修复它，我仍然需要添加一些级别的约束来解决原始问题的复杂性。x => x.Active).ToList(), costVariableList.Select(x => x.Cost).ToLi
浏览 35提问于2019-12-08得票数 0
回答已采纳
我的车辆路径问题上有个"bug“。我为车辆0和车辆1指定了停车站。这种不可行的情况能否被发现/报告？示例代码Python：cpsolver.Add(routing_model.VehicleVar(1) == 1)解决者地位的结果：
ROUTING_FAIL:没有找到解决问题的方法.
浏览 0提问于2019-12-08得票数 0
Choco.plus(B,C)), Choco.eq(C, Choco.plus(A,B))CPSolversolver = new CPSolver();System.out.println(solver.solve());Exception in threadchoco.cp.solver.CPModelToCPSolver.readConstraints(CPModelToCPSol
浏览 4提问于2015-06-28得票数 0
我想让三个1出现在移位数组中，我写了以下代码：solver = cp_model.CpSolver()for i infor i in range(5):
solver = cp_model.CpSolver
浏览 0提问于2020-07-04得票数 1
作为主题，当我使用ortools时，我想序列化cpsolver、CpSolverSolutionCallback和cpmodel来实现多线程计算。但是，我不能直接序列化这些对象，我认为我只需要序列化它们的配置并重置每个线程中的配置，比如cpmodel中的所有约束和变量以及cpsolver中的参数。这是一个问题，我如何使用ortools获得所有这些值？有没有api之类的东西？我在谷歌上搜索的时候找不到。
浏览 0提问于2021-01-16得票数 0
1回答
我想限制使用同一辆车的地点。我利用了能力限制来实现这一点。假设我们有l = [[1,2], [3,4]]，这意味着位置1，2必须由同一辆车服务，以及3，4。所以1，2在route_1上结束，3，4在route_2上结束for idx, route_constraint in enumerate(l): vehicle_capacities[idx] = len(route_constraint)
route_dimension_name = 'Same_Route_&
浏览 3提问于2019-12-28得票数 1
1回答
我想知道SCIP是如何处理SAT问题的。 在SCIP网站上，建议在读取cnf文件后，在SAT问题的命令行中键入'set emphasis cpsolver‘。我在代码跟踪方面不是特别熟练，我想知道在输入'set emphasis cpsolver‘命令后SCIP求解器所采用的路径。 此命令是否接受SAT问题并简单地从其他地方调用SAT求解器？或者，它将SAT问题视为离散优化问题，并使用经典方法，如割平面，分支和界限来解决它？ 到目前为止，我已经在50
浏览 28提问于2020-01-02得票数 2
回答已采纳
1回答
线性规划的变化？
、、、
我试图为以下问题找到一个现有的算法：
也就是说，假设我们有3个变量，x，y，z(都必须是整数)。我希望为所有必须与某些约束相匹配的变量找到值，例如x+y<4、x<=50、z>x等。
浏览 2提问于2021-11-26得票数 1
回答已采纳
我正在使用来解决护士调度问题，但我很难找到一种实现约束的方法，该约束试图在不使用硬约束的情况下均匀分配工作轮班。 if solver._CpSolver__solution.solution[i]==1:
data.append( [field.name,solver._CpSolver__
浏览 11提问于2022-11-16得票数 0
我正在执行一个复杂的护士调度问题。我要护士连续轮班，并与每班要求的最低护士人数相匹配。具体而言，我遇到的问题是，我得到了可行的解决方案，但却停滞不前，比如： Day 0
Nurse 1 works7
Day 0
Nurse 1 works from shift 4 to 7
cp_model.CpSolver我已经看过关于cp_model和cp
浏览 0提问于2019-05-23得票数 1
回答已采纳
1回答
我的假设是，CP将尽全力尝试问题中的每一个选项，从可行的选项中取最大值或最小值(取决于您的优化目标)。因为它尝试了它们，所以不需要任何种子，因此这个选项是不可用的。
这种理解是正确的吗？如果我说的不对，新的.ReSeed()中缺少CpSolver是一个疏忽吗？
浏览 2提问于2019-07-15得票数 2
我正在解决一系列SAT问题，下一个SAT问题可以通过在前面SAT问题的模型中添加一些单元子句来逐步构建。我们能否不仅重用以前SAT问题中的约束和变量，而且通过解决以前的SAT问题来重用中间结果，从而加快CP-SAT的速度？ y = model.NewBoolVar('y')
model.AddBo
浏览 18提问于2020-09-25得票数 0
回答已采纳
我正在尝试用Google OR-Tools的CP-Solver解决一个问题。有没有可能添加这样的约束: x1 XOR x2 XOR x3 == 0，提前谢谢。
浏览 62提问于2020-12-02得票数 3
回答已采纳
1回答
CP-SAT中的上限
、、、
在调度问题中。我想按工作天数按比例分配假期。现在，我有一个使用多个布尔标志的有效解决方案，但它的伸缩性不是很好。ortools.sat.python import cp_modelsolver = cp_model.CpSolver编辑:一个更一般的问题是，是否有更好的方法来实现一个变量到另一个变量的预先计算的任意映射。
浏览 3提问于2019-08-27得票数 3
pywrapcp.RoutingIndexManager(n_stops, n_vehicles, ix_depot)cpsolver
浏览 26提问于2019-12-12得票数 1
回答已采纳
我仍然是约束编程的初学者，目前我正在尝试使用在Python语言中实现一个护士调度问题。任何帮助都将不胜感激-谢谢！
浏览 1提问于2021-03-18得票数 1
1回答
问题是在文档中，我没有看到它谈论软约束和硬约束，我添加的所有约束肯定都是硬约束，有没有一种方法来实现这个例子的软约束，只是一个简单的方法。 提前谢谢。
浏览 62提问于2021-02-25得票数 0
回答已采纳
1回答
我想要解决的问题是最小化变量之和的差异。因此，我按照以下步骤构建了我的模型：
1-为每天每班的每名员工创建IntVar。
浏览 3提问于2020-06-30得票数 0
回答已采纳
1回答
我正在尝试使用SCIP来解决SAT问题。我的公司使用Mobaxterm的Linux命令行。我已经安装了SCIPoptsuite 6.0.2。我在网上找不到任何关于如何打电话给SCIP来解决SAT问题的信息，包括英文和中文。
浏览 15提问于2019-12-16得票数 1
回答已采纳
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号