[論文レビュー] Testing properties of graphs and functions

László Lovász, Balázs Szegedy|ArXiv.org|Mar 8, 2008

Graph theory and applications被引用数 5

ひとこと要約

本稿は、グラフオン—大規模グラフの極限対象—からのランダムサンプリングを用いて、グラフおよび関数の性質をテストするための解析的枠組みを導入する。テスト可能なグラフ性質は、小さな摂動に対してのロバストネスおよび閉包性によって特徴付けられ、従来の遺伝的性質を一般化した「柔軟性のある」性質へと拡張され、テスト可能な性質からの最大編集距離は定数ランダムグラフによって達成されることを証明する。

ABSTRACT

We define an analytic version of the graph property testing problem, which can be formulated as studying an unknown 2-variable symmetric function through sampling from its domain and studying the random graph obtained when using the function values as edge probabilities. We give a characterization of properties testable this way, and extend a number of results about ``large graphs'' to this setting. These results can be applied to the original graph-theoretic property testing.

研究の動機と目的

• 密度的なグラフ列の極限対象としてのグラフオンを用いた、グラフ性質テストの解析的モデルの構築。
• サンプリングによる性質のテスト可能性を特徴づけ、従来の遺伝的性質からより一般的な柔軟性のある性質へと結果を拡張すること。
• グラフ極限の文脈において、編集距離、カット距離、およびテスト可能性の間の関係を確立すること。
• テスト可能なグラフ性質からの最大編集距離が定数ランダムグラフによって達成されることを証明し、AlonとStavの結果を一般化すること。
• 関数的バージョンの性質テストを導入・分析すること。ここで性質は [0,1]² 上の対称的可測関数に定義される。

提案手法

• 大規模なグラフをグラフオンとしてモデル化する—すなわち、W: [0,1]² → [0,1] である対称的可測関数として定義し、それらからサンプリングされたランダムグラフ G(n,W) を研究する。
• 誘導部分グラフのサンプリングを用い、編集距離を用いて性質への近接度を測ることで、グラフ性質のテスト可能性を定義する。
• 「柔軟性のある」性質という概念を導入し、遺伝的性質を一般化し、小さな摂動に対してのロバストネスを許容する。
• カットノルムとカット距離を用いて、グラフ列の収束がその極限関数の収束と関係づけられる。
• カットノルムにおけるグラフオンの空間のコンパクト性を用いて、編集距離を最大化する極値関数（例：定数関数）の存在を証明する。
• スゼメレディの正則性補題を明示的に使用せずに、カットノルム空間のコンパクト性を通じて、暗黙的にその結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ性質が、サイズが有界な誘導部分グラフのサンプリングによってテスト可能であり、その特徴づけは組合せ論的にどのように可能か？
• RQ2 解析的グラフ極限の文脈において、編集距離とカット距離の概念はどのように相互作用するか？
• RQ3 テスト可能なグラフ性質の特徴づけを、遺伝的性質を超えてより広いクラスへと拡張可能か？
• RQ4 編集距離において、与えられたテスト可能な性質から最も遠い構造を持つグラフの極値的構造は何か？
• RQ5 有限グラフではなくグラフオン上で定義された性質に対して、性質テストの関数的アナロジーは存在するか？

主な発見

• グラフ性質がテスト可能であるための必要十分条件は、その性質を持つすべてのグラフが、十分に大きな典型的な誘導部分グラフをもち、それが性質を満たすことに近いことである。
• 柔軟かつロバストなグラフ性質からの最大編集距離は、定数ランダムグラフ G(n,p) によって達成され、ここで p は距離を最大化するように選ばれる。
• 任意の柔軟なグラフオン性質 R に対して、d₁(⋅, R) の最大値は定数関数によって達成され、Alon と Stav の結果が一般化される。
• ランダムグラフ G(n,p) における期待編集距離 d₁(G(n,p), P) は、大きな任意のグラフ G に対して、d₁(G, P) ≤ E[d₁(G(n,p), P)] + o(1) を漸近的に上から抑える。
• カットノルムにおけるグラフオンの空間はコンパクトであり、これが極値関数の存在を裏付けるとともに、正則性補題の関数的形を示唆する。
• 編集距離の代わりにカット距離を誤差測定に用いる場合、すべてのグラフオン性質が自明にテスト可能になるため、非自明なテストにおいて編集距離の必要性が示される。