比索

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