[論文レビュー] Near-Optimal Schedules for Simultaneous Multicasts

Bernhard Haeupler, D Ellis Hershkowitz+1 more|arXiv (Cornell University)|Dec 31, 2019

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

ひとこと要約

この論文は、ストアアンドフォワードネットワークにおける同時マルチキャストの近似的最適分散アルゴリズムを提示し、$O(C + D + \log^{2}n)$-長さのスケジュールを達成する。ここで $C$ は混雑度、$D$ は遅延である。新規の$(\log^{1+\epsilon}n, \log n)$-短距離パス分解と確率的遅延スケジューリングを用いることで、$\Omega(CD)$ の下界を克服し、一致する下界を通じて近似的最適性を証明する。

ABSTRACT

We study the store-and-forward packet routing problem for simultaneous multicasts, in which multiple packets have to be forwarded along given trees as fast as possible. This is a natural generalization of the seminal work of Leighton, Maggs and Rao, which solved this problem for unicasts, i.e. the case where all trees are paths. They showed the existence of asymptotically optimal $O(C + D)$-length schedules, where the congestion $C$ is the maximum number of packets sent over an edge and the dilation $D$ is the maximum depth of a tree. This improves over the trivial $O(CD)$ length schedules. We prove a lower bound for multicasts, which shows that there do not always exist schedules of non-trivial length, $o(CD)$. On the positive side, we construct $O(C+D+\log^2 n)$-length schedules in any $n$-node network. These schedules are near-optimal, since our lower bound shows that this length cannot be improved to $O(C+D) + o(\log n)$.

研究の動機と目的

• ストアアンドフォワードネットワークにおける同時マルチキャストスケジューリングの既知の上界と下界の間のギャップを埋めること。
• 非自明な$O(CD)$の下界を改善し、近的最適なスケジュール長を達成する分散アルゴリズムを開発すること。
• 一般に$O(C+D) + o(\log n)$のスケジュールが不可能であることを示すタイトな下界を確立すること。
• 短距離パス分解と確率的遅延を用いて、理論的限界に一致する構成的で分散可能なソリューションを提供すること。

提案手法

• マルチキャスト木のための$(\log^{1+\epsilon}n, \log n)$-短距離パス分解を導入し、効率的な分散計算を可能にする。
• 2段階の分散アルゴリズムを用いる：まず、$O((C+D)(1 + \frac{\log \min\{C,D\}}{\log\log n}))$ラウンドで短距離パス分解を計算する。
• 確率的遅延スケジューリングを適用：各マルチキャスト木は$O(C/L)$時間フレームのランダム遅延を選択する。ここで$L = \log^{2+\epsilon}n$である。
• 各時間フレームごとに$L$レベルのブロックに分割して送信をスケジューリングし、各フレームあたりの混雑度が期待値および高確率で$O(L)$に抑えられるようにする。
• 各ブロックに対してOstrovsky-Rabaniの分散アルゴリズムを用い、1ブロックあたり$O(L)$時間で処理を達成する。
• ブロックスケジューリングと短距離パス分解を組み合わせることで、合計時間$O(C + D + \log^{2+\epsilon}n)$を達成する。

実験結果

リサーチクエスチョン

• RQ1 同時にマルチキャストを行うスケジュール長を、$O(C + D + \log^2 n)$という近的最適な長さに達成できるか。これは既知の下界と一致する。
• RQ2 このようなスケジュールを、効率的なラウンド複雑度を伴って分散的に構築することは可能か。
• RQ3 同時にマルチキャストのスケジュール長の根本的限界は何か。$\Omega(CD)$ もしくはよりタイトな値であるかを証明できるか。
• RQ4 マルチキャスト木を短距離パスに分解することで、効率的な分散スケジューリングが可能になるか。
• RQ5 確率的遅延スケジューリングとブロック送信を組み合わせることで、$O(CD)$ の下界を改善できるか。

主な発見

• 論文は、$O(C+D) + o(\log n)$ のスケジュール長は不可能であることを示す下界を確立し、$O(C+D+\log^2 n)$ が近的最適であることを証明した。
• $(\log^{1+\epsilon}n, \log n)$-短距離パス分解を$O((C+D)(1 + \frac{\log \min\{C,D\}}{\log\log n}))$ラウンドで計算する分散アルゴリズムを提示した。
• 合計スケジュール長が$O(C + D + \log^{2+\epsilon}n)$に達し、$\epsilon > 0$ の場合、これは$O(C + D + \log^2 n)$に等しい。
• 木を$L = \log^{2+\epsilon}n$-レベルのブロックに分割し、ランダム遅延を用いることで、各時間フレームあたりの混雑度が期待値および高確率で$O(L)$に抑えられる。
• 各$L$レベルのブロックはOstrovsky-Rabaniアルゴリズムでスケジューリングされ、1ブロックあたり$O(L)$時間で処理され、全体の境界が保証される。
• この結果、長年の理論的理解のギャップが埋められ、$O(C+D+\log^2 n)$ が低次の項を除いて最良のものであることが示された。