[論文レビュー] Tighter Upper Bounds for the Minimum Number of Calls and Rigorous Minimal Time in Fault-Tolerant Gossip Schemes

Vilyam H. Hovnanyan, H. E. Nahapetyan+2 more|arXiv (Cornell University)|Apr 20, 2013

Mobile Agent-Based Network Management参考文献 14被引用数 6

ひとこと要約

本稿では、Knödelグラフとホイールグラフを用いた2つの新しい構成を提示し、k故障に耐性を持つgossipスキームの最小通話数τ(n,k)に対するよりタイトな上限を得た。nが十分に大きい場合、τ(n,k) ≤ 2⁄3 nk + O(n) を証明し、nが偶数の場合に最小時間T(n,k) = ⌈log₂n⌉ + k が達成可能であることを示した。これにより、任意のkに対する通話数と時間効率の両面で、従来の境界を改善した。

ABSTRACT

The gossip problem (telephone problem) is an information dissemination problem in which each of $n$ nodes of a communication network has a unique piece of information that must be transmitted to all the other nodes using two-way communications (telephone calls) between the pairs of nodes. During a call between the given two nodes, they exchange the whole information known to them at that moment. In this paper we investigate the $k$-fault-tolerant gossip problem, which is a generalization of the gossip problem, where at most $k$ arbitrary faults of calls are allowed. The problem is to find the minimal number of calls $τ(n,k)$ needed to guarantee the $k$-fault-tolerance. We construct two classes of $k$-fault-tolerant gossip schemes (sequences of calls) and found two upper bounds of $τ(n,k)$, which improve the previously known results. The first upper bound for general even $n$ is $τ(n,k) \leq 1/2 n \lceil\log_2 n ceil + 1/2 n k$. This result is used to obtain the upper bound for general odd $n$. From the expressions for the second upper bound it follows that $τ(n,k) \leq 2/3 n k + O(n)$ for large $n$. Assuming that the calls can take place simultaneously, it is also of interest to find $k$-fault-tolerant gossip schemes, which can spread the full information in minimal time. For even $n$ we showed that the minimal time is $T(n,k)=\lceil\log_2 n ceil + k$.

研究の動機と目的

• nノードからなるネットワークにおけるk故障に耐性を持つ情報拡散に必要な最小通話数τ(n,k)の上界を改善すること。
• Knödelグラフおよびホイールグラフに基づく明示的なk故障耐性gossipスキームを構築し、最大k通話の故障に対しても完全な情報交換を保証すること。
• 通話が並列に実行可能な状況下で、k故障耐性のもとでの完全な情報拡散に要する最小時間T(n,k)を特定すること。
• 特にnk項の係数を1⁄2から2⁄3に改善することで、従来の研究よりもタイトな漸近的境界を提供すること。

提案手法

• Knödelグラフにおける辺素な折り畳み上行パスを用いて、最大k通話の故障に対しても耐性を持つk故障耐性gossipスキームを構築する。
• 整数タイムスロットを用いたエッジラベル化スキームを導入し、同じラベルを持つエッジは同時に実行可能であることを示し、並列実行を可能にする。
• ラベル付きエッジを持つグラフ族を定義し、最大ラベルが全時間T(n,k)に対応することを示し、nが偶数の場合にこの最大ラベルが⌈log₂n⌉ + k に等しいことを証明する。
• ホイールグラフ構造に追加エッジとラベル付きタイムスロットを導入し、特にk=1,2のような小さなkに対して故障耐性を向上させ、より良い境界を得る。
• 折り畳み上行パスに含まれるエッジ数とラベル付きグラフの構造を分析することで、τ(n,k)の上界を導出し、τ(n,k) ≤ 2⁄3 nk + O(n) を得る。
• Knödelグラフの組合せ的性質（正則性、周長、辺素パスなど）を用いて、故障耐性と最小通話数の両方を保証する。

実験結果

リサーチクエスチョン

• RQ1 nサイズのネットワークにおけるk故障耐性gossipに必要な最小通話数τ(n,k)のタイトな上界は何か？
• RQ2 nkの漸近的性能がO(nk)より良く、定数係数を小さくしたk故障耐性gossipスキームを構築可能か？
• RQ3 通話が並列に実行可能な状況下で、k故障耐性gossipを完了するのに要する最小時間T(n,k)は何か？
• RQ4 nが偶数の場合に最小時間T(n,k)が⌈log₂n⌉ + k に等しく、グラフラベル化と構造を用いて厳密に証明可能か？
• RQ5 Knödelグラフおよびホイールグラフに基づく新しい構成は、従来のスキームと比較して通話数と時間効率の両面で優れているか？

主な発見

• 本稿では、nが偶数の場合にτ(n,k) ≤ 1⁄2 n⌈log₂n⌉ + 1⁄2 nk という新しい上界を確立し、nk項の係数を小さくすることで、従来の境界を改善した。
• 一般の偶数nについて、漸近的上界としてτ(n,k) ≤ 2⁄3 nk + O(n) を得た。これは、従来のτ(n,k) ≤ 1⁄2 nk + O(n log n) よりもタイトである。
• nが奇数の場合、偶数nの構成を拡張することで、同じ漸近的オーダー2⁄3 nk + O(n) を維持した。
• 並列通話が可能な状況下で、k故障耐性gossipの最小時間はnが偶数の場合に正確にT(n,k) = ⌈log₂n⌉ + k に等しく、ラベル付きKnödelグラフ構成により達成可能であり、タイトである。
• kが小さい場合、特にk=1およびk=2について、明示的な改善された境界を導出した：τ(n,1) ≤ 2n−3 + ⌊n/2⌋ および τ(n,2) ≤ 3n−3 であり、これらは一般式よりもタイトである。
• Knödelグラフにおける折り畳み上行パスを用いた構成により、すべての通話が整数タイムスロットにラベル付け可能であり、最大ラベルが全時間に対応する。nが偶数の場合に、この最大ラベルが⌈log₂n⌉ + k に等しいことが証明された。