[論文レビュー] Approximation Schemes for the Betweenness Problem in Tournaments and Related Ranking Problems

Marek Karpiński, Warren Schudy|arXiv (Cornell University)|Nov 11, 2009

Game Theory and Voting Systems参考文献 18被引用数 8

ひとこと要約

本稿では、トーナメントにおける最小中間性問題および関連する壊れやすい順序付け制約充足問題（CSP）に対する、初めての多項式時間近似スキーム（PTAS）を提示する。壊れやすい制約を扱うための新しい技術を導入し、バケツ化された順序付けと確率的丸めを用いることで、出力順序がケンダール・トウ距離において最適解に近く、(1+ε)-近似を達成する。これは、トーナメントに基づく順序付けの近似アルゴリズム分野における長年の未解決問題を解決する。

ABSTRACT

We design the first polynomial time approximation schemes (PTASs) for the Minimum Betweenness problem in tournaments and some related higher arity ranking problems. This settles the approximation status of the Betweenness problem in tournaments along with other ranking problems which were open for some time now. The results depend on a new technique of dealing with fragile ranking constraints and could be of independent interest.

研究の動機と目的

• トーナメントにおける最小中間性問題に対する多項式時間近似スキーム（PTAS）の設計という未解決問題を解消すること。
• PTASを、特に壊れやすいおよび弱壊れやすいk項CSPというより広い順序付け問題のクラスに一般化すること。
• 出力順序がコスト効率が良いだけでなく、ケンダール・トウ距離において最適順序に近いこと保証すること。
• 壊れやすい順序付け制約を統一的に扱うフレームワークを提供し、組合せ最適化分野において独立した価値を持つものとすること。

提案手法

• 単一頂点の入れ替えでは満たせない制約を持つ、壊れやすい順序付けk-CSPの新しいクラスを導入し、構造的な近似を可能にする。
• 各頂点ごとにO(1/ε)の位置を持つバケツ化された順序付けを用い、解空間を離散化すると同時に近似保証を維持する。
• 部分集合の基本順序に基づいて得られる少数の候補順序から、確率的丸めにより順序を選択する。
• 「弱壊れやすさ」の概念を活用し、端点制約が要請されるk項中間性トーナメント問題（BetweennessTour）への結果の拡張を図る。
• 反転数と頂点部分集合上の制約違反の組合せ的バウンドを用いて、コストとケンダール・トウ距離を別々に分析する。
• すべての確率的選択を全通り検証することでアルゴリズムを決定的化し、PTASの保証を損なわずに保つ。

実験結果

リサーチクエスチョン

• RQ1 トーナメントにおける最小中間性問題に対して、従来は定数近似因子でさえ達成できなかったPTASを設計できるか？
• RQ2 標準的な3項中間性制約を超えて、より高次元の順序付け問題へこのアプローチを一般化できるか？
• RQ3 コストを低く抑えつつ、ケンダール・トウ距離において最適順序に近い出力順序を同時に達成できるか？
• RQ4 単一頂点の移動では1つの満たす割り当てから別の満たす割り当てに変換できない壊れやすい制約—これらは効率的な近似スキームを許容するか？

主な発見

• 本稿では、トーナメントにおける最小中間性問題（BetweennessTour）に対する、初めてのPTASを提示し、先行研究における未解決問題を解決する。
• トーナメントにおけるすべての壊れやすい順序付けk-CSP問題に対してPTASが確立され、これは3次元以上の一般化されたフィードバックアークセット問題（k-FAST）を含む。
• 弱壊れやすい問題、例えば端点制約を要請するk項BetweennessTourに対してもPTASが達成され、フレームワークがより広い制約タイプへ拡張された。
• アルゴリズムは、出力順序のうち2~O(1/ε)個のうち、ある1つがコストにおいて最適解の(1+O(ε))以内であり、ケンダール・トウ距離がO(poly(1/ε)·OPT / n^{k-2})以内であることを保証する。
• 任意の固定されたε>0に対して、nに関して多項式時間で実行可能であり、近似保証を失うことなく決定的化可能である。
• 解析により、OPTがε⁴n^kにさえ達する場合でも、適切に選ばれた部分集合Uの外に0、1、または2個以上の頂点を含む制約からの寄与を抑え込むことで、出力順序のコストが最適コストの(1+O(ε))以内であることが示された。