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