gprecedencemm公司

基于广义优先关系的多模式资源受限项目调度问题的有效建模与求解。对于不同的单模式资源受限项目调度问题,最新的精确算法结合了分枝定界算法和约束规划和布尔可满足性求解的原理。本文提出了一种新的精确方法,将上述原理推广到具有广义优先关系(GPRs)的多模RCPSP(MRCPSP)。更准确地说,我们为优化框架SCIP实现了两个约束处理程序cumulativemm和gprecedencem。利用后者,可以分别在多模式活动的背景下对可再生资源约束和GPRs进行建模。此外,针对上述问题的特点,他们整合了领域传播和解释生成技术。我们为使用GPRs的MRCPSP建立了三个SCIP模型,其中两个没有SCIP模型,一个使用约束处理程序gprecedencem。我们对文献中包含30、50和100个活动的实例的计算结果表明,添加此约束处理程序显著地增强了SCIP模型。此外,我们在时间限制为27s的情况下,在50个活动的实例上的性能优于最先进的精确方法。此外,我们还关闭了289个开放实例(找到了最优解并证明了其最优性),改进了文献中271个实例的最著名makespan。