[論文レビュー] Logical locality entails frugal distributed computation over graphs

Stéphane Grumbach, Zhilin Wu|ArXiv.org|Apr 13, 2009

Advanced Graph Theory Research参考文献 25被引用数 3

ひとこと要約

本稿では、有限の連結グラフ上の1階論理（FO）論理的性質が、各ネットワークリンクを通過するメッセージの数が有界であり、各メッセージのサイズがO(log n)であるという節約的な分散計算を用いて評価可能であることを示している。主な結果として、このような評価が有界次数および平面的ネットワーク上で可能であることが示され、正規形とメッセージ効率の良い集約技術を用いて1階論理に単項カウントを拡張した場合にも拡張可能である。

ABSTRACT

First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot have a global view of a structure. This limitation ensures on their low sequential computational complexity. We show that the locality impacts as well on their distributed computational complexity. We use first-order formulae to describe the properties of finite connected graphs, which are the topology of communication networks, on which the first-order formulae are also evaluated. We show that over bounded degree networks and planar networks, first-order properties can be frugally evaluated, that is, with only a bounded number of messages, of size logarithmic in the number of nodes, sent over each link. Moreover, we show that the result carries over for the extension of first-order logic with unary counting.

研究の動機と目的

• 論理的局所性が分散計算複雑性に与える影響を調査すること。
• 1階論理的性質が、通信を最小限に抑えた分散ネットワークで効率的に評価可能かどうかを特定すること。
• 結果を1階論理に単項カウント（FO(#)）を追加した場合に拡張すること。
• グラフ構造上の論理的性質に対する節約的分散計算の可能性を形式化し、証明すること。
• 逐次的低複雑性評価と分散通信効率の間のギャップを埋めること。

提案手法

• 有界次数および平面的グラフ上のFOに対する集中型線形時間評価アルゴリズムを、分散プロトコルに変換すること。
• 先行の分散構成アルゴリズムにインspiredされた、平面的ネットワークの部分グラフの順序付き木分解を用いること。
• BFS木を用いてFO(#)におけるカウントベースの項の効率的集約を実現し、メッセージサイズを有界に保つこと。
• リンクごとに有界な数のO(log n)サイズのメッセージが送信される分散計算を「節約的計算」と定義し、マルチホップ経路を含む場合にも適用可能であることを保証すること。
• FO(#)の正規形を適用して、評価をカウント項に関する基本的な算術比較（t₁ = t₂ または t₁ < t₂）に還元すること。
• 局所的ノード計算を用いて、部分論理式の分散評価結果を統合し、ノード間通信を最小限に抑えること。

実験結果

リサーチクエスチョン

• RQ1 1階論理的性質は、通信量を最小限に抑えた分散環境で評価可能か？
• RQ2 1階論理の局所性は、分散ネットワークにおける有界メッセージ複雑性を示唆するか？
• RQ3 有界次数および平面的グラフ上での1階論理的性質に対して、節約的分散計算が達成可能か？
• RQ4 単項カウント（FO(#))の追加は、分散評価複雑性にどのような影響を与えるか？
• RQ5 グラフのどのような構造的性質（例：有界次数、平面性）が節約的分散評価を可能にするか？

主な発見

• 有界次数グラフ上では、1階論理的性質が、リンクごとに有界な数のメッセージのみを送信することで分散的に評価可能である。
• 平面的グラフに対しても同様の結果が得られ、部分グラフの順序付き木分解の分散構成によって実現されている。
• 1階論理的性質の分散評価では、リンクごとにO(log n)のメッセージサイズで十分であり、スケーラビリティが保証される。
• 1階論理に単項カウント（FO(#))を拡張した場合でも、正規形と有界サイズの項集約を用いることで、節約的分散評価が可能である。
• 各リンクを通過するメッセージ数は、ネットワークサイズに依存せず一様に有界であり、マルチホップ経路を含む場合でも同様である。
• 結果として、論理的局所性が直接的に通信効率の良い分散計算を可能にすることを示しており、逐次的低複雑性と整合的である。