[論文レビュー] Investigating the Cost of Anonymity on Dynamic Networks

Giuseppe Antonio Di Luna, Roberto Baldoni|arXiv (Cornell University)|May 13, 2015

Opportunistic and Delay-Tolerant Networks参考文献 17被引用数 6

ひとこと要約

この論文は、ブロードキャストと無制限帯域幅を備えた匿名動的ネットワークにおけるノード数を数えるのに要する時間の根本的な下界を確立する。動的直径 D が定数であっても、匿名性のため、D に加えて Ω(log |V|) の追加ラウンドが必要であることを示し、このようなシステムにおける匿名性の大きなコストを明らかにする。

ABSTRACT

In this paper we study the difficulty of counting nodes in a synchronous dynamic network where nodes share the same identifier, they communicate by using a broadcast with unlimited bandwidth and, at each synchronous round, network topology may change. To count in such setting, it has been shown that the presence of a leader is necessary. We focus on a particularly interesting subset of dynamic networks, namely extit{Persistent Distance} - ${\cal G}($PD$)_{h}$, in which each node has a fixed distance from the leader across rounds and such distance is at most $h$. In these networks the dynamic diameter $D$ is at most $2h$. We prove the number of rounds for counting in ${\cal G}($PD$)_{2}$ is at least logarithmic with respect to the network size $|V|$. Thanks to this result, we show that counting on any dynamic anonymous network with $D$ constant w.r.t. $|V|$ takes at least $D+ Ω( ext{log}\, |V| )$ rounds where $Ω( ext{log}\, |V|)$ represents the additional cost to be payed for handling anonymity. At the best of our knowledge this is the fist non trivial, i.e. different from $Ω(D)$, lower bounds on counting in anonymous interval connected networks with broadcast and unlimited bandwith.

研究の動機と目的

• ノードが同一視不能であり、通信がブロードキャストである動的ネットワークにおける匿名性の計算コストを調査すること。
• 匿名動的ネットワークにおいて、リーダーがネットワークサイズ |V| を正しく計算するために必要な最小ラウンド数を特定すること。
• ノードからリーダーまでの距離がラウンドにわたり恒続するような特定のクラスの動的ネットワーク、G(PD)h を同定および分析すること。
• 動的直径 D よりも厳密に大きい非自明な数え上げ複雑度の下界を確立し、匿名性の影響を強調すること。

提案手法

• 各ノードがラウンドにわたりリーダーからの距離 h を固定するネットワーク族 G(PD)h を導入する。
• ノードがリーダーから距離 2 の位置にあり、その間を動的に変化する経路で接続される G(PD)2 の部分クラスを分析する。
• 線形代数的手法を用いてリーダーの状態の進化をモデル化し、メッセージをベクトルとして表現し、メッセージの伝播を行列乗算として表現する。
• 同じリーダー状態をもたらす区別不能なメッセージパターンを表すカーネルベクトル k_r を定義し、このようなパターンが線形従属でなければならないことを証明する。
• 異なるネットワークサイズ（n と n+1）が同一のリーダー状態を生成できることを示し、矛盾を導くことで、出力が誤りであることを示す。
• log₃(2|W|+1) の境界を活用し、動的マルチグラフにおける数え上げに Ω(log |V|) の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 定数の動的直径を有する匿名動的ネットワークにおいて、リーダーがノード数を数えるために必要な最小ラウンド数は何か？
• RQ2 独自識別子を有するネットワークと比較して、匿名性の存在が数え上げの時間計算量に与える影響は何か？
• RQ3 動的直径 D よりも厳密に大きい非自明な数え上げ複雑度の下界を確立できるか？
• RQ4 動的経路の構造（例：距離2ノードからの複数の経路）が、数え上げの複雑度をどのように向上させるか？

主な発見

• G(PD)2 ネットワーククラスにおいて、いかなる数え上げアルゴリズムも、ネットワークサイズを正しく計算するために少なくとも Ω(log |V|) ラウンドを要する。
• 区別不能なメッセージパターン（カーネルベクトル）が異なるネットワークサイズに対して同じリーダー状態をもたらすことを示すことで、下界が導出される。
• この結果は、定数 D を有する匿名動的ネットワークにおける数え上げが、D + Ω(log |V|) ラウンドを要することを示し、Ω(log |V|) 項が匿名性のコストであることを示唆する。
• これは、ブロードキャストと無制限帯域幅を備えた匿名区間接続ネットワークにおける数え上げの最初の非自明な下界である。
• 動的直径 D が |V| に対して定数であっても、この下界は成り立つため、匿名性が恒久的な時間的コストをもたらすことを示している。
• ノードが各ラウンドの開始時に自身の次数を知っている場合、匿名性のコストは解消される。これは、最小限の局所的知識が複雑度を著しく低減することを示唆する。