[论文解读] DMVP: Foremost Waypoint Coverage of Time-Varying Graphs

Eric Aaron, Danny Kriz̧anc+1 more|arXiv (Cornell University)|Jul 27, 2014

Optimization and Search Problems参考文献 22被引用 4

一句话总结

本文提出了时间变图（TVG）上的动态地图访问问题（DMVP），分析了在三种动态类型下的计算复杂性：R（循环边）、B（有限次重现）和P（周期性边）。在R类中存在严重的不可近似性，在B类中具有有限的可近似性，在P类中对特定拓扑结构具有可解性，且在R类中对某些图结构识别出固定参数可解性。

ABSTRACT

We consider the Dynamic Map Visitation Problem (DMVP), in which a team of agents must visit a collection of critical locations as quickly as possible, in an environment that may change rapidly and unpredictably during the agents' navigation. We apply recent formulations of time-varying graphs (TVGs) to DMVP, shedding new light on the computational hierarchy $\mathcal{R} \supset \mathcal{B} \supset \mathcal{P}$ of TVG classes by analyzing them in the context of graph navigation. We provide hardness results for all three classes, and for several restricted topologies, we show a separation between the classes by showing severe inapproximability in $\mathcal{R}$, limited approximability in $\mathcal{B}$, and tractability in $\mathcal{P}$. We also give topologies in which DMVP in $\mathcal{R}$ is fixed parameter tractable, which may serve as a first step toward fully characterizing the features that make DMVP difficult.

研究动机与目标

• 将动态地图访问问题（DMVP）形式化为时间变图（TVG）中的导航挑战，其中边的可用性随时间动态变化。
• 分析DMVP在三种TVG类别（R：循环边；B：有限次重现；P：周期性边）中的计算复杂性。
• 识别区分DMVP可解实例与不可解实例的拓扑与动态约束。
• 通过受限图拓扑，建立R、B、P三类中DMVP计算难度的分离。
• 探索R类中特定图族的固定参数可解性，为刻画影响DMVP难度的结构特征奠定基础。

提出的方法

• 将环境建模为具有离散时间、无向边和统一遍历成本为1的时间变图（TVG）。
• 将DMVP定义为单智能体问题，目标是在动态边可用性条件下尽快访问所有关键路点。
• 将TVG划分为三类：R（边最终会重现）、B（边在有界时间内重现）和P（边周期性出现）。
• 应用时间子图分析以限制TVG的生命周期，并在时间约束内评估访问可行性。
• 使用完美二分图匹配算法，确定在臂长均匀的星形图（蜘蛛图）中无需等待的遍历路径。
• 在周期性设置（P类）中，采用动态规划与模式拼接技术，求解最优遍历序列。

实验结果

研究问题

• RQ1 时间变图中DMVP在R、B和P三类中的计算复杂性如何？
• RQ2 在受限拓扑下，DMVP在R、B和P三类之间是否存在严格的复杂性分离？
• RQ3 是否存在某些图拓扑，使得R类中的DMVP为固定参数可解？
• RQ4 对于任意底层图类（尤其是有界度的星形图），DMVP在R类中是否为NP难，但在B类中不是？
• RQ5 能否为一般树上的周期性边动态（P类）高效计算最优遍历序列？

主要发现

• 在R类中，DMVP即使在受限拓扑下也存在严重的不可近似性，表明其计算难度极高。
• 在B类中，DMVP具有有限的可近似性，表明在边重现次数受限时仍存在一定的算法可行性。
• 在P类中，DMVP在树结构上是可解的，对p=2个代理和周期性动态存在线性时间算法。
• 当不允许等待且时间紧迫时，DMVP可在蜘蛛图（臂长均匀的星形图）上以多项式时间求解。
• 在臂长均匀的蜘蛛图中，无等待遍历可转化为完美二分图匹配问题，可在多项式时间内求解。
• 本文推测，当图中生成树的数量为多项式级别，且每棵生成树的叶子数为O(log n)时，R类中的DMVP是可解的，且该类可能也刻画了B类。