Skip to main content

2018 | OriginalPaper | Buchkapitel

Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots

verfasst von : Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou

Erschienen in: SOFSEM 2018: Theory and Practice of Computer Science

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A graph environment must be explored by a collection of mobile robots. Some of the robots, a priori unknown, may turn out to be unreliable. The graph is weighted and each node is assigned a deadline. The exploration is successful if each node of the graph is visited before its deadline by a reliable robot. The edge weight corresponds to the time needed by a robot to traverse the edge. Given the number of robots which may crash, is it possible to design an algorithm, which will always guarantee the exploration, independently of the choice of the subset of unreliable robots by the adversary? We find the optimal time, during which the graph may be explored. Our approach permits to find the maximal number of robots, which may turn out to be unreliable, and the graph is still guaranteed to be explored.
We concentrate on line graphs and rings, for which we give positive results. We start with the case of the collections involving only reliable robots. We give algorithms finding optimal times needed for exploration when the robots are assigned to fixed initial positions as well as when such starting positions may be determined by the algorithm. We extend our consideration to the case when some number of robots may be unreliable. Our most surprising result is that solving the line exploration problem with robots at given positions, which may involve crash-faulty ones, is NP-hard. The same problem has polynomial solutions for a ring and for the case when the initial robots’ positions on the line are arbitrary. The exploration problem is shown to be NP-hard for star graphs, even when the team consists of only two reliable robots.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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"

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!

Fußnoten
1
We remind the reader that all robots move with identical unit speed.
 
Literatur
3.
Zurück zum Zitat Bock, S.: Solving the traveling repairman problem on a line with general processing times and deadlines. Eur. J. Oper. Res. 244(3), 690–703 (2015)MathSciNetCrossRefMATH Bock, S.: Solving the traveling repairman problem on a line with general processing times and deadlines. Eur. J. Oper. Res. 244(3), 690–703 (2015)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Christofides, N., Campos, V., Corberán, A., Mota, E.: An algorithm for the rural postman problem on a directed graph. Math. Program. Study 26, 155–166 (1986)MathSciNetCrossRefMATH Christofides, N., Campos, V., Corberán, A., Mota, E.: An algorithm for the rural postman problem on a directed graph. Math. Program. Study 26, 155–166 (1986)MathSciNetCrossRefMATH
6.
Zurück zum Zitat Chrobak, M., Gąsieniec, L., Gorry, T., Martin, R.: Group search on the line. In: Italiano, G.F., Margaria-Steffen, T., Pokorný, J., Quisquater, J.-J., Wattenhofer, R. (eds.) SOFSEM 2015. LNCS, vol. 8939, pp. 164–176. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46078-8_14 Chrobak, M., Gąsieniec, L., Gorry, T., Martin, R.: Group search on the line. In: Italiano, G.F., Margaria-Steffen, T., Pokorný, J., Quisquater, J.-J., Wattenhofer, R. (eds.) SOFSEM 2015. LNCS, vol. 8939, pp. 164–176. Springer, Heidelberg (2015). https://​doi.​org/​10.​1007/​978-3-662-46078-8_​14
7.
Zurück zum Zitat Corberán, A., Sanchis, J.M.: A polyhedral approach to the rural postman problem. Eur. J. Oper. Res. 79(1), 95–114 (1994)CrossRefMATH Corberán, A., Sanchis, J.M.: A polyhedral approach to the rural postman problem. Eur. J. Oper. Res. 79(1), 95–114 (1994)CrossRefMATH
8.
Zurück zum Zitat Czyzowicz, J., Georgiou, K., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J., Shende, S.: Search on a line with Byzantine robots. In: ISAAC, LIPCS (2016) Czyzowicz, J., Georgiou, K., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J., Shende, S.: Search on a line with Byzantine robots. In: ISAAC, LIPCS (2016)
9.
10.
Zurück zum Zitat Czyzowicz, J., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J.: Search on a line with faulty robots. In: PODC, pp. 405–414 (2016) Czyzowicz, J., Kranakis, E., Krizanc, D., Narayanan, L., Opatrny, J.: Search on a line with faulty robots. In: PODC, pp. 405–414 (2016)
11.
12.
Zurück zum Zitat Eiselt, H.A., Gendreau, M., Laporte, G.: Arc routing problems, part II: the rural postman problem. Oper. Res. 43(3), 399–414 (1995)CrossRefMATH Eiselt, H.A., Gendreau, M., Laporte, G.: Arc routing problems, part II: the rural postman problem. Oper. Res. 43(3), 399–414 (1995)CrossRefMATH
13.
Zurück zum Zitat Flocchini, P.: Time-varying graphs and dynamic networks. In: 2015 Summer Solstice: 7th International Conference on Discrete Models of Complex Systems (2015) Flocchini, P.: Time-varying graphs and dynamic networks. In: 2015 Summer Solstice: 7th International Conference on Discrete Models of Complex Systems (2015)
14.
Zurück zum Zitat Fomin, F.V., Thilikos, D.M.: An annotated bibliography on guaranteed graph searching. Theoret. Comput. Sci. 399(3), 236–245 (2008)MathSciNetCrossRefMATH Fomin, F.V., Thilikos, D.M.: An annotated bibliography on guaranteed graph searching. Theoret. Comput. Sci. 399(3), 236–245 (2008)MathSciNetCrossRefMATH
15.
16.
Zurück zum Zitat Garey, M.R., Johnson, D.S.: Computers and Intractability, vol. 29. W. H. Freeman, New York (2002) Garey, M.R., Johnson, D.S.: Computers and Intractability, vol. 29. W. H. Freeman, New York (2002)
17.
Zurück zum Zitat Holte, R., Mok, A., Rosier, L., Tulchinsky, I., Varvel, D.: The pinwheel: a real-time scheduling problem. In: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Software Track, vol. 2, pp. 693–702. IEEE (1989). Also, in Handbook of Scheduling Algorithms, Models, and Performance Analysis. CRC Press (2004) Holte, R., Mok, A., Rosier, L., Tulchinsky, I., Varvel, D.: The pinwheel: a real-time scheduling problem. In: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Software Track, vol. 2, pp. 693–702. IEEE (1989). Also, in Handbook of Scheduling Algorithms, Models, and Performance Analysis. CRC Press (2004)
19.
Zurück zum Zitat Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: Proceedings of the Forty-Second ACM Symposium on Theory of Computing, pp. 513–522. ACM (2010) Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: Proceedings of the Forty-Second ACM Symposium on Theory of Computing, pp. 513–522. ACM (2010)
20.
Zurück zum Zitat Lawler, E.L.: Optimal sequencing of a single machine subject to precedence constraints. Manag. Sci. 19(5), 544–546 (1973)CrossRefMATH Lawler, E.L.: Optimal sequencing of a single machine subject to precedence constraints. Manag. Sci. 19(5), 544–546 (1973)CrossRefMATH
21.
Zurück zum Zitat Mitrovic-Minic, S., Krishnamurti, R.: The multiple traveling salesman problem with time windows: bounds for the minimum number of vehicles. Simon Fraser University TR-2002-11 (2002) Mitrovic-Minic, S., Krishnamurti, R.: The multiple traveling salesman problem with time windows: bounds for the minimum number of vehicles. Simon Fraser University TR-2002-11 (2002)
22.
Zurück zum Zitat Tsitsiklis, J.N.: Special cases of traveling salesman and repairman problems with time windows. Networks 22(3), 263–282 (1992)MathSciNetCrossRefMATH Tsitsiklis, J.N.: Special cases of traveling salesman and repairman problems with time windows. Networks 22(3), 263–282 (1992)MathSciNetCrossRefMATH
23.
Metadaten
Titel
Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots
verfasst von
Jurek Czyzowicz
Maxime Godon
Evangelos Kranakis
Arnaud Labourel
Euripides Markou
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-73117-9_27