Choco Solver-变量关联

Question

我使用的是choco求解器4.0.5（迄今为止最新），并且除了不考虑我的需求之外，网络上的一些示例都使用较旧的版本。
我绝对是choco求解器的入门者，在网上进行了非常艰苦的搜索后，我来到这里寻求帮助。

我有以下变量域：
一年中的天数： 1（代表1 月 1日），35（代表4月2日），58、56、125、142、168、225、360、364 ... 人员编号： 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求解器4.0.5上表示出来？
谢谢你们！！

Answer 1

随时间推移平均分配事件不是一件容易的事。 一个简单的“代理”是：禁止人们在临近的日子里工作。 例如，至少在两天之间。 可以建模为：

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

如果您将其建模为x[w,t]=1 w在t处起作用，则它将变为：

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