Skip to main content
Top
Published in: Computing 2/2023

29-11-2022 | Regular Paper

Edge exploration of anonymous graph by mobile agent with external help

Authors: Amit Kumar Dhar, Barun Gorain, Kaushik Mondal, Shaswati Patra, Rishi Ranjan Singh

Published in: Computing | Issue 2/2023

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Exploration of an unknown network by one or multiple mobile entities is a well studied problem which has various applications like treasure hunt, collecting data from some node in the network or samples from contaminated mines. In this paper, we study the problem of edge exploration of an n node graph by a mobile agent. The nodes of the graph are anonymous, and the edges at a node of degree d are arbitrarily assigned unique port numbers in the range \(0,1, \dots , d-1\). A mobile agent, starting from a node, has to visit all the edges of the graph and stop. The time of the exploration is the number of edges the agent traverses before it stops. The task of exploration can not be performed even for a class of cycles if no additional help is provided. We consider two different ways of providing additional help to the agent by an Oracle. In the first scenario, the nodes of the graph are provided some short labels by the Oracle. In the second scenario, some additional information, called advice, is provided to the agent in the form of a binary string. For the first scenario, we show that exploration can be done by providing constant size labels to the nodes of the graph. For the second scenario, we show that exploration can not be completed within time \(o(n^{\frac{8}{3}})\) regardless of the advice provided to the agent. We propose an upper bound result by designing an \(O(n^3)\) algorithm with \(O(n \log n)\) advice. We also show a lower bound \(\Omega (n^{\frac{8}{3}})\) on the size of advice to perform exploration in \(O(n^3)\) time. In addition, we have done experimental studies on randomly created anonymous graph to analyze time complexity of exploration with \(O(n \log n)\) size advice.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Awerbuch B, Betke M, Ronald L, Rivest M. Singh (1999) Piecemeal graph exploration by a mobile robot. Inf Comput 152:155–172CrossRefMATH Awerbuch B, Betke M, Ronald L, Rivest M. Singh (1999) Piecemeal graph exploration by a mobile robot. Inf Comput 152:155–172CrossRefMATH
2.
go back to reference Bender MA, Fernández A, Ron D, Sahai A, Vadhan SP (2002) The power of a pebble: exploring and mapping directed graphs. Inf Comput 176:1–21CrossRefMATH Bender MA, Fernández A, Ron D, Sahai A, Vadhan SP (2002) The power of a pebble: exploring and mapping directed graphs. Inf Comput 176:1–21CrossRefMATH
3.
go back to reference Bender MA, Slonim D (1994) The power of team exploration: two robots can learn unlabeled directed graphs. In: Proceedings of the 35th annual symposium on foundations of computer science (FOCS 1994), pp 75–85 Bender MA, Slonim D (1994) The power of team exploration: two robots can learn unlabeled directed graphs. In: Proceedings of the 35th annual symposium on foundations of computer science (FOCS 1994), pp 75–85
4.
go back to reference Borodin A, Ruzzo W, Tompa M (1992) Lower bounds on the length of universal traversal sequences. J Comput Syst Sci 45:180–203CrossRefMATH Borodin A, Ruzzo W, Tompa M (1992) Lower bounds on the length of universal traversal sequences. J Comput Syst Sci 45:180–203CrossRefMATH
5.
go back to reference Boyar J, Favrholdt LM, Kudahl C, Larsen KS, Mikkelsen JW (2017) Online algorithms with advice: a survey. ACM Comput Surv 50(2):19:1-19:34MATH Boyar J, Favrholdt LM, Kudahl C, Larsen KS, Mikkelsen JW (2017) Online algorithms with advice: a survey. ACM Comput Surv 50(2):19:1-19:34MATH
6.
go back to reference Chalopin J, Das S, Kosowski A (2010) Constructing a map of an anonymous graph: applications of universal sequences. In: Proceedings of the 14th international conference on principles of distributed systems (OPODIS 2010), pp 119–134 Chalopin J, Das S, Kosowski A (2010) Constructing a map of an anonymous graph: applications of universal sequences. In: Proceedings of the 14th international conference on principles of distributed systems (OPODIS 2010), pp 119–134
7.
go back to reference Cohen R, Fraigniaud P, Ilcinkas D, Korman A, Peleg D (2008) Label-guided graph exploration by a finite automaton. ACM Trans Algorithms Cohen R, Fraigniaud P, Ilcinkas D, Korman A, Peleg D (2008) Label-guided graph exploration by a finite automaton. ACM Trans Algorithms
8.
go back to reference Diks K, Fraigniaud P, Kranakis E, Pelc A (2004) Tree exploration with little memory. J Algorithms 51:38–63CrossRefMATH Diks K, Fraigniaud P, Kranakis E, Pelc A (2004) Tree exploration with little memory. J Algorithms 51:38–63CrossRefMATH
9.
go back to reference Dobrev S, Kralovic R, Markou E (2012) Online graph exploration with advice. In: Proceedings of the 19th international colloquium on structural information and communication complexity (SIROCCO 2012), pp 267–278 Dobrev S, Kralovic R, Markou E (2012) Online graph exploration with advice. In: Proceedings of the 19th international colloquium on structural information and communication complexity (SIROCCO 2012), pp 267–278
10.
go back to reference Duncan CA, Kobourov SG, Anil Kumar VS (2006) Optimal constrained graph exploration. ACM Trans Algorithms 2:380–402CrossRefMATH Duncan CA, Kobourov SG, Anil Kumar VS (2006) Optimal constrained graph exploration. ACM Trans Algorithms 2:380–402CrossRefMATH
11.
go back to reference Ellen F, Gorain B, Miller A, Pelc A (2019) Constant-length labeling schemes for deterministic radio broadcast. In: Proceedings of the 31st ACM symposium on parallelism in algorithms and architectures (SPAA) 2019, pp 171–178 Ellen F, Gorain B, Miller A, Pelc A (2019) Constant-length labeling schemes for deterministic radio broadcast. In: Proceedings of the 31st ACM symposium on parallelism in algorithms and architectures (SPAA) 2019, pp 171–178
12.
go back to reference Emek Y, Fraigniaud P, Korman A, Rosen A (2011) Online computation with advice. Theoret Comput Sci 412:2642–2656CrossRefMATH Emek Y, Fraigniaud P, Korman A, Rosen A (2011) Online computation with advice. Theoret Comput Sci 412:2642–2656CrossRefMATH
13.
go back to reference Fraigniaud P, Gavoille C, Ilcinkas D, Pelc A (2009) Distributed computing with advice: Information sensitivity of graph coloring. Distrib Comput 21:395–403CrossRefMATH Fraigniaud P, Gavoille C, Ilcinkas D, Pelc A (2009) Distributed computing with advice: Information sensitivity of graph coloring. Distrib Comput 21:395–403CrossRefMATH
14.
go back to reference Fraigniaud P, Ilcinkas D, Pelc A (2010) Communication algorithms with advice. J Comput Syst Sci 76:222–232 Fraigniaud P, Ilcinkas D, Pelc A (2010) Communication algorithms with advice. J Comput Syst Sci 76:222–232
15.
go back to reference Fraigniaud P, Ilcinkas D, Pelc A (2008) Tree exploration with advice. Inf Comput 206:1276–1287CrossRefMATH Fraigniaud P, Ilcinkas D, Pelc A (2008) Tree exploration with advice. Inf Comput 206:1276–1287CrossRefMATH
16.
go back to reference Fraigniaud P, Korman A, Lebhar E (2010) Local MST computation with short advice. Theory Comput Syst 47:920–933CrossRefMATH Fraigniaud P, Korman A, Lebhar E (2010) Local MST computation with short advice. Theory Comput Syst 47:920–933CrossRefMATH
17.
go back to reference Fraigniaud P, Ilcinkas D (2004) Directed graphs exploration with little memory. In: Proceedings of the 21st symposium on theoretical aspects of computer science (STACS 2004), pp 246–257 Fraigniaud P, Ilcinkas D (2004) Directed graphs exploration with little memory. In: Proceedings of the 21st symposium on theoretical aspects of computer science (STACS 2004), pp 246–257
18.
go back to reference Fusco E, Pelc A (2011) Trade-offs between the size of advice and broadcasting time in trees. Algorithmica 60:719–734CrossRefMATH Fusco E, Pelc A (2011) Trade-offs between the size of advice and broadcasting time in trees. Algorithmica 60:719–734CrossRefMATH
19.
go back to reference Fusco E, Pelc A, Petreschi R (2016) Topology recognition with advice. Inf Comput 247:254–265CrossRefMATH Fusco E, Pelc A, Petreschi R (2016) Topology recognition with advice. Inf Comput 247:254–265CrossRefMATH
20.
go back to reference Gavoille C, Peleg D, Pérennes S, Raz R (2004) Distance labeling in graphs. J Algorithms 53:85–112CrossRefMATH Gavoille C, Peleg D, Pérennes S, Raz R (2004) Distance labeling in graphs. J Algorithms 53:85–112CrossRefMATH
21.
go back to reference Gorain B, Pelc A (2018) Deterministic graph exploration with advice. ACM Trans Algorithms 15:8:1-8:17MATH Gorain B, Pelc A (2018) Deterministic graph exploration with advice. ACM Trans Algorithms 15:8:1-8:17MATH
22.
go back to reference Gorain B, Pelc A (2021) Short labeling schemes for topology recognition in wireless tree networks. Theor Comput Sci 861:23–44CrossRefMATH Gorain B, Pelc A (2021) Short labeling schemes for topology recognition in wireless tree networks. Theor Comput Sci 861:23–44CrossRefMATH
23.
go back to reference Gorain B, Pelc A (2021) Finding the size and the diameter of a radio network using short labels. Theor Comput Sci 864:20–33CrossRefMATH Gorain B, Pelc A (2021) Finding the size and the diameter of a radio network using short labels. Theor Comput Sci 864:20–33CrossRefMATH
24.
go back to reference Ilcinkas D, Kowalski D, Pelc A (2012) Fast radio broadcasting with advice. Theor Comput Sci 411:1544–1557CrossRefMATH Ilcinkas D, Kowalski D, Pelc A (2012) Fast radio broadcasting with advice. Theor Comput Sci 411:1544–1557CrossRefMATH
25.
26.
go back to reference Megow N, Mehlhorn K, Schweitzer P (2012) Online graph exploration: new results on old and new algorithms. Theoret Comput Sci 463:62–72CrossRefMATH Megow N, Mehlhorn K, Schweitzer P (2012) Online graph exploration: new results on old and new algorithms. Theoret Comput Sci 463:62–72CrossRefMATH
27.
28.
go back to reference Pelc A, Tiane A (2014) Efficient grid exploration with a stationary token. Int J Found Comput Sci 25:247–262CrossRefMATH Pelc A, Tiane A (2014) Efficient grid exploration with a stationary token. Int J Found Comput Sci 25:247–262CrossRefMATH
29.
go back to reference Rao NSV, Kareti S, Shi W, Iyengar SS (1993) Robot navigation in unknown terrains: introductory survey of non-heuristic algorithms. Technical report ORNL/TM-12410, Oak Ridge National Laboratory Rao NSV, Kareti S, Shi W, Iyengar SS (1993) Robot navigation in unknown terrains: introductory survey of non-heuristic algorithms. Technical report ORNL/TM-12410, Oak Ridge National Laboratory
Metadata
Title
Edge exploration of anonymous graph by mobile agent with external help
Authors
Amit Kumar Dhar
Barun Gorain
Kaushik Mondal
Shaswati Patra
Rishi Ranjan Singh
Publication date
29-11-2022
Publisher
Springer Vienna
Published in
Computing / Issue 2/2023
Print ISSN: 0010-485X
Electronic ISSN: 1436-5057
DOI
https://doi.org/10.1007/s00607-022-01136-8

Other articles of this Issue 2/2023

Computing 2/2023 Go to the issue

Premium Partner