Choco求解变量关联

Question

我使用的是choco解决方案4.0.5 (最近一次至今)和网络上的几个例子，除了没有考虑到我的需要之外，还使用了旧版本。

我绝对是一个吃巧克力的乞丐，在网上搜索了很辛苦之后，我来到这里寻求帮助。

我有以下变量域：

日：1(代表1月1日)，35 (代表4-feb)，58，56,125,142,168,225,360,364.个人Ids: 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)

我怎样才能在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