[論文レビュー] Universal Framework for Wireless Scheduling Problems

Magnús M. Halldórsson, Tigran Tonoyan|arXiv (Cornell University)|May 29, 2017

Mobile Ad Hoc Networks参考文献 31被引用数 9

ひとこと要約

本稿では、物理的干渉モデルにおける無線スケジューリング問題のための普遍的近似枠組みを提示する。複雑な干渉関係を単純化された衝突グラフに変換することで、リンクおよびレート多様性において二重対数的近似を達成する。この手法により、従来の対数的境界に比べて指数的改善が可能となり、特にレート制御および共同ルーティング・スケジューリングにおいて顕著な効果を示す。また、衝突グラフ定式化における近似が最適であることを証明する。

ABSTRACT

An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model that addresses these questions in full, including rate control. The approximations obtained are doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement. A key contribution is showing that the complex interference relationship of the physical model can be simplified into a novel type of amenable conflict graphs, at a small cost. We also show that the approximation obtained is provably the best possible for any conflict graph formulation.

研究の動機と目的

• 物理的干渉モデル下での無線ネットワークにおけるネットワーク容量の近似という根本的課題に取り組むこと。これには、パワー制御、スケジューリング、ルーティング、レート制御が含まれる。
• 変動レートを扱い、スケジューリング、ルーティング、レート適応の共同最適化を可能にする一般化された近似枠組みを開発すること。
• 物理モデルの複雑な干渉制約を、近似品質を損なわずに取り扱いやすい衝突グラフ表現に簡素化すること。
• 得られた近似が、いかなる衝突グラフ定式化に対しても最良のものであることを証明し、理論的限界を明確にすること。

提案手法

• レート閾値に基づくリンクのレプリカ導入により、物理的干渉モデルを重みなし、無向の衝突グラフに変換し、標準的な最大重み独立集合（MWIS）アルゴリズムの適用を可能にする。
• 個々のリンクの特性にのみ依存する無関係なパワー割り当てを用いるが、最適なパワー適応解に対する近似境界を維持する。
• 各元のリンクに対して、特定のレートレベルに対応する複数のレプリカを持つ修正されたリンクインスタンスを構築する。各レプリカには固定の重みと干渉閾値が設定される。
• 変換された衝突グラフ上で既知のMWIS近似アルゴリズムを適用し、Δ′（リンク長およびレート多様性を要約する）におけるO(log log Δ′)近似を達成する。
• レート制御を伴う分数スケジューリングおよび共同ルーティング・スケジューリング問題を、近似を保つ還元によって、レート制御付きMWIS問題に還元する。
• 主問題（分数スケジューリング）と双対問題（重み付き干渉）の双対性を活用し、近似品質を検証するとともに、実行可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 物理的モデル下で、レート制御およびスケジューリング、ルーティング、パワー制御の共同最適化を含む無線スケジューリング問題を近似する普遍的フレームワークを開発することは可能か？
• RQ2 物理モデルにおける複雑な干渉関係を、近似品質を損なわず、衝突グラフ表現に簡素化することは可能か？
• RQ3 変動レートを伴うスケジューリングに関して、いかなる衝突グラフ定式化でも達成可能な最良の近似比は何か？
• RQ4 任意のパワー制御を用いる最適解と比較して、衝突グラフアプローチの性能はどのように評価されるか？
• RQ5 本フレームワークは、分数スケジューリングおよびレート制御を伴う共同ルーティング・スケジューリングを扱えるように拡張可能か？ また、強力な近似保証を維持できるか？

主な発見

• 提案されたフレームワークは、レート制御付き最大重み独立集合に対してO(log log Δ′)の近似を達成する。ここでΔ′はリンク長および伝送レートの多様性を要約する。
• この近似は、従来の対数的境界に比べて指数的に優れており、いかなる衝突グラフベースの定式化に対しても最良の性能を示す。
• 本フレームワークは、分数スケジューリング、共同ルーティング・スケジューリング、マルチチャネルTDMAを含む、広範なスケジューリング問題クラスの近似を可能にする。これらはすべてレート制御下で実行される。
• 無関係なパワー割り当ての使用により、実装が簡素化されつつ、最適なパワー適応解に対する近似品質を維持する。
• 衝突グラフ変換は、証明的に最適である：レート制御付きスケジューリングに関して、O(log log Δ′)より良い近似比を達成できるようないかなる衝突グラフ定式化も存在しない。
• 数値シミュレーションにより、ランダムに配置されたネットワークインスタンスにおいて、衝突グラフモデルが物理モデルを強力に近似することが確認された。