an:07242011
Zbl 1446.90085
Van Cauwelaert, Sascha; Dejemeppe, Cyrille; Schaus, Pierre
An efficient filtering algorithm for the unary resource constraint with transition times and optional activities
EN
J. Sched. 23, No. 4, 431-449 (2020).
00452572
2020
j
90B35 68M20
constraint programming; scheduling; global constraint; unary resource; transition times; optional activities; scalability
Summary: This paper describes a unified global constraint to model scheduling problems with unary resources, i.e., each resource can process only a single activity at a time. In addition, the constraint enforces sequence-dependent transition times between activities. It often happens that activities are grouped into families with zero transition times within a family. Moreover, some of the activities might be optional from the resource viewpoint (typically in the case of alternative resources). The global constraint unifies reasoning with both optional activities and families of activities. The scalable filtering algorithms we discuss keep a low time complexity of \(\mathcal{O}(n \cdot \log (n) \cdot \log (f))\), where \(n\) is the number of tasks on the resource and \(f\) is the number of families. This results from the fact that we extend the \(\varTheta \)-tree data structure used for the \textsc{Unary Resource} constraint without transition times. Our experiments demonstrate that our global constraint strengthens the pruning of domains as compared with existing approaches, leading to important speedups. Moreover, our low time complexity allows maintaining a small overhead, even for large instances. These conclusions are particularly true when optional activities are present in the problem.