TY - GEN

T1 - Distributed verification of minimum spanning trees

AU - Korman, Amos

AU - Kutten, Shay

PY - 2006

Y1 - 2006

N2 - The problem of verifying a Minimum Spanning Tree (MST) was introduced by Tarjan in a sequential setting. Given a graph and a tree that spans it, the algorithm is required to check whether this tree is an MST. This paper investigates the problem in the distributed setting, where the input is given in a distributed manner, i.e., every node "knows" which of its own emanating edges belong to the tree. Informally, the distributed MST verification problem is the following. Label the vertices of the graph in such a way that for every node, given its own label and the labels of its neighbors only, the node can detect whether these edges are indeed its MST edges. In this paper we present such a verification scheme with a maximum label size of O(log n log W), where n is the number of nodes and W is the largest weight of an edge. We also give a matching lower bound of Ω(log n log W) (except when W ≤ log n). Both our bounds improve previously known bounds for the problem. For the related problem of tree sensitivity also presented by Tarjan, our method yields rather efficient schemes for both the distributed and the sequential settings. Our techniques (both for the lower bound and for the upper bound) may indicate a strong relation between the fields of proof labeling schemes and implicit labeling schemes.

AB - The problem of verifying a Minimum Spanning Tree (MST) was introduced by Tarjan in a sequential setting. Given a graph and a tree that spans it, the algorithm is required to check whether this tree is an MST. This paper investigates the problem in the distributed setting, where the input is given in a distributed manner, i.e., every node "knows" which of its own emanating edges belong to the tree. Informally, the distributed MST verification problem is the following. Label the vertices of the graph in such a way that for every node, given its own label and the labels of its neighbors only, the node can detect whether these edges are indeed its MST edges. In this paper we present such a verification scheme with a maximum label size of O(log n log W), where n is the number of nodes and W is the largest weight of an edge. We also give a matching lower bound of Ω(log n log W) (except when W ≤ log n). Both our bounds improve previously known bounds for the problem. For the related problem of tree sensitivity also presented by Tarjan, our method yields rather efficient schemes for both the distributed and the sequential settings. Our techniques (both for the lower bound and for the upper bound) may indicate a strong relation between the fields of proof labeling schemes and implicit labeling schemes.

KW - Distributed algorithms

KW - Graph property verification

KW - Labeling schemes

KW - Minimum Spanning Tree

KW - Network algorithms

KW - Proof labeling

KW - Self stabilization

UR - http://www.scopus.com/inward/record.url?scp=33748706344&partnerID=8YFLogxK

U2 - 10.1145/1146381.1146389

DO - 10.1145/1146381.1146389

M3 - Conference contribution

AN - SCOPUS:33748706344

SN - 1595933840

SN - 9781595933843

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 26

EP - 34

BT - Proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing 2006

PB - Association for Computing Machinery (ACM)

T2 - 25th Annual ACM Symposium on Principles of Distributed Computing 2006

Y2 - 23 July 2006 through 26 July 2006

ER -