LLM2D
带有最小批次大小的序列批次调度的约束编程模型
A Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size
作者: Jorge A. Huertas, Pascal Van Hentenryck
发布日期: 4/15/2025
arXiv ID: oai:arXiv.org:2504.08793v1

摘要

arXiv:2504.08793v1 宣告类型: cross 摘要: 在按批次顺序处理(b-sbatch)调度中,作业被分批处理并在其批次内顺序进行。本文考虑了多台并行机器、非相同作业权重和释放时间以及不同家族批次之间的序列相关设置时间。尽管已经在文献中广泛研究了b-sbatch,但在实际设置中,如半导体制造和金属工业,很少有论文考虑到最小批次大小这一常见问题。对于最小批次大小的要求,通常通过动态规划和元启发式方法解决,从未有文章使用约束编程(CP)来解决该问题。本文通过首次提出一种CP模型来解决带最小批次大小的b-batch问题,填补了这一空白。在标准案例上的计算实验将CP模型与文献中已有的两种现有的混合整数规划(MIP)模型进行了比较。结果表明,所提出的CP模型能够处理b-batch的多种变体,并能够在大型实例中更快地生成比MIP模型更好的解决方案。