Reliably Detecting Connectivity using Local Graph Traits
Name
MIT-CSAIL-TR-2010-043.pdf
Size
355.24 KB
Format
Adobe PDF
Checksum (MD5)
f864ea5d823e3fe9ab445575c5c75f7e
Author(s) •
Cornejo, Alejandro
Lynch, Nancy A.
Advisor(s)
Nancy Lynch
Date Issued
September 9, 2010
Series/Report no.
MIT-CSAIL-TR-2010-043
Abstract
Local distributed algorithms can only gather sufficient information to identify local graph traits, that is, properties that hold within the local neighborhood of each node. However, it is frequently the case that global graph properties (connectivity, diameter, girth, etc) have a large influence on the execution of a distributed algorithm. This paper studies local graph traits and their relationship with global graph properties. Specifically, we focus on graph k-connectivity. First we prove a negative result that shows there does not exist a local graph trait which perfectly captures graph k-connectivity. We then present three different local graph traits which can be used to reliably predict the k-connectivity of a graph with varying degrees of accuracy. As a simple application of these results, we present upper and lower bounds for a local distributed algorithm which determines if a graph is k-connected. As a more elaborate application of local graph traits, we describe, and prove the correctness of, a local distributed algorithm that preserves k-connectivity in mobile ad hoc networks while allowing nodes to move independently whenever possible.
Subjects
Connectivity
Graph Traits
Distributed
Persistent DSpace Link