Choco Solver - 变量关联

Question

我正在使用choco solver 4.0.5 (latest until now) 和网络上的几个例子，除了没有考虑到我的需要，使用旧版本。
我绝对是 choco solver 的初学者，在网络上进行了非常艰苦的搜索之后，我来到这里寻求帮助。

我有以下变量域：
一年中的天数： 1（表示 1 月 1 日）、35（表示 2 月 4 日）、58、56、125、142、168、225、360、364... 人员 ID： 789111、789555、78496、879...

我需要创建一个约束，以便人们不会连续几天关联，而是以平衡的方式交替它们，例如：

1 = 789111
35 = 789555
58 = 789496
56 = 879
125 = 789111
142 = 789555
168 = 789496
225 = 879
360 = 789111
364 = 789496 (the 789555 is unavailable here)

如何在 choco solver 4.0.5 上表示这一点？
谢谢大家！！

Answer 1

随着时间的推移均匀分布事件并不是一件容易建模的事情。一个简单的“代理”是：禁止人们在临近的日子工作。例如。至少间隔两天。这可以建模为：

worker w works at t => w cannot work at t+1 and t+2 

如果您将其建模为x[w,t]=1 iff w 在 t 处工作，那么这将变为：

x[w,t]=1 => x[w,t+1]=0 and x[w,t+2]=0