[論文レビュー] Optimal Deterministic Routing and Sorting on the Congested Clique

Christoph Lenzen|arXiv (Cornell University)|Jul 8, 2012

Complexity and Algorithms in Graphs参考文献 11被引用数 6

ひとこと要約

本稿では、各ノードが各ラウンドで O(log n) ビットを使用してすべての他のノードと通信する、コンフリクトクラウドモデルにおける最適ルーティングおよびソーティングの最初の決定的で定数ラウンドのアルゴリズムを提示する。階層的メッセージルーティング、二部多重グラフの辺彩色、および効率的な局所計算を活用することで、両問題に対して最適な O(1) ラウンドを達成し、このモデルにおける決定的複雑度に関する長年の未解決問題を解決した。

ABSTRACT

Consider a clique of n nodes, where in each synchronous round each pair of nodes can exchange O(log n) bits. We provide deterministic constant-time solutions for two problems in this model. The first is a routing problem where each node is source and destination of n messages of size O(log n). The second is a sorting problem where each node i is given n keys of size O(log n) and needs to receive the ith batch of n keys according to the global order of the keys. The latter result also implies deterministic constant-round solutions for related problems such as selection or determining modes.

研究の動機と目的

• コンフリクトクラウドモデルにおける確率的アルゴリズムと決定的アルゴリズムのギャップを埋めること。確率的解法は定数ラウンドを達成しているが、決定的解法は未知であった。
• 各ノードが O(log n) のサイズの n メッセージを送受信する条件下で、O(1) ラウンドでルーティング問題を解く決定的アルゴリズムを設計すること。
• 各ノードが n 個のキーを保持し、全順序でソートされた形で自身に割り当てられたキーのバッチを学習する必要がある状況で、O(1) ラウンドでソーティング問題を解くこと。
• 決定的定数ラウンド解法が、選択やモード計算などの関連問題に対しても効率的な解法をもたらすことを確立すること。

提案手法

• ノードを √n 個のグループに分割することで、階層的ルーティング構造を構築し、ネットワーク全体にメッセージを効率的に分散すること。
• 二段階ルーティング戦略を適用する：まずラウンドロビン方式で中間ノードにメッセージをルーティングし、次に1ラウンドで最終宛先に転送する。
• 二部多重グラフの辺彩色技術を用いて、競合を避ける通信チャネルにメッセージを割り当て、ノードが帯域幅制限を超えないようにすること。
• Cole-Vishkinのアルゴリズムの変種を用い、O(|E| log Δ) の時間計算量を持つ二部多重グラフの辺彩色を、定数ラウンド内に収めるように適合させること。
• バケットソートとプレフィックス計算を用いて、各ノードでの局所的ソートと集約処理を実装し、キーの順序付けとインデックス管理を管理すること。
• ソーティング後、2ラウンドのアナウンスフェーズを実施し、全ノードが全ソート済み列におけるキーのグローバルインデックスを計算できるようにすること。これにより、選択やモード問題の解決が可能になる。

実験結果

リサーチクエスチョン

• RQ1 O(log n) のメッセージサイズを持つコンフリクトクラウドモデルにおいて、O(1) ラウンドで最適な決定的ルーティングが達成可能か？
• RQ2 各ノードが n 個のキーを保持するコンフリクトクラウドモデルにおいて、決定的定数ラウンドアルゴリズムが存在し、各ノードが全順序でソートされた形で自身に割り当てられたバッチを学習できるか？
• RQ3 このソーティングアルゴリズムは、選択やモード計算などの関連問題を定数ラウンドで解けるように拡張可能か？
• RQ4 各エッジあたりラウンドごとに O(log n) ビットの帯域幅制限がある状況下で、決定的ルーティングおよびソーティングの計算および通信複雑度は何か？

主な発見

• 本稿では、37ラウンドで完了する決定的アルゴリズムを提示し、各ノードが O(log n) の帯域幅制限を超えない範囲で最適なメッセージ配信を達成した。
• 37ラウンドで完了する決定的ソーティングアルゴリズムを設計し、各ノードが全順序でソートされた形で自身に割り当てられた n 個のキーのバッチを学習できるようになった。
• このソーティングアルゴリズムにより、全ノードが全ソート済み列におけるキーのグローバルインデックスを定数ラウンドの追加で計算可能となり、効率的な選択やモード計算が可能になった。
• 帯域幅制限がある中でも、階層的ルーティング、二部多重グラフの辺彩色、および局所計算の新規な組み合わせにより、定数ラウンドの複雑度を達成した。
• 結果として、決定的アルゴリズムがコンフリクトクラウドモデルにおいて確率的アルゴリズムと同等のラウンド複雑度を達成できることを示し、文献における重要なギャップを埋めた。
• √n が整数でない場合でも、メッセージサイズを調整することで、37ラウンドの上限がすべての n に対して成り立つことが保証された（定数倍のメッセージサイズ増加により）。