1回答
至多-k约束，给定多个任务和用户，其中给定数量的任务必须由至多k个用户完成，每个任务仅分配给一个用户，一个用户可以有多个任务。目标是找出哪些任务分配给了哪些用户。一个例子是，给定4个用户和4个任务，编码约束至多2个用户，task1，task2，task3。 我正在使用OrTools python库对此进行编码，但任何解释都会有所帮助
浏览 15提问于2020-12-29得票数 1
1回答
我想知道是否有可能为不同的路线设置一个旅行约束，使用ORTools VRPTWs问题。A、B、C、D、E建议采用一些解决方案来设置具有节点约束的车辆，例如，一半车辆包含C，一半车辆包含D和E。它可以工作，但它会产生次优解，因为车辆数目是固定的，约束节点的数目将大于可能的路径数，从而导致次最优解。
浏览 2提问于2021-03-23得票数 1
回答已采纳
1回答
我正在尝试向MIP添加一个约束，该约束是我使用ortools求解的。<code>A0</code><code>A1</code>
我认为“old”类型中至少有1个类型的约束是错误的，因此我没有得到想要的结果。我
浏览 18提问于2020-07-30得票数 0
1回答
我想表达的约束是，它们中的N个中的K个应该是真的。我如何在Z3Py中做到这一点呢？有没有内置的支持？我查看了在线文档，但中没有任何关于这方面的API。对于N取一的约束，我知道我可以分别表示至少一个为真(assert或(x1，..，xN))和至多一个为真(assert Not(和(xi，xj)) For all i，j)。我还知道可以手动表达1- of -of-N和K-out-of-N约束。然而，我的印象是，当求解器具有对此约束的内置支
浏览 1提问于2017-03-29得票数 16
设置from ortools.sat.python import cp_modelmodel = cp_model.CpModelmodel.NewBoolVar("d")f = model.NewBoolVar("f")问题
我需要在模型中添加一个复杂的布
浏览 11提问于2022-01-03得票数 0
/util/CMakeFiles/ortools_util.dir/build.make:107: recipe for target 'ortools/util/CMakeFiles/ortools_util.dir(Linux中还不支持CPLEX！！)。这是针对v9.1 (或-tools)的。8 CPLEX not yet s
浏览 10提问于2021-12-22得票数 1
2回答
有没有办法从求解器中删除已定义的约束，而无需清除求解器并从第一个开始创建约束？假设我的问题是最大化3个变量的和，其中两个约束constraint2:变量3应在5- 10之间constraints[1].SetCoefficient(variable[2],1)
现在，在第二次运行我的代码时，我
浏览 8提问于2018-06-18得票数 3
1回答
我试图定义一个约束，它将限制由求解器生成的唯一值的数量。它可以产生尽可能多的重复来解决这个问题，但是唯一的值是有限制的。
浏览 1提问于2020-02-28得票数 2
回答已采纳
我注意到一个问题，即我的自定义视图的onMeasure方法正在接收一个与完整父视图的大小相对应的MeasureSpec，而不是剩余的可用空间。从日志中，我们可以看到红色边框占据的区域是1706像素高。由于上面的灰度视图是300像素高，我们也知道整个屏幕的高度是1706 + 300 = 2006像素。1080, height=MeasureSpec: AT_MOST 2006
D/------: width=MeasureSpec: AT_MOST 1080, height=MeasureSpec: AT_
浏览 7提问于2022-11-20得票数 0
回答已采纳
我正在尝试使用量词MOST来扩充FOL.thy，我打算将其定义为简单多数，即，Most :: "('a => o) => o" (binder "MOST " 10)specM: "(ALLP(x)) ==> (MOST x.
浏览 4提问于2013-09-30得票数 1
我正在使用或工具来解决优化问题，并且我知道在部分条件中，参数应该定义为双重类型，如下所示：但我的问题是，我不想用这种论点来创造条件所以我在代码中写了这个：
constraints[i] = solver.Constraint([1,2,3,...])
浏览 6提问于2018-06-01得票数 1
我在这里使用这个例子来理解列表，并使用if-else来为和创建一个约束。 solver.Add(solver.Sum([0 if c[i][j]==0 else x[i, j] for i in range(1, n+1)]) <= 1)
X是前面定义的但是当(i，j)在允许的xi中时，j在ortools中持有一个变量。所以我的意思是，对于这个特别的j，求和，如果，如果它不加0，就可以了。
浏览 4提问于2022-05-23得票数 0
回答已采纳
2回答
简单的UML行为让我感到困惑！
、、、、
对UML和系统设计非常陌生。我们有一个Person类，它由Name类和ContactDetails类组成。Contact details类由一个MobileNumber和一个EmailAddress类组成。我相信这很简单--但是它把我吓到了！
浏览 0提问于2009-11-19得票数 2
我们正在尝试将自定义优化器模型部署到SageMaker中。我们的模型包括许多分布在repo上的.py文件和一些外部库依赖项(如ortools )。输入CSV文件可以放入S3桶中。
浏览 4提问于2022-02-10得票数 0
2回答
python中的模块添加了自定义语法，其中函数可以将任意表达式作为参数(如下所示)，这些表达式不是即时计算的，而是作为约束解决的。model.Add(x + 2 * y -1 >= z)<class 'ortools.sat.python.cp_model.BoundedLinearExpression这是在python中创建自定义语法的一种方法吗？它是否需要更新解析器或类似的东西？这是一个简单的程序
fr
浏览 4提问于2021-09-12得票数 1
回答已采纳
在上面的示例中，我想明确配置，弹性pod 1在可用区1中运行，pod 2在可用区2中运行，依此类推。我也不希望pods运行在它们的可用区之外，如果其中一个宕机的话。感谢任何能在这件事上教育我的人。
浏览 0提问于2021-02-16得票数 1
2回答
我已经知道如何在实体类中添加基于特定属性的注解验证，如： private String firstName;
}public @int
浏览 3提问于2015-10-01得票数 5
我正在尝试做一个0-1背包优化与约束项目的来源。我以ortools网站()为例，尝试添加一个约束，使其只能从背包中的每个所有者那里挑选一件物品。我想找到最好的项目组合放在背包中，知道每个源只能有一个项目放在背包中。
浏览 26提问于2021-03-12得票数 1
回答已采纳
首先，如果我复制并粘贴中nqueens示例中的代码，就会得到相同的错误。size = 4 size = int(sys.argv[1])控制台给出了以下错误： [self.GetOrMakeIndex(x) for x in variables])
File "C:\ProgramData\Anaconda3\lib\site-packages\ortools
浏览 19提问于2022-02-16得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
