Skip to main content
Erschienen in: Theory of Computing Systems 2/2020

21.05.2019

Optimal Path Discovery Problem with Homogeneous Knowledge

verfasst von: Christopher Thraves Caro, Josu Doncel, Olivier Brun

Erschienen in: Theory of Computing Systems | Ausgabe 2/2020

Einloggen

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

search-config
loading …

Abstract

Consider the following problem: given a complete graph G = (V, E), two nodes s and t in V, and a positive hidden value f(e) for each edge eE, discover an st-path P that minimizes the value F(P), for some objective function F. The issue is that the edge values f(⋅) are hidden, hence, to discover an optimal path, it is required to uncover the value of some edges. The goal then is to discover an optimal path by means of uncovering the least possible amount of edge values. This problem, named the Optimal Path Discovery (OPD) problem, is an extension of the well known Shortest Path Discovery problem in which f(e) represents the length of e, and F(P) computes the length of P. In this paper, we study the OPD problem when the only previous information known about the f(⋅) values is that they fall in the interval (0,) for all eE. We first study the number of uncovered edges as a measure to evaluate algorithms. We see that this measure does not differentiate correctly algorithms according to their performance. Therefore, we introduce the query ratio, the ratio between the number of uncovered edges and the least number of edge values required to solve the problem. We prove a 1 + 4/n − 8/n2 lower bound on the query ratio and we present an algorithm whose query ratio, when it finds the optimal path, is upper bounded by 2 − 1/(n − 1), where n = |V |. Finally, we implement different algorithms and evaluate their query ratio experimentally.

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 "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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
Although we focus on discovering a minimum-cost path, the extension to a maximization problem is straightforward.
 
2
For a maximization problem, the first assumption does not change, the second assumption would read F(H) = H = , ∀HE, whereas the fourth assumption would be F(H) < F(H).
 
3
We define the size of an instance I as the number of nodes n of the complete graph G, and it is denoted by |I|.
 
Literatur
1.
Zurück zum Zitat Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms, and Applications, 1st edn. Prentice Hall (1993) Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms, and Applications, 1st edn. Prentice Hall (1993)
2.
Zurück zum Zitat Alon, N., Emek, Y., Feldman, M., Tennenholtz, M.: Economical graph discovery. In: ICS, pp. 476–486 (2011) Alon, N., Emek, Y., Feldman, M., Tennenholtz, M.: Economical graph discovery. In: ICS, pp. 476–486 (2011)
3.
Zurück zum Zitat Aron, I.D., Van Hentenryck, P.: On the complexity of the robust spanning tree problem with interval data. Oper. Res. Lett. 32(1), 36–40 (2004)MathSciNetCrossRef Aron, I.D., Van Hentenryck, P.: On the complexity of the robust spanning tree problem with interval data. Oper. Res. Lett. 32(1), 36–40 (2004)MathSciNetCrossRef
4.
5.
Zurück zum Zitat Bruce, R., Hoffmann, M., Krizanc, D., Raman, R.: Efficient update strategies for geometric computing with uncertainty. Theory Comput. Syst. 38(4), 411–423 (2005)MathSciNetCrossRef Bruce, R., Hoffmann, M., Krizanc, D., Raman, R.: Efficient update strategies for geometric computing with uncertainty. Theory Comput. Syst. 38(4), 411–423 (2005)MathSciNetCrossRef
6.
Zurück zum Zitat Cherkassky, B.V., Goldberg, A.V., Radzik, T.: Shortest paths algorithms: Theory and experimental evaluation. Math. Program. 73(2), 129–174 (1996)MathSciNetCrossRef Cherkassky, B.V., Goldberg, A.V., Radzik, T.: Shortest paths algorithms: Theory and experimental evaluation. Math. Program. 73(2), 129–174 (1996)MathSciNetCrossRef
7.
Zurück zum Zitat Davis, H.W., Pollack, R.B., Sudkamp, T.: Towards a better understanding of bidirectioanl search. In: AAAI (1984) Davis, H.W., Pollack, R.B., Sudkamp, T.: Towards a better understanding of bidirectioanl search. In: AAAI (1984)
10.
Zurück zum Zitat Erlebach, T., Hoffmann, M., Kammer, F.: Query-competitive algorithms for cheapest set problems under uncertainty. Theor. Comput. Sci. 613(C), 51–64 (2016)MathSciNetCrossRef Erlebach, T., Hoffmann, M., Kammer, F.: Query-competitive algorithms for cheapest set problems under uncertainty. Theor. Comput. Sci. 613(C), 51–64 (2016)MathSciNetCrossRef
11.
Zurück zum Zitat Feder, T., Motwani, R., Panigrahy, R., Olston, C., Widom, J.: Computing the median with uncertainty. SIAM J. Comput. 32(2), 538–547 (2003)MathSciNetCrossRef Feder, T., Motwani, R., Panigrahy, R., Olston, C., Widom, J.: Computing the median with uncertainty. SIAM J. Comput. 32(2), 538–547 (2003)MathSciNetCrossRef
12.
Zurück zum Zitat Feder, T., Motwani, R., O’Callaghan, L., Olston, C., Panigrahy, R.: Computing shortest paths with uncertainty. J. Algor. 62(1), 1–18 (2007)MathSciNetCrossRef Feder, T., Motwani, R., O’Callaghan, L., Olston, C., Panigrahy, R.: Computing shortest paths with uncertainty. J. Algor. 62(1), 1–18 (2007)MathSciNetCrossRef
13.
Zurück zum Zitat Floyd, R.W.: Algorithm 97: Shortest path. Commun. ACM 5(6), 345 (1962)CrossRef Floyd, R.W.: Algorithm 97: Shortest path. Commun. ACM 5(6), 345 (1962)CrossRef
14.
Zurück zum Zitat Ford, L.R.: Network flow theory. Technical Report Paper P-923, RAND Corporation, Santa Monica, California (1956) Ford, L.R.: Network flow theory. Technical Report Paper P-923, RAND Corporation, Santa Monica, California (1956)
15.
Zurück zum Zitat Ghosh, S., Mahanti, A.: Bidirectional heuristic search with limited resources. Inf. Process. Lett. 40(6), 335–340 (1991)CrossRef Ghosh, S., Mahanti, A.: Bidirectional heuristic search with limited resources. Inf. Process. Lett. 40(6), 335–340 (1991)CrossRef
16.
Zurück zum Zitat Hart, P. E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. In: IEEE Transactions on Systems Science and Cybernetics, pp. 100–107 (1968)CrossRef Hart, P. E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. In: IEEE Transactions on Systems Science and Cybernetics, pp. 100–107 (1968)CrossRef
17.
Zurück zum Zitat Hoffmann, M., Erlebach, T., Krizanc, D., Mihal’ák, M., Raman, R.: Computing minimum spanning trees with uncertainty. In: 25th International Symposium on Theoretical Aspects of Computer Science, Leibniz International Proceedings in Informatics (LIPIcs), pp. 277–288. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2008) Hoffmann, M., Erlebach, T., Krizanc, D., Mihal’ák, M., Raman, R.: Computing minimum spanning trees with uncertainty. In: 25th International Symposium on Theoretical Aspects of Computer Science, Leibniz International Proceedings in Informatics (LIPIcs), pp. 277–288. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2008)
18.
19.
Zurück zum Zitat Kahan, S.: A model for data in motion. In: Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing, STOC ’91, pp. 265–277. ACM (1991) Kahan, S.: A model for data in motion. In: Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing, STOC ’91, pp. 265–277. ACM (1991)
20.
Zurück zum Zitat Kasperski, A., Zieliński, P.: An approximation algorithm for interval data minmax regret combinatorial optimization problems. Inf. Process. Lett. 97(5), 177–180 (2006)MathSciNetCrossRef Kasperski, A., Zieliński, P.: An approximation algorithm for interval data minmax regret combinatorial optimization problems. Inf. Process. Lett. 97(5), 177–180 (2006)MathSciNetCrossRef
21.
Zurück zum Zitat Khanna, S., Tan, W.-C.: On computing functions with uncertainty. In: Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS ’01, pp. 171–182. ACM (2001) Khanna, S., Tan, W.-C.: On computing functions with uncertainty. In: Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS ’01, pp. 171–182. ACM (2001)
22.
Zurück zum Zitat Korf, R.E., Kumar, V.: Optimal path-finding algorithms. In: Kanal, L. (ed.) Search in Artificial Intelligence, Symbolic Computation, pp 223–267. Springer, New York (1988)CrossRef Korf, R.E., Kumar, V.: Optimal path-finding algorithms. In: Kanal, L. (ed.) Search in Artificial Intelligence, Symbolic Computation, pp 223–267. Springer, New York (1988)CrossRef
23.
Zurück zum Zitat Lippi, M., Ernandes, M., Felner, A.: Efficient single frontier bidirectional search. In: Proceeding of the Forth International Symposium on Combinatorial Search (2012) Lippi, M., Ernandes, M., Felner, A.: Efficient single frontier bidirectional search. In: Proceeding of the Forth International Symposium on Combinatorial Search (2012)
24.
Zurück zum Zitat Luby, M., Ragde, P.: A bidirectional shortest-path algorithm with good average-case behavior. Algorithmica 4(1–4), 551–567 (1989)MathSciNetCrossRef Luby, M., Ragde, P.: A bidirectional shortest-path algorithm with good average-case behavior. Algorithmica 4(1–4), 551–567 (1989)MathSciNetCrossRef
25.
Zurück zum Zitat Montemanni, R., Gambardella, L.M.: An algorithm for the relative robust shortest path problem with interval data. Technical Report IDSIA-05-02 Dalle Molle Institute for Artificial Intelligence (2002) Montemanni, R., Gambardella, L.M.: An algorithm for the relative robust shortest path problem with interval data. Technical Report IDSIA-05-02 Dalle Molle Institute for Artificial Intelligence (2002)
26.
Zurück zum Zitat Olston, C., Widom, J.: Offering a precision-performance tradeoff for aggregation queries over replicated data. In: Proceedings of the 26th International Conference on Very Large Data Bases, VLDB ’00, pp. 144–155. Morgan Kaufmann Publishers Inc. (2000) Olston, C., Widom, J.: Offering a precision-performance tradeoff for aggregation queries over replicated data. In: Proceedings of the 26th International Conference on Very Large Data Bases, VLDB ’00, pp. 144–155. Morgan Kaufmann Publishers Inc. (2000)
27.
Zurück zum Zitat Karasan, H.Y.O.E., Pinar, M.C.: The robust shortest path problem with interval data. Technical report, Bilkent University, Department of Industrial Engineering (2001) Karasan, H.Y.O.E., Pinar, M.C.: The robust shortest path problem with interval data. Technical report, Bilkent University, Department of Industrial Engineering (2001)
28.
Zurück zum Zitat Pohl, I.: Bi-Directional and Heuristics Search in Path Problems. PhD thesis, Standford University (1969) Pohl, I.: Bi-Directional and Heuristics Search in Path Problems. PhD thesis, Standford University (1969)
29.
Zurück zum Zitat Szepesvári, C.: Shortest path discovery problems: A framework, algorithms and experimental results. In: AAAI, pp. 550–555 (2004) Szepesvári, C.: Shortest path discovery problems: A framework, algorithms and experimental results. In: AAAI, pp. 550–555 (2004)
30.
Zurück zum Zitat Yaman, H., Karasan, O.E., Pinar, M.C.: The robust spanning tree problem with interval data. Oper. Res. Lett. 29(1), 31–40 (2001)MathSciNetCrossRef Yaman, H., Karasan, O.E., Pinar, M.C.: The robust spanning tree problem with interval data. Oper. Res. Lett. 29(1), 31–40 (2001)MathSciNetCrossRef
31.
Zurück zum Zitat Brun, O., Wang, L., Gelenbe, E.: Big data for autonomic intercontinental overlays. IEEE J. Selected Areas Commun., 34(3) (2016)CrossRef Brun, O., Wang, L., Gelenbe, E.: Big data for autonomic intercontinental overlays. IEEE J. Selected Areas Commun., 34(3) (2016)CrossRef
32.
Zurück zum Zitat Feamster, N., Balakrishnan, H., Rexford, J., Shaikh, A, van der Merwe, J.: The case for separating routing from routers. In: Proceedings of the ACM SIGCOMM Workshop on Future Directions in Network Architecture, pp 5–12. ACM, Portland (2004) Feamster, N., Balakrishnan, H., Rexford, J., Shaikh, A, van der Merwe, J.: The case for separating routing from routers. In: Proceedings of the ACM SIGCOMM Workshop on Future Directions in Network Architecture, pp 5–12. ACM, Portland (2004)
Metadaten
Titel
Optimal Path Discovery Problem with Homogeneous Knowledge
verfasst von
Christopher Thraves Caro
Josu Doncel
Olivier Brun
Publikationsdatum
21.05.2019
Verlag
Springer US
Erschienen in
Theory of Computing Systems / Ausgabe 2/2020
Print ISSN: 1432-4350
Elektronische ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-019-09928-w

Weitere Artikel der Ausgabe 2/2020

Theory of Computing Systems 2/2020 Zur Ausgabe