比索

多模块PESP的强大公式和图形丢番图方程组的二次算法周期事件调度问题(PESP)是公共交通实际周期性时刻表的选择方法。对于均匀模的情况,即所有事件具有相同的周期时,其MIP公式已经得到了深入的研究。在实践中,多个时期同样重要。然而,为统一模块开发的强大方法通常在多模块情况下失败。我们分析了一类与多模PESP密切相关的丢番图方程组。因此,我们确定了一种结构,即所谓的sharp trees,它允许在$mathcal{O}(n^2)$时间内求解系统,如果这些模块形成一个线性格。在此基础上,我们开发了在现实世界规模上求解多模块PESP的机械装置。在我们的计算结果中,新的MIP公式大大提高了多模块pesp的可解性。