Choco Solver - 变量关联
Choco Solver - Variables association
我正在使用 choco solver 4.0.5 (latest until now) 和网络上的几个示例，除了没有考虑我的需要外，还使用旧版本。
我绝对是 choco 求解器的初学者，在网上进行了非常艰苦的搜索之后，我来这里寻求帮助。
我有以下变量域：
一年中的天数： 1（代表 1 月到 1 月）、35（代表 4 月到 2 月）、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 求解器 4.0.5 上表示它？
谢谢大家！！
随着时间的推移均匀分布事件并不是一件容易建模的事情。一个简单的"proxy"就是：禁止人们在关闭的日子工作。例如。中间至少两天。这可以建模为：
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
我正在使用 choco solver 4.0.5 (latest until now) 和网络上的几个示例，除了没有考虑我的需要外，还使用旧版本。
我绝对是 choco 求解器的初学者，在网上进行了非常艰苦的搜索之后，我来这里寻求帮助。
我有以下变量域：
一年中的天数： 1（代表 1 月到 1 月）、35（代表 4 月到 2 月）、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 求解器 4.0.5 上表示它？
谢谢大家！！
随着时间的推移均匀分布事件并不是一件容易建模的事情。一个简单的"proxy"就是：禁止人们在关闭的日子工作。例如。中间至少两天。这可以建模为：
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