具有冲突的并行机调度的紧凑公式及有效不等式
Compact formulations and valid inequalities for parallel machine scheduling with conflicts
摘要 Abstract
在并行机上调度具有冲突的工作问题涉及将一组工作分配到一组机器上,使得没有两个冲突的工作被分配到同一台机器上,并且所有机器中的最大处理时间最小化。我们基于顶点着色问题的代表模型提出了一种新的紧凑混合整数线性公式,克服了自然指派模型固有的许多问题。我们研究了相关多面体的多面体特性,并描述了从稳定集多面体继承的有效不等式类。我们描述了该问题的分支切割算法,并报告了基准实例上的计算实验结果。在基准集合中最难实例上的计算结果显示,所提出的算法优于当前最先进的方法(无论是运行时间还是解的质量)。我们发现,当最优值与平凡下界(即所有处理时间之和除以机器数量)之间的差距增大时,我们的新方法比现有方法表现得更好。
The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines is minimized. We propose a new compact mixed integer linear formulation based on the representatives model for the vertex coloring problem, which overcomes a number of issues inherent in the natural assignment model. We present a polyhedral study of the associated polytope, and describe classes of valid inequalities inherited from the stable set polytope. We describe branch-and-cut algorithms for the problem, and report on computational experiments with benchmark instances. Our computational results on the hardest instances of the benchmark set show that the proposed algorithms are superior (either in running time or quality of the solutions) to the current state-of-the-art methods. We find that our new method performs better than the existing ones especially when the gap between the optimal value and the trivial lower bound (i.e., the sum of all processing times divided by the number of machines) increases.