[论文解读] Finding Temporal Paths Under Waiting Time Constraints

Arnaud Casteigts, Anne-Sophie Himmel+2 more|arXiv (Cornell University)|Sep 13, 2019

Data Management and Algorithms参考文献 69被引用 21

一句话总结

本文提出了无休止时间路径问题（Restless Temporal Path problem），其中时间路径必须在每个顶点处遵守最大等待时间 Δ，以模拟诸如具有免疫力的疾病传播或容忍延迟的网络通信等场景。作者证明该问题即使在严格约束下也是 NP-难和 W[1]-难的，但针对路径长度、反馈边数以及一种新型的时间反馈顶点数等参数，提出了固定参数可满足（FPT）算法，从而在结构化设置下实现了可解性。

ABSTRACT

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes over time, gained more and more attention. A path is time-respecting, or temporal, if it uses edges with non-decreasing time stamps. We investigate a basic constraint for temporal paths, where the time spent at each vertex must not exceed a given duration Δ, referred to as Δ-restless temporal paths. This constraint arises naturally in the modeling of real-world processes like packet routing in communication networks and infection transmission routes of diseases where recovery confers lasting resistance. While finding temporal paths without waiting time restrictions is known to be doable in polynomial time, we show that the "restless variant" of this problem becomes computationally hard even in very restrictive settings. For example, it is W[1]-hard when parameterized by the feedback vertex number or the pathwidth of the underlying graph. The main question thus is whether the problem becomes tractable in some natural settings. We explore several natural parameterizations, presenting FPT algorithms for three kinds of parameters: (1) output-related parameters (here, the maximum length of the path), (2) classical parameters applied to the underlying graph (e.g., feedback edge number), and (3) a new parameter called timed feedback vertex number, which captures finer-grained temporal features of the input temporal graph, and which may be of interest beyond this work.

研究动机与目标

• 形式化并分析在等待时间约束下寻找时间路径的计算复杂性，其中每个顶点最多访问一次，且等待时间受 Δ 限制。
• 使用具有等待时间限制的时间图，对现实世界过程（如具有免疫力的疾病传播和容忍延迟网络中的数据包路由）进行建模。
• 识别出在问题固有困难性下仍能实现固定参数可满足（FPT）算法的结构参数。
• 引入并利用一种新参数——时间反馈顶点数，以捕捉细粒度的时间结构，从而提升算法效率。

提出的方法

• 将无休止时间路径问题定义为在时间图中寻找尊重时间顺序的路径，且每个顶点处的等待时间不超过 Δ。
• 在基础图的路径分离距离参数下，证明其为 NP-难和 W[1]-难，表明即使在受限情况下，该问题仍具有计算困难性。
• 引入时间反馈顶点数这一新参数，该参数结合了时间与图结构特征，以支持 FPT 算法。
• 为三类参数设计 FPT 算法：(1) 输出大小（最大路径长度），(2) 经典图参数（如反馈边数），以及 (3) 新的时间反馈顶点数。
• 使用规约规则和顶点复制技术，将实例转换为仅含不可删除顶点的等价实例，从而可应用已知的子集反馈顶点集算法。
• 利用已知的子集反馈顶点集 FPT 算法（如 Iwata 等人提出的）高效求解转换后的实例。

实验结果

研究问题

• RQ1 当以最大路径长度为参数时，无休止时间路径问题是否为固定参数可满足（FPT）？
• RQ2 当以经典图参数（如反馈边数或路径宽）为参数时，该问题能否被高效求解？
• RQ3 引入一种新的时间-结构参数——时间反馈顶点数，是否能为该问题提供 FPT 算法？
• RQ4 当时间图的生命周期被限制为仅三个时间步长时，该问题的复杂性如何变化？
• RQ5 当以基础图的路径分离距离为参数时，该问题是否为 W[1]-难？

主要发现

• 即使时间图仅包含三个时间步长，无休止时间路径问题仍是 NP-难的，表明其在受限设置下仍具有强不可解性。
• 当以基础图的路径分离距离为参数时，该问题为 W[1]-难，这意味着其对反馈顶点数和路径宽也均为 W[1]-难。
• 当以最大路径长度为参数时，存在一个 FPT 算法，其时间复杂度在图大小上为线性。
• 针对基础图的反馈边数，提出了一个 FPT 算法，表明在该结构参数下问题具有可解性。
• 通过引入新型时间反馈顶点数参数，可设计出 FPT 算法，且问题可在 O(k²(|V| + |E|)) 时间内通过规约为子集反馈顶点集问题求解。
• 即使在强约束条件下，该问题仍保持困难，但对特定结构参数是可解的，显示出困难与可解情况之间的清晰二分。