[論文レビュー] Improving the complexity of Parys' recursive algorithm

Karoliina Lehtinen, Sven Schewe+1 more|arXiv (Cornell University)|Apr 26, 2019

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

ひとこと要約

この論文は、パリティゲームを解くParysの再帰的アルゴリズムを、再帰的構造を単純化することで改善し、時間計算量を $2^{O(("log n)("log c))}$ に低下させ、最新の最先端の境界に一致させた。主な革新は、反復ループを1つの再帰呼び出しに置き換えることで、ドミナントサイズのパラメータを半分にすることであり、正しさと固定パrameter可 tractability を保ちながら、準多項式時間の複雑さを達成した。

ABSTRACT

Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.

研究の動機と目的

• パリティゲームを解くParysの準多項式再帰的アルゴリズムの時間計算量を低減すること。
• Parysのアルゴリズムの再帰的構造を単純化し、余分な反復を排除すること。
• CaludeらやJurdziński & Lazićのものも含む、最高の既知のアルゴリズムと同等の複雑さを達成すること。
• 再帰呼び出しにおけるパラメータの半分の処理を通じて、効率を向上させながら正しさを維持すること。
• パリティゲーム解法の文脈において、再帰的アルゴリズムとユニバーサルツリーの関係を分析すること。

提案手法

• Parysのアルゴリズム内の2つのwhileループを、ドミナントサイズのパラメータを半分にする1つの再帰呼び出しに置き換える。
• 新たな再帰的手続きの導入により、$p_E$ と $p_O$ のパラメータを用いて偶数および奇数ドミナントの境界を維持し、再帰的サブコールで $p_O$ を半分にする。
• ドミナントの性質とアトラクター構成に基づく帰納的推論を用いて正しさを証明する。
• 再帰呼び出しの数を制限するための再帰関係 $f(h,l) \leq 2f(h,l-1) + f(h-1,l)$ を適用する。
• コールツリーをユニバーサル $(n,d)$-ツリーとみなすことで、アルゴリズムの構造とパリティゲームの複雑さにおける組合せ的対象との関連を分析する。
• アトラクターに基づくプルーニングを用いて、勝利領域を段階的に削除し、有効なドミナントが失われないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 Parysのアルゴリズムの再帰的構造を単純化することで、正しさを損なわずに時間計算量を低減できるか？
• RQ2 反復ループを再帰的パラメータの半分処理に置き換えることで、最新の最先端のアルゴリズムと同等のタイトな複雑さ境界が得られるか？
• RQ3 再帰的アルゴリズムのコールツリーは、パリティゲーム解法の文脈において、ユニバーサルツリーとどのように関連しているか？
• RQ4 対称的再帰（すべての色を処理）と選択的再帰（交互に色を処理）の複雑さに及ぼす影響は何か？
• RQ5 色の数が状態数の対数である場合、アルゴリズムは固定パラメータ可 tractability と多項式境界を維持できるか？

主な発見

• 改善されたアルゴリズムは、$2^{O((\log n)(\log c))}$ の時間計算量を達成し、パリティゲームソルバーにおける最高の既知の境界と一致する。
• 再帰的構造により、再帰の各段階でパラメータをフルに1回だけ呼び出すようになったため、余分な計算が削減された。
• 再帰呼び出しの数は $2^l \binom{h+l}{l}$ で抑えられ、ここで $l = \lfloor \log p_E \rfloor + \lfloor \log p_O \rfloor$ であるため、準多項式時間の複雑さが得られた。
• アトラクター操作と帰納的推論を通じてドミナント不変量を保ち続けることで、正しさが維持された。
• アルゴリズムのコールツリーはユニバーサル $(n,d)$-ツリーを形成しており、組合せ的ユニバーサルツリーと深い構造的関係があることを示している。
• 色の数 $c$ が $O(\log n)$ の場合、多項式時間の解法が得られ、固定パラメータ可 tractability が確認された。