[论文解读] Optimal Evacuation Flows on Dynamic Paths with General Edge Capacities

Guru Prakash Arumugam, John Augustine+4 more|arXiv (Cornell University)|Jun 23, 2016

Mobile Ad Hoc Networks参考文献 25被引用 4

一句话总结

本文提出了一种针对具有通用边容量的动态路径网络中k-汇疏散问题的最优算法，采用递归动态规划结合二分查找的方法计算疏散时间。对于k=1，时间复杂度为O(n log n)；对于k>1，时间复杂度为O(kn log²n)，提供了该设置下通用容量的首个高效解决方案。

ABSTRACT

A Dynamic Graph Network is a graph in which each edge has an associated travel time and a capacity (width) that limits the number of items that can travel in parallel along that edge. Each vertex in this dynamic graph network begins with the number of items that must be evacuated into designated sink vertices. A $k$-sink evacuation protocol finds the location of $k$ sinks and associated evacuation movement protocol that allows evacuating all the items to a sink in minimum time. The associated evacuation movement must impose a confluent flow, i.e, all items passing through a particular vertex exit that vertex using the same edge. In this paper we address the $k$-sink evacuation problem on a dynamic path network. We provide solutions that run in $O(n \log n)$ time for $k=1$ and $O(k n \log^2 n)$ for $k >1$ and work for arbitrary edge capacities.

研究动机与目标

• 解决具有任意边容量的动态路径网络中的k-汇疏散问题，其中流量必须沿汇聚（不可分割）路径流向汇点。
• 设计一种算法，通过最优地放置k个汇点并以汇聚流方式路由所有物品，从而最小化疏散时间。
• 将先前针对均匀容量网络的研究扩展至通用边容量，此前该问题尚未被高效求解。
• 为在一般容量约束下路径上的NP难k-汇位置问题提供多项式时间解决方案。

提出的方法

• 该算法基于将路径划分为子路径的递归公式，每个子路径通过1-汇最优协议进行疏散。
• 通过在索引上进行二分查找，高效地找到最优分割点t，使左右子路径的疏散时间达到平衡。
• 对于k=1，使用定理2通过线性时间算法计算最小疏散时间，时间复杂度为O(n log n)。
• 对于k>1，通过最小值运算组合定理2（1-汇时间）与定理3（k-1-汇时间）的结果，确定最优划分。
• 通过预计算的阈值维护并更新疏散时间值，利用疏散时间的单调性特性。
• 通过递归组合汇点位置与子路径分配，将解扩展为返回完整的疏散协议。

实验结果

研究问题

• RQ1 当边容量为任意值而非仅均匀容量时，是否可以高效求解动态路径网络中的k-汇疏散问题？
• RQ2 在具有通用容量的路径上，使用k个汇点计算最小疏散时间的最优时间复杂度是多少？
• RQ3 如何将汇聚流约束整合到具有可变边容量的动态网络疏散模型中？
• RQ4 尽管该问题在一般情况下为NP难，是否可能设计出在一般容量约束下路径上k-汇位置问题的多项式时间算法？

主要发现

• 本文提出了一种O(n log n)时间复杂度的算法，用于求解具有通用边容量的动态路径上的1-汇疏散问题。
• 对于k > 1，本文实现了O(kn log²n)的时间复杂度，这是首个已知的通用容量下的多项式时间解决方案。
• 该算法通过递归划分路径并使用二分查找定位最优分割点，正确计算出最优疏散时间及相应的疏散协议。
• 通过确保每个顶点的物品均沿单一出边流动，形成指向汇点的有向树，该方法有效处理了汇聚流。
• 与先前工作不同，该方法对任意边容量具有鲁棒性，而先前工作仅在均匀容量下才能实现高效求解。
• 通过递归跟踪汇点位置与子路径分配，该算法可扩展为输出完整的疏散协议，而不仅限于疏散时间。