在pyscipopt中添加NOTconstraint

Question

我想给我的PySCIPOpt模型添加一个NOT约束。我可以看到andConsAnd、addConsOr和addConsXor，但是NOT操作符没有一个。添加NOT约束的最简单方法是什么

我想到了：

x = model.addVar('B')
not_x = model.addVar('B')

model.addCons(not_x == (x - 1) * (x - 1))

但这看起来很难看

我需要not_x的原因是我想稍后将其添加到连词中，如：

model.addConsAnd([not_x, y], True)

但是，据我所知，如果我使用Python not运算符，PySCIPOpt接口将无法工作：

model.addConsAdd([not x, y], True)

因此，上面这行代码破坏了我jupyter笔记本中的内核

谢谢你的帮助

Answer 1

二进制变量x的表达式not x与1-x相同。这在混合整数规划模型中被广泛使用