We give a silent self-stabilizing protocol for computing a maximum matching in an anonymous network with a tree topology. The round complexity of our protocol is O(diam), where diam is the diameter of the network, and the step complexity is O(n*diam), where n is the number of processes in the network. The working space complexity is O(1) per process, although the output necessarily takes O(log(delta)) space per process, where delta is the degree of that process. To implement parent pointers in constant space, regardless of degree, we use the cyclic Abelian group Z_7.
@InProceedings{datta_et_al:LIPIcs.OPODIS.2015.16, author = {Datta, Ajoy K. and Larmore, Lawrence L. and Masuzawa, Toshimitsu}, title = {{Maximum Matching for Anonymous Trees with Constant Space per Process}}, booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)}, pages = {16:1--16:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-98-9}, ISSN = {1868-8969}, year = {2016}, volume = {46}, editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.16}, URN = {urn:nbn:de:0030-drops-66074}, doi = {10.4230/LIPIcs.OPODIS.2015.16}, annote = {Keywords: anonymous tree, maximum matching, self-stabilization, unfair daemon} }
Feedback for Dagstuhl Publishing