cp_model.CpModel()中是否有与pywrapcp.Solver()中的IsEqualCstVar类似的功能？
在cp_model.CpModel()中，没有与pywrapcp.Solver()中的IsEqualCstVar类似的功能。
cp_model.CpModel()是Google OR-Tools库中用于建立约束编程模型的类。它提供了一种方便的方式来定义问题的变量、约束和目标函数。通过使用cp_model.CpModel()，可以创建变量、添加约束以及定义目标函数，以便进行求解。
pywrapcp.Solver()是Google OR-Tools库中的求解器类，用于解决约束编程问题。它提供了一系列的方法和函数，用于设置求解器的参数、添加约束、定义目标函数，并执行求解操作。
IsEqualCstVar是pywrapcp.Solver()中的一个函数，用于创建一个等于常量的变量。它接受一个常量作为参数，并返回一个变量，该变量的取值与该常量相等。
在cp_model.CpModel()中，并没有直接提供类似IsEqualCstVar的函数或方法。但是，可以通过创建一个变量，并添加一个等于约束来实现类似的功能。具体步骤如下：
- 使用cp_model.CpModel()创建一个约束编程模型对象model。
- 使用model.NewIntVar()或model.NewBoolVar()等方法创建一个变量var。
- 使用model.Add()方法添加一个等于约束，将var与一个常量相等。
- 使用model.Solve()方法求解模型。
这样，就可以实现类似IsEqualCstVar的功能。
关于cp_model.CpModel()和pywrapcp.Solver()的更多信息和用法，请参考腾讯云的相关文档和示例代码：
相关·内容
我又回到了Google的OR工具中，尝试一个(相对)简单的优化。我正在使用CP SAT求解器，我可能在这里遗漏了一些基本的东西。我有一些变量x，y和一些常数c，如果y小于c，我希望x等于1，否则x等于0。
from ortools.sat.python import cp_model
solver = cp_model.CpSolver()
model = cp_model.CpModel()
c = 50
x = model.NewBoolVar(name='x')
y = model.NewIntVar(name='y', lb=0, ub=2**10)
浏览 0提问于2020-09-22得票数 3
设置
我使用google或工具作为约束编程解决程序：
from ortools.sat.python import cp_model
我定义了以下BoolVars
model = cp_model.CpModel()
a = model.NewBoolVar("a")
b = model.NewBoolVar("b")
c = model.NewBoolVar("c")
d = model.NewBoolVar("d")
e = model.NewBoolVar("e")
f = model.NewBoolVar(
浏览 11提问于2022-01-03得票数 0
我有两个变量列表M和T，我想创建一个约束，其中M和T之间的唯一值集是相同的。
从解决方案变量中，我想：
set(T) == set(M) -> True
到目前为止，我已经尝试创建M和T的每个元素之间的差异矩阵。
diffs = M[:, None] - T
然后构建一个约束，使单个行中的每个元素和diffs的每个列的乘积为0。这应该确保M的每一个元素在T中都有一个等于的元素，反之亦然。
for m in range(num_groups):
model.AddMultiplicationEquality(0, diffs[m, :])
for t in range(num_gr
浏览 33提问于2022-04-21得票数 0
回答已采纳
我需要用最大值和来表示一个约束。我知道这不再是一个线性问题，但我希望有一种方法来伪造或近似它：
model = cp_model.CpModel()
foo = {x: model.NewBoolVar(f"var{x}") for x in range(1, 6)}
bar = {x: model.NewBoolVar(f"var{x}") for x in range(6, 11)}
model.Add(
sum(max(k * v for k, v in variables.items()) for variables in [foo, bar
浏览 2提问于2021-08-31得票数 0
回答已采纳
我正在尝试实现一个简单的CP-SAT，其目标是最小化分配给所有决策变量的最大值。我可以最小化任何单个变量或变量的线性函数，但似乎无法最小化变量的最大值。有没有办法做到这一点？也许是一种将max()函数线性化的方法？ 注意:我的模型中确实有约束，但我在这里省略了它们，因为我认为它们与我的问题无关。 from ortools.sat.python import cp_model
model = cp_model.CpModel()
num_vars = 50
variables = {}
for i in range(num_vars):
variables[i] = model.
浏览 56提问于2020-04-25得票数 2
1回答
我尝试在我的模型中添加以下约束。我的问题是:函数g()期望x作为二进制numpy数组。因此，结果arr_a取决于优化的每一步中x的当前值！之后，我希望这个数组乘以x的最大值小于50。
我如何动态地添加这个约束，以便每次迭代时总是用x值正确地计算arr_a，同时告诉模型保留约束arr_a *x <= 50？目前，在将约束添加到模型时，我遇到了一个错误，因为g()期望x作为numpy数组计算arr_a、arr_b、arr_c (g在计算中使用np.where(x == 1) )。
#Init model
from ortools.sat.python import cp_model
mode
浏览 4提问于2021-05-01得票数 0
我正在使用OR-Tools约束编程工具处理一个几何问题。
你们能告诉我创建自定义约束的步骤吗？我不太理解恶魔，模拟访问者的行为……
另外，可以插入任何类型的约束吗？
提前谢谢你
浏览 1提问于2018-01-08得票数 6
我目前正在努力学习约束编程。我试图在模型中添加一些条件，即字符串，长度和长度都应该满足模型，但由于某种原因，它不满足。这是代码：
from ortools.sat.python import cp_model
# Create model
model = cp_model.CpModel()
number_choices = []
for i in range(5):
# numbers from 1 to max_value
number_choices.append(model.NewIntVar(1, 5, f"number {i}"))
model
浏览 9提问于2022-09-13得票数 0
回答已采纳
这是对的后续，在Java中使用OR-Tools。按照问题中的答案并参考，呈现的模型是无效的，无法解决。
导致此问题的主要代码片段是：
// iterating over int t,j; workers is a List<Literal>.
//Channel constraint:
Literal timeIsAfterStepStart = model.newBoolVar("time_"+t+"after_step_"+j+"_start");
//Implement timeIsAfterStepStart == (st
浏览 12提问于2022-04-22得票数 0
2回答
PuLP和OR-工具替代方案
、、、、
我目前有一个用Gurobi的python API制定的MIP模型，但最近我一直在研究PuLP和OR-Tools等工具，它们允许我构建模型并将其提供给多个不同的优化器。在我的模型中广泛使用的Gurobi的一个功能是能够具有使用and、or、min、max和abs等函数的约束。然而，似乎PuLP和OR工具并不支持这些。有没有支持这些的替代方案？或者，如果我想使用这样的东西，我必须重新制定我的模型吗？
浏览 8提问于2019-01-17得票数 3
模型目标的一部分按标量列表中的项加权。
我是通过使用一个0-1范围变量的列表来解决这个问题的，然后使用LinearExpr.ScalProd来加权目标。
是否有一种方法只使用一个整数变量(目标变量除外)，其中我可以使用lambda或其他机制来查找表中变量的值？
下面是一些我有工作的示例代码，尽管我试图确定它可以变得更简洁。
def argmax(
model: cp_model.CpModel, values: List[int]
) -> Tuple[List[cp_model.IntVar], cp_model.IntVar]:
objective_var = mod
浏览 0提问于2019-07-12得票数 5
回答已采纳
我有n张桌子和m个盒子。这项工作是把所有的盒子堆在桌子上。
问:不同的可能组合是什么？重要提示:所有的盒子放在桌子上时都是有序的，就像堆叠一样。我需要知道堆栈中每个盒子的排名。
如何使用ORTOOL约束编程/ SAT实现该问题？最好的策略是什么？什么变量/约束？
(我不期望代码，但只期望建议...除非你是一个快速开发人员:)谢谢
from ortools.sat.python import cp_model
class VarArraySolutionPrinter(cp_model.CpSolverSolutionCallback):
def __init__(self, var
浏览 1提问于2021-01-08得票数 0
1回答
我正在使用Google或-工具来解决维护调度问题.我有五台机器一开始都坏了。我需要安排两名技术人员的任务来修理机器，以尽量减少总损失的产量。每种技术都可以修理任何一台机器。然而，修理每台机器所需的时间是不同的(但每台机器事先都知道)。每台机器的输出是相同的。因此，最优的解决方案是首先完成最快的任务(机器修复)，因此尽可能多的机器能够尽快启动和运行。(这是一个玩具问题，让我开始做一些更复杂的事情。)
为了解决这一问题，我已经为一名技术人员(请参阅下面工作的python脚本)进行了深入的研究，但我仍然试图将其应用于两名技术人员，因为我无法解决两组技术人员的任务之间没有重叠的问题。
from ort
浏览 5提问于2021-12-27得票数 2
回答已采纳
2回答
python中的模块添加了自定义语法，其中函数可以将任意表达式作为参数(如下所示)，这些表达式不是即时计算的，而是作为约束解决的。
model.Add(x + 2 * y -1 >= z)
当我从函数中打印参数的类型时，它将显示
<class 'ortools.sat.python.cp_model.BoundedLinearExpression'>
一个简单的方法是将表达式作为字符串传递，但感觉更好。我想了解这是如何实现的。这是在python中创建自定义语法的一种方法吗？它是否需要更新解析器或类似的东西？
这是一个简单的程序
from ortools.sat
浏览 4提问于2021-09-12得票数 1
回答已采纳
本文刻划了集合M中m的目标是f( r) =sum of (<=C(0，U(m，r)max(0，U(m，r)max( M，r)的MIP，约束条件是集合M中的m，集合R中的R，U(m，r)max(m，r)。决策变量是Mapm，p是一个二进制变量。 CMR = [[6,40,5,20],[2,10,1,5 ]]
PR = [[2, 10],[3, 2]]
model=cp_model.CpModel()
Map = {}
for m in range(num_machine):
for p in range(num_process):
Map[m,p] = model
浏览 48提问于2021-07-19得票数 1
我对约束编程和OR工具是个新手。关于这个问题的简要说明。有8个位置，对于每个位置，我需要决定类型A的哪个移动(move_A)和类型B的哪个移动(move_B)应该被选择，以便从两个移动的组合中获得的值(在每个位置)是最大化的。(尽管这只是更大问题的一部分)。并且我想使用AddElement方法来进行子设置。 请看下面的尝试 from ortools.sat.python import cp_model
model = cp_model.CpModel()
# value achieved from combination of different moves of type A
# (mo
浏览 75提问于2021-08-09得票数 1
回答已采纳
2回答
我有一个简单的CP程序： from ortools.sat.python import cp_model
horizon = 5
model = cp_model.CpModel()
A = model.NewIntVar(1, horizon, 'A')
C = model.NewIntVar(1, horizon, 'C')
D = model.NewIntVar(1, horizon, 'D')
E = model.NewIntVar(1, horizon, 'E')
model.Add(max(A+C+D, A+D+E)
浏览 20提问于2020-11-04得票数 1
回答已采纳
1回答
工具和im尝试使用它来为一所高中生成一个timeTable。变量是课程、房间和时隙，当然目标是将所有课程分配到特定的房间和时隙，同时遵守给定的约束。 ? ? 问题是在文档中，我没有看到它谈论软约束和硬约束，我添加的所有约束肯定都是硬约束，有没有一种方法来实现这个例子的软约束，只是一个简单的方法。 提前谢谢。
浏览 62提问于2021-02-25得票数 0
回答已采纳
2回答
我用Python中的Google或Tools编写了一个约束编程模型，它使用CP求解器。我需要多次运行该模型，每次运行时我都会修改约束。目前，我从零开始创建模型对象，每次我想运行模型时。总之，我可以修改现有模型的变量/约束，这样我就不需要每次从头开始构建模型了吗？
为了提供更好的上下文，请考虑下面的示例模型。
from ortools.sat.python import cp_model
model = cp_model.CpModel()
num_vals = 3
a = model.NewIntVar(0, num_vals -1, 'a')
b = model.NewInt
浏览 7提问于2021-07-01得票数 0
我正在玩一个2d垃圾箱包装模型。我试过这样做：
for j in range(n):
for i in range(j):
model.Add(b[i] == b[j]).OnlyEnforceIf(b2[(i,j)]) # not needed?
model.Add(b[i] != b[j]).OnlyEnforceIf(b2[(i,j)].Not())
model.AddNoOverlap2D([xival[i],xival[j]],[yival[i],yival[j]]).OnlyEnforceIf(b2[(i,j)])
这里的目的是，只有当条目i和j被分配
浏览 1提问于2021-02-20得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
