Choco求解器移位调度

Question

我完全是一个巧克力解算器的初学者。我想做一个简单的排班表。我设置了整型变量，如下所示

IntVar day1 = model.intVar("day1", new int[] {0,1,2,3,4,5});  

其中，0，1，...5是员工的引用ID。

我总共有30个变量(每个月的每一天)，因为这是一个基于每月的轮班时间表。我设置了一些限制，比如不允许连续两天不值班。

我的问题是，我如何设置一个约束，使每个雇主至少有5个班次。域中的每个值在所有30个变量中至少出现5次？

谢谢!

Answer 1

有几种方法可以做到这一点。看看model.globalCardinality和model.count，这些约束可以计算一个值被一组变量使用的次数。

http://choco-solver.org/apidocs/org/chocosolver/solver/constraints/IConstraintFactory.html

例如，model.count(3，vars，model.intVar(5, 10 )).post()；意味着vars中的5到10个变量应该等于3，所以员工3应该在5到10个班次之间工作。