Network Failure Detection and Graph Connectivity
β Scribed by Kleinberg, Jon; Sandler, Mark; Slivkins, Aleksandrs
- Book ID
- 118180890
- Publisher
- Society for Industrial and Applied Mathematics
- Year
- 2008
- Tongue
- English
- Weight
- 245 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0097-5397
No coin nor oath required. For personal study only.
β¦ Synopsis
We consider a model for monitoring the connectivity of a network subject to node or edge failures. In particular, we are concerned with detecting Β£ Β₯Β€ Β§Β¦ Β© -failures: events in which an adversary deletes up to Β¨network elements (nodes or edges), after which there are two sets of nodes and , each at least an Β€ fraction of the network, that are disconnected from one another. We say that a set of nodes is an Β£ Β₯Β€ Β§Β¦ Β© -detection set if, for any Β£ Β€ Β¦ -failure of the network, some two nodes in are no longer able to communicate; in this way, "witnesses" any such failure. Recent results show that for any graph , there is an Β£ Β₯Β€ Β¦ -detection set of size bounded by a polynomial in Β¨and Β€ , independent of the size of .In this paper, we expose some relationships between bounds on detection sets and the edge-connectivity and node-connectivity ! of the underlying graph. Specifically, we show that detection set bounds can be made considerably stronger when parameterized by these connectivity values. We show that for an adversary that can delete edges, there is always a detection set of size " #Β£ Β§$ % '& )( 10 #2 % 3 which can be found by random sampling. Moreover, an Β£ Β€ Β¦ 4 -detection set of minimum size (which is at most 2 % ) can be computed in polynomial time. A crucial point is that these bounds are independent not just of the size of but also of the value of . Extending these bounds to node failures is much more challenging. The most technically difficult result of this paper is that a random sample of " #Β£ 52 % & )( 10 62 % nodes is a detection set for adversaries that can delete a number of nodes up to ! , the node-connectivity.For the case of edge-failures we use VC-dimension techniques and the cactus representation of all minimum edge-cuts of a graph; for node failures, we develop a novel approach for working with the much more complex set of all minimum node-cuts of a graph.
π SIMILAR VOLUMES
## Abstract Chartrand and Stewart have shown that the line graph of an __n__βconnected graph is itself __n__βconnected. This paper shows that for every pair of integers __m__ > __n__ > 1 there is a graph of point connectivity __n__ whose line graph has point connectivity __m__. The corresponding qu