[論文レビュー] Lecture Notes on Evasiveness of Graph Properties

László Lovász, N. A. Young|arXiv (Cornell University)|May 18, 2002

Advanced Graph Theory Research被引用数 13

ひとこと要約

この論文は、グラフ性質の意思決定木の複雑さについて包括的な分析を提示し、特に最悪ケースですべての入力ビットを調べなければならない「回避性（evasiveness）」に焦点を当てる。敵対的議論、不動点定理、および確率的意思決定木の下界を用いて、素数 n に対して Aanderaa-Karp-Rosenberg 予想を証明し、Saks-Wigderson の定理を用いて木関数のタイトな下界を確立する。

ABSTRACT

This report presents notes from the first eight lectures of the class Many Models of Complexity taught by Laszlo Lovasz at Princeton University in the fall of 1990. The topic is evasiveness of graph properties: given a graph property, how many edges of the graph an algorithm must check in the worst case before it knows whether the property holds.

研究の動機と目的

• 最悪ケースですべての入力ビットをチェックする必要があるグラフ性質を同定し、回避性を定義すること。
• 位相的および組合せ的手段を用いて、頂点数が素数である場合の Aanderaa-Karp-Rosenberg 予想を解決すること。
• 単調なグラフ性質の確率的意思決定木の複雑さに対するタイトな下界を確立すること。
• 単体的複体における不動点定理を応用して、単調なグラフ性質の回避性を証明すること。
• 非決定的および確率的意思決定木を解析するためのフレームワークを構築すること。

提案手法

• 特定の関数（例：すべての行に1が存在する関数）が、すべての入力をチェックするまで不確実性を保ち続けることから、敵対的議論を用いて回避性を示す。
• 単体的写像の不動点定理を適用し、可縮な複体を持つ単調なグラフ性質が回避的であることを証明する。
• 再帰的コスト関数と確率的解析を用いた Saks-Wigderson の下界技法を適用し、確率的意思決定木の複雑さを導出する。
• 一般化されたコスト関数を導入し、Farkas の補題および von Neumann の最小最大定理を用いて、確率的複雑さの下界を導出する。
• グラフパッキング補題および Yao の d_max / d̄ 補題を用いて、確率的意思決定木の下界を強化する。
• Möbius 変換および多面体幾何学を用いて、グラフ性質に関連する単体的複体の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ性質について意思決定木の複雑さがエッジ数に等しくなるか、すなわち回避的であるか？
• RQ2 頂点数が素数であるグラフについて、Aanderaa-Karp-Rosenberg 予想は成り立つか？
• RQ3 単調なグラフ性質の確率的意思決定木の複雑さは何か？ そして、組合せ的および位相的道具を用いて下界を付けることができるか？
• RQ4 単体的複体における不動点定理をどのように用いて、単調関数の回避性を証明できるか？
• RQ5 グラフパッキングおよびコストベースの還元を用いて、確率的意思決定木の複雑さに対するタイトな下界を導出できるか？

主な発見

• 位相的手法を用いて、頂点数が素数であるグラフについて Aanderaa-Karp-Rosenberg 予想が真であると証明された。
• 敵対的議論および単体的複体の可縮性を用いて、連結性および「木」関数が回避的であることが示された。
• Saks-Wigderson の下界定理により、木関数の確率的意思決定木の複雑さが、特定の再帰的コスト関数を用いて max{l⁰(f), l¹(f)} 以上であることが示された。
• 交互に AND/OR をとる関数について、Saks-Wigderson の定理により、確率的複雑さの上界がタイトであることが確認された。
• 本論文は、確率的意思決定木の複雑さの下界を向上させる一般化されたパッキング補題を導出した。
• Farkas の補題および von Neumann の最小最大定理を用いて、確率的意思決定木の複雑さが、グラフパッキングおよびコスト分布から導かれる値によって下界づけられることを証明した。