Abstract
Topology recognition is one of the fundamental distributed tasks in networks. Each node of an anonymous network has to deterministically produce an isomorphic copy of the underlying graph, with all ports correctly marked. This task is usually unfeasible without any a priori information. Such information can be provided to nodes as advice. An oracle knowing the network can give a (possibly different) string of bits to each node, and all nodes must reconstruct the network using this advice, after a given number of rounds of communication. During each round each node can exchange arbitrary messages with all its neighbors and perform arbitrary local computations. The time of completing topology recognition is the number of rounds it takes, and the size of advice is the maximum length of a string given to nodes.
We investigate tradeoffs between the time in which topology recognition is accomplished and the minimum size of advice that has to be given to nodes. We provide upper and lower bounds on the minimum size of advice that is sufficient to perform topology recognition in a given time, in the class of all graphs of size n and diameter D ≤ αn, for any constant α < 1. In most cases, our bounds are asymptotically tight. More precisely, if the allotted time is D − k, where 0 < k ≤ D, then the optimal size of advice is Θ((n 2 logn)/(D − k + 1)). If the allotted time is D, then this optimal size is Θ(n logn). If the allotted time is D + k, where 0 < k ≤ D/2, then the optimal size of advice is Θ(1 + (logn) / k). The only remaining gap between our bounds is for time D + k, where D/2 < k ≤ D. In this time interval our upper bound remains O(1 + (logn) / k), while the lower bound (that holds for any time) is 1. This leaves a gap if D ∈ o(logn). Finally, we show that for time 2D + 1, one bit of advice is both necessary and sufficient.
Our results show how sensitive is the minimum size of advice to the time allowed for topology recognition: allowing just one round more, from D to D + 1, decreases exponentially the advice needed to accomplish this task.
This research was done during the visit of Andrzej Pelc at Sapienza, University of Rome, partially supported by a visiting fellowship from this university.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Kaplan, H., Milo, T.: Compact labeling schemes for ancestor queries. In: Proc. 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2001), pp. 547–556 (2001)
Angluin, D.: Local and global properties in networks of processors. In: Proc. 12th Annual ACM Symposium on Theory of Computing (STOC 1980), pp. 82–93 (1980)
Attiya, H., Snir, M., Warmuth, M.: Computing on an anonymous ring. Journal of the ACM 35, 845–875 (1988)
Attiya, H., Bar-Noy, A., Dolev, D., Koller, D., Peleg, D., Reischuk, R.: Renaming in an asynchronous environment. Journal of the ACM 37, 524–548 (1990)
Awerbuch, B.: Optimal distributed algorithms for minimum weight spanning tree, counting, leader election and related problems. In: Proc. 19th Annual ACM Symposium on Theory of Computing (STOC 1987), pp. 230–240 (1987)
Boldi, P., Vigna, S.: Computing anonymously with arbitrary knowledge. In: Proc. 18th ACM Symposium on Principles of Distributed Computing (PODC 1999), pp. 181–188 (1999)
Caminiti, S., Finocchi, I., Petreschi, R.: Engineering tree labeling schemes: a case study on least common ancestor. In: Halperin, D., Mehlhorn, K. (eds.) ESA 2008. LNCS, vol. 5193, pp. 234–245. Springer, Heidelberg (2008)
Chalopin, J., Das, S., Kosowski, A.: Constructing a map of an anonymous graph: Applications of universal sequences. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol. 6490, pp. 119–134. Springer, Heidelberg (2010)
Cohen, R., Fraigniaud, P., Ilcinkas, D., Korman, A., Peleg, D.: Label-guided graph exploration by a finite automaton. ACM Transactions on Algorithms 4 (2008)
Dereniowski, D., Pelc, A.: Drawing maps with advice. Journal of Parallel and Distributed Computing 72, 132–143 (2012)
Emek, Y., Fraigniaud, P., Korman, A., Rosen, A.: Online computation with advice. Theoretical Computer Science 412, 2642–2656 (2011)
Fraigniaud, P., Gavoille, C., Ilcinkas, D., Pelc, A.: Distributed computing with advice: Information sensitivity of graph coloring. Distributed Computing 21, 395–403 (2009)
Fraigniaud, P., Ilcinkas, D., Pelc, A.: Communication algorithms with advice. Journal of Computer and System Sciences 76, 222–232 (2010)
Fraigniaud, P., Ilcinkas, D., Pelc, A.: Tree exploration with advice. Information and Computation 206, 1276–1287 (2008)
Fraigniaud, P., Korman, A., Lebhar, E.: Local MST computation with short advice. Theory of Computing Systems 47, 920–933 (2010)
Fusco, E., Pelc, A.: Trade-offs between the size of advice and broadcasting time in trees. Algorithmica 60, 719–734 (2011)
Fusco, E., Pelc, A.: How much memory is needed for leader election. Distributed Computing 24, 65–78 (2011)
Gavoille, C., Peleg, D., Pérennes, S., Raz, R.: Distance labeling in graphs. Journal of Algorithms 53, 85–112 (2004)
Hirschberg, D.S., Sinclair, J.B.: Decentralized extrema-finding in circular configurations of processes. Communications of the ACM 23, 627–628 (1980)
Ilcinkas, D., Kowalski, D., Pelc, A.: Fast radio broadcasting with advice. Theoretical Computer Science 411, 1544–1557 (2012)
Katz, M., Katz, N., Korman, A., Peleg, D.: Labeling schemes for flow and connectivity. SIAM Journal of Computing 34, 23–40 (2004)
Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distributed Computing 22, 215–233 (2010)
Kranakis, E., Krizanc, D., van der Berg, J.: Computing Boolean functions on anonymous networks. Information and Computation 114, 214–236 (1994)
Nisse, N., Soguet, D.: Graph searching with advice. Theoretical Computer Science 410, 1307–1318 (2009)
Peleg, D.: Distributed computing, a locality-sensitive approach. SIAM Monographs on Discrete Mathematics and Applications, Philadelphia (2000)
Peterson, G.L.: An O(n logn) unidirectional distributed algorithm for the circular extrema problem. ACM Transactions on Programming Languages and Systems 4, 758–762 (1982)
Thorup, M., Zwick, U.: Approximate distance oracles. Journal of the ACM 52, 1–24 (2005)
Yamashita, M., Kameda, T.: Computing on anonymous networks: Part I - characterizing the solvable cases. IEEE Transactions on Parallel and Distributed Systems 7, 69–89 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fusco, E.G., Pelc, A., Petreschi, R. (2013). Use Knowledge to Learn Faster: Topology Recognition with Advice. In: Afek, Y. (eds) Distributed Computing. DISC 2013. Lecture Notes in Computer Science, vol 8205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41527-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-41527-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41526-5
Online ISBN: 978-3-642-41527-2
eBook Packages: Computer ScienceComputer Science (R0)