[论文解读] Non-Pool-Based Line Planning on Graphs of Bounded Treewidth

Heinrich, Irene, Schiewe, Philine+1 more|arXiv (Cornell University)|Jan 24, 2022

Transportation Planning and Optimization被引用 1

一句话总结

本文研究了参数城市模型中对称与非对称线路规划方案。将线路规划问题建模为混合整数线性规划（MILP），证明了对称解可在多项式时间内计算得出，并表明当子中心到外围区域的距离因子g固定时，对称解与非对称最优解之间的对称性差距（symmetry gap）可被严格证明为较小，从而可设计出(1 + (1+√2)/g)-近似算法。在实际应用中，对称规划方案在大多数现实参数设置下接近最优。

ABSTRACT

Line planning, i.e. choosing routes which are to be serviced by vehicles in order to satisfy network demands, is an important aspect of public transport planning. While there exist heuristic procedures for generating lines from scratch, most theoretical investigations consider the problem of choosing lines only from a predefined line pool. We consider the line planning problem when all simple paths can be used as lines and present an algorithm which is fixed-parameter tractable, i.e. it is efficient on instances with small parameter. As a parameter we consider the treewidth of the public transport network, along with its maximum degree as well as the maximum allowed frequency.

研究动机与目标

• 量化参数城市模型中对称与非对称线路规划方案之间的权衡。
• 确定在何种条件下对称线路规划可作为最优解的良好近似。
• 为对称线路规划设计多项式时间算法，并推导其近似保证。
• 为交通规划者提供实用指导，说明在何种情况下假设对称性是合理的。

提出的方法

• 将线路规划问题建模为基础设施图中所有可能有向环路的混合整数线性规划（MILP）。
• 将问题重新表述为基于弧的模型形式，以提升计算效率。
• 对线路频率和路径施加旋转对称性，以强制实现对称解。
• 当距离因子g固定时，推导出对称性差距的(1 + (1+√2)/g)-因子近似算法。
• 通过数值实验与解析边界分析，评估不同参数设置下的对称性差距。
• 通过741个实例的计算实验，对比对称与非对称解，测量对称性差距与计算时间。

实验结果

研究问题

• RQ1 在参数城市模型中，最优对称与非对称线路规划之间的对称性差距有多大？
• RQ2 在何种条件下，可保证对称线路规划接近最优？
• RQ3 能否为对称线路规划设计出多项式时间算法？其近似保证为何？
• RQ4 对称性差距在不同参数设置下如何变化，特别是在现实场景中？
• RQ5 求解对称与非对称线路规划模型之间的计算成本差异如何？

主要发现

• 当子中心到外围区域的距离因子g固定时，对称性差距可被严格证明为较小，且存在(1 + (1+√2)/g)-近似算法。
• 在数值实验中，测试参数下对称性差距的最大值小于3.21%，通常低于1.22%。
• 当µ ≈ 0.878（代表现实中的成本权衡）时，最大对称性差距小于0.11%，表明对称解非常接近最优。
• 对称线路规划可在多项式时间内求解，而一般非对称情形的计算成本显著更高——平均慢145倍。
• 对称模型（ALPPS）在0.04秒内求解所有实例，而非对称模型（ALPP）耗时最高达374.7秒，凸显了显著的效率优势。
• 尽管理论上对称性差距可能存在较大情况，但在大多数实际参数配置下，对称解仍接近最优，因此可作为实用设计的合理起点。