Skip to main content

Advice Complexity: Quantitative Approach to A-Priori Information

(Extended Abstract)

  • Conference paper
SOFSEM 2014: Theory and Practice of Computer Science (SOFSEM 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8327))

Abstract

We survey recent results from different areas, studying how introducing per-instance a-priori information affects the solvability and complexity of given tasks. We mainly focus on distributed, and online computation, where some sort of hidden information plays a crucial role: in the distributed computing, typically nodes have no or only limited information about the global state of the network; in online problems, the algorithm lacks the information about the future input. The traditional approach in both areas is to study how the properties of the problem change if some partial information is available (e.g., nodes of a distributed system have sense of direction, the online algorithm has the promise that the input requests come in some specified order etc.). Recently, attempts have been made to study this information from a quantitative point of view: there is an oracle that delivers (per-instance) best-case information of a limited size, and the relationship between the amount of the additional information, and the benefit it can provide to the algorithm, is investigated. We show cases where this relationship has a form of a trade-off, and others where one or more thresholds can be identified.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albers, S.: On the influence of lookahead in competitive paging algorithms. Algorithmica 18(3), 283–305 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  2. Albers, S., Henzinger, M.R.: Exploring unknown environments. SIAM J. Comput. 29(4), 1164–1188 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  3. Antelmann, H., Budach, L., Rollik, H.-A.: On universal traps. Elektronische Informationsverarbeitung und Kybernetik 15(3), 123–131 (1979)

    MATH  MathSciNet  Google Scholar 

  4. Asahiro, Y., Miyano, E., Miyazaki, S., Yoshimuta, T.: Weighted nearest neighbor algorithms for the graph exploration problem on cycles. Information Processing Letters 110(3), 93–98 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  5. Barrière, L., Flocchini, P., Fraigniaud, P., Santoro, N.: Rendezvous and election of mobile agents: Impact of sense of direction. Theory Comput. Syst. 40(2), 143–162 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  6. Bender, M.A., Slonim, D.K.: The power of team exploration: Two robots can learn unlabeled directed graphs. In: FOCS, pp. 75–85. IEEE Computer Society (1994)

    Google Scholar 

  7. Bianchi, M.P., Böckenhauer, H.-J., Hromkovič, J., Keller, L.: Online coloring of bipartite graphs with and without advice. In: Gudmundsson, J., Mestre, J., Viglas, T. (eds.) COCOON 2012. LNCS, vol. 7434, pp. 519–530. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Bianchi, M.P., Böckenhauer, H.-J., Hromkovič, J., Krug, S., Steffen, B.: On the advice complexity of the online L(2,1)-coloring problem on paths and cycles. In: Du, D.-Z., Zhang, G. (eds.) COCOON 2013. LNCS, vol. 7936, pp. 53–64. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  9. Böckenhauer, H.-J., Hromkovič, J., Komm, D., Krug, S., Smula, J., Sprock, A.: The string guessing problem as a method to prove lower bounds on the advice complexity. In: Du, D.-Z., Zhang, G. (eds.) COCOON 2013. LNCS, vol. 7936, pp. 493–505. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  10. Böckenhauer, H.-J., Komm, D., Královič, R., Královič, R.: On the advice complexity of the k-server problem. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part I. LNCS, vol. 6755, pp. 207–218. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  11. Böckenhauer, H.-J., Komm, D., Královič, R., Královič, R., Mömke, T.: On the advice complexity of online problems. In: Dong, Y., Du, D.-Z., Ibarra, O. (eds.) ISAAC 2009. LNCS, vol. 5878, pp. 331–340. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Böckenhauer, H.-J., Komm, D., Královič, R., Rossmanith, P.: On the advice complexity of the knapsack problem. In: Fernández-Baca, D. (ed.) LATIN 2012. LNCS, vol. 7256, pp. 61–72. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. Borodin, A., El-Yaniv, R.: Online Computation and Competitive Analysis. Cambridge University Press (1998)

    Google Scholar 

  14. Borodin, A., Irani, S., Raghavan, P., Schieber, B.: Competitive paging with locality of reference (preliminary version). In: Koutsougeras, C., Vitter, J.S. (eds.) STOC, pp. 249–259. ACM (1991)

    Google Scholar 

  15. Budach, L.: On the solution of the labyrinth problem for finite automata. Elektronische Informationsverarbeitung und Kybernetik 11(10-12), 661–672 (1975)

    MATH  MathSciNet  Google Scholar 

  16. Budach, L.: Environments, labyrinths and automata. In: Karpinski, M. (ed.) FCT 1977. LNCS, vol. 56, pp. 54–64. Springer, Heidelberg (1977)

    Chapter  Google Scholar 

  17. Chalopin, J., Das, S., Widmayer, P.: Rendezvous of mobile agents in directed graphs. In: Lynch, Shvartsman (eds.) [67], pp. 282–296

    Google Scholar 

  18. Chepoi, V., Dragan, F.F., Estellon, B., Habib, M., Vaxès, Y., Xiang, Y.: Additive spanners and distance and routing labeling schemes for hyperbolic graphs. Algorithmica 62(3-4), 713–732 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  19. Cohen, R., Fraigniaud, P., Ilcinkas, D., Korman, A., Peleg, D.: Label-guided graph exploration by a finite automaton. ACM Transactions on Algorithms 4(4) (2008)

    Google Scholar 

  20. Cohen, R., Fraigniaud, P., Ilcinkas, D., Korman, A., Peleg, D.: Labeling schemes for tree representation. Algorithmica 53(1), 1–15 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  21. Coppersmith, D.: Finding a small root of a bivariate integer equation; factoring with high bits known. In: Maurer, U.M. (ed.) EUROCRYPT 1996. LNCS, vol. 1070, pp. 178–189. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  22. Czyzowicz, J., Dobrev, S., Královič, R., Miklík, S., Pardubská, D.: Black hole search in directed graphs. In: Kutten, S., Žerovnik, J. (eds.) SIROCCO 2009. LNCS, vol. 5869, pp. 182–194. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  23. Das, S., Flocchini, P., Kutten, S., Nayak, A., Santoro, N.: Map construction of unknown graphs by multiple agents. Theor. Comput. Sci. 385(1-3), 34–48 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  24. Deng, X., Papadimitriou, C.H.: Exploring an unknown graph. Journal of Graph Theory 32(3), 265–297 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  25. Dereniowski, D., Pelc, A.: Drawing maps with advice. In: Lynch, Shvartsman (eds.) [67], pp. 328–342

    Google Scholar 

  26. Dessmark, A., Fraigniaud, P., Kowalski, D.R., Pelc, A.: Deterministic rendezvous in graphs. Algorithmica 46(1), 69–96 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  27. Diks, K., Dobrev, S., Kranakis, E., Pelc, A., Ruzicka, P.: Broadcasting in unlabeled hypercubes with a linear number of messages. Inf. Process. Lett. 66(4), 181–186 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  28. Dobrev, S., Flocchini, P., Kralovic, R., Ruzicka, P., Prencipe, G., Santoro, N.: Black hole search in common interconnection networks. Networks 47(2), 61–71 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  29. Dobrev, S., Flocchini, P., Prencipe, G., Santoro, N.: Searching for a black hole in arbitrary networks: optimal mobile agents protocols. Distributed Computing 19(1) (2006)

    Google Scholar 

  30. Dobrev, S., Jansson, J., Sadakane, K., Sung, W.-K.: Finding short right-hand-on-the-wall walks in graphs. In: Pelc, A., Raynal, M. (eds.) SIROCCO 2005. LNCS, vol. 3499, pp. 127–139. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  31. Dobrev, S., Královič, R., Markou, E.: Online graph exploration with advice. In: Even, G., Halldórsson, M.M. (eds.) SIROCCO 2012. LNCS, vol. 7355, pp. 267–278. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  32. Dobrev, S., Královič, R., Královič, R.: Independent Set with Advice: The Impact of Graph Knowledge. In: Erlebach, T., Persiano, G. (eds.) WAOA 2012. LNCS, vol. 7846, pp. 2–15. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  33. Dobrev, S., Královič, R., Pardubská, D.: Measuring the problem-relevant information in input. RAIRO Theoretical Informatics and Applications 43(3), 585–613 (2009)

    Article  MATH  Google Scholar 

  34. Dobrev, S., Ružička, P.: Broadcasting on anonymous unoriented tori. In: Hromkovič, J., Sýkora, O. (eds.) WG 1998. LNCS, vol. 1517, pp. 50–62. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  35. Dorrigiv, R., He, M., Zeh, N.: On the advice complexity of buffer management. In: Chao, K.-M., Hsu, T.-s., Lee, D.-T. (eds.) ISAAC 2012. LNCS, vol. 7676, pp. 136–145. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  36. Dynia, M., Łopuszański, J., Schindelhauer, C.: Why robots need maps. In: Prencipe, G., Zaks, S. (eds.) SIROCCO 2007. LNCS, vol. 4474, pp. 41–50. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  37. Emek, Y., Fraigniaud, P., Korman, A., Rosén, A.: Online computation with advice. Theoretical Computer Science 412(24), 2642–2656 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  38. Euler, L.: Solutio problematis ad geometriam situs pertinentis. Novi Commentarii Academiae Scientarium Imperialis Petropolitanque 7, 9–28 (1758-1759)

    Google Scholar 

  39. Fiat, A., Karp, R.M., Luby, M., McGeoch, L.A., Sleator, D.D., Young, N.E.: Competitive paging algorithms. J. Algorithms 12(4), 685–699 (1991)

    Article  MATH  Google Scholar 

  40. Fleischer, R., Trippen, G.: Exploring an unknown graph efficiently. In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol. 3669, pp. 11–22. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  41. Flocchini, P., Mans, B., Santoro, N.: On the impact of sense of direction on message complexity. Inf. Process. Lett. 63(1), 23–31 (1997)

    Article  MathSciNet  Google Scholar 

  42. Flocchini, P., Mans, B., Santoro, N.: Sense of direction in distributed computing. Theor. Comput. Sci. 291(1), 29–53 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  43. Forišek, M., Keller, L., Steinová, M.: Advice complexity of online coloring for paths. In: Dediu, A.-H., Martín-Vide, C. (eds.) LATA 2012. LNCS, vol. 7183, pp. 228–239. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  44. Fraigniaud, P.: Informative labeling schemes. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part II. LNCS, vol. 6199, pp. 1–1. Springer, Heidelberg (2010)

    Google Scholar 

  45. Fraigniaud, P., Gasieniec, L., Kowalski, D.R., Pelc, A.: Collective tree exploration. Networks 48(3), 166–177 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  46. Fraigniaud, P., Gavoille, C., Ilcinkas, D., Pelc, A.: Distributed computing with advice: information sensitivity of graph coloring. Distributed Computing 21(6), 395–403 (2009)

    Article  MATH  Google Scholar 

  47. Fraigniaud, P., Ilcinkas, D., Peer, G., Pelc, A., Peleg, D.: Graph exploration by a finite automaton. Theor. Comput. Sci. 345(2-3), 331–344 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  48. Fraigniaud, P., Ilcinkas, D., Pelc, A.: Oracle size: a new measure of difficulty for communication tasks. In: Ruppert, E., Malkhi, D. (eds.) PODC, pp. 179–187. ACM (2006)

    Google Scholar 

  49. Fraigniaud, P., Ilcinkas, D., Pelc, A.: Tree exploration with advice. Inf. Comput. 206(11), 1276–1287 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  50. Fraigniaud, P., Korman, A., Lebhar, E.: Local mst computation with short advice. Theory Comput. Syst. 47(4), 920–933 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  51. Fusco, E.G., Pelc, A.: Trade-offs between the size of advice and broadcasting time in trees. In: auf der Heide, F.M., Shavit, N. (eds.) SPAA, pp. 77–84. ACM (2008)

    Google Scholar 

  52. Gasieniec, L., Klasing, R., Martin, R.A., Navarra, A., Zhang, X.: Fast periodic graph exploration with constant memory. J. Comput. Syst. Sci. 74(5), 808–822 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  53. Halldórsson, M.M., Iwama, K., Miyazaki, S., Taketomi, S.: Online independent sets. Theor. Comput. Sci. 289(2), 953–962 (2002)

    Article  MATH  Google Scholar 

  54. Herrmann, M., May, A.: On factoring arbitrary integers with known bits. In: Koschke, R., Herzog, O., Rödiger, K.-H., Ronthaler, M. (eds.) GI Jahrestagung, Part II. LNI, vol. 110, pp. 195–199 (2007)

    Google Scholar 

  55. Hurkens, C.A., Woeginger, G.J.: On the nearest neighbor rule for the traveling salesman problem. Operations Research Letters 32(1), 1–4 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  56. Ilcinkas, D.: Setting port numbers for fast graph exploration. Theor. Comput. Sci. 401(1-3), 236–242 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  57. Ilcinkas, D., Kowalski, D.R., Pelc, A.: Fast radio broadcasting with advice. Theor. Comput. Sci. 411(14-15), 1544–1557 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  58. Irani, S., Karlin, A.R., Phillips, S.: Strongly competitive algorithms for paging with locality of reference. In: Frederickson, G.N. (ed.) SODA, pp. 228–236. ACM/SIAM (1992)

    Google Scholar 

  59. Kalyanasundaram, B., Pruhs, K.R.: Constructing competitive tours from local information. Theoretical Computer Science 130(1), 125–138 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  60. Komm, D., Královič, R.: Advice complexity and barely random algorithms. In: Černá, I., Gyimóthy, T., Hromkovič, J., Jefferey, K., Králović, R., Vukolić, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol. 6543, pp. 332–343. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  61. Komm, D., Královič, R., Mömke, T.: On the advice complexity of the set cover problem. In: Hirsch, E.A., Karhumäki, J., Lepistö, A., Prilutskii, M. (eds.) CSR 2012. LNCS, vol. 7353, pp. 241–252. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  62. Korman, A.: Labeling schemes for vertex connectivity. ACM Transactions on Algorithms 6(2) (2010)

    Google Scholar 

  63. Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distributed Computing 22(4), 215–233 (2010)

    Article  MATH  Google Scholar 

  64. Korman, A., Peleg, D., Rodeh, Y.: Constructing labeling schemes through universal matrices. Algorithmica 57(4), 641–652 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  65. Kosowski, A., Navarra, A.: Graph decomposition for memoryless periodic exploration. Algorithmica 63(1-2), 26–38 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  66. Kowalski, D.R., Malinowski, A.: How to meet in anonymous network. Theor. Comput. Sci. 399(1-2), 141–156 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  67. Lynch, N.A., Shvartsman, A.A. (eds.): DISC 2010. LNCS, vol. 6343. Springer, Heidelberg (2010)

    MATH  Google Scholar 

  68. Maurer, U.M.: On the oracle complexity of factoring integers. Computational Complexity 5(3/4), 237–247 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  69. Megow, N., Mehlhorn, K., Schweitzer, P.: Online graph exploration: New results on old and new algorithms. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 478–489. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  70. Miyazaki, S., Morimoto, N., Okabe, Y.: The online graph exploration problem on restricted graphs. IEICE Transactions on Information and Systems 92(9), 1620–1627 (2009)

    Article  Google Scholar 

  71. Nisse, N., Soguet, D.: Graph searching with advice. Theoretical Computer Science 410(14), 1307–1318 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  72. Panaite, P., Pelc, A.: Exploring unknown undirected graphs. J. Algorithms 33(2), 281–295 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  73. Panaite, P., Pelc, A.: Impact of topographic information on graph exploration efficiency. Networks 36(2), 96–103 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  74. Pandurangan, G., Upfal, E.: Can entropy characterize performance of online algorithms? In: Kosaraju, S.R. (ed.) SODA, pp. 727–734. ACM/SIAM (2001)

    Google Scholar 

  75. Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. Monographs on Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics (2000)

    Google Scholar 

  76. Robertson, N., Seymour, P.D.: Graph minors. XIII. The disjoint paths problem. Journal of Combinatorial Theory, Series B 63(1), 65–110 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  77. Rosenkrantz, D.J., Stearns, R.E., Lewis II., P.M.: An analysis of several heuristics for the traveling salesman problem. SIAM Journal on Computing 6(3), 563–581 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  78. Seibert, S., Sprock, A., Unger, W.: Advice complexity of the online coloring problem. In: Spirakis, P.G., Serna, M. (eds.) CIAC 2013. LNCS, vol. 7878, pp. 345–357. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  79. Shannon, C.E.: Presentation of a maze solving machine. In: von Foerster, H., Mead, M., Teuber, H.L. (eds.) Cybernetics: Circular, Causal and Feedback Mechanisms in Biological and Social Systems, Transactions Eighth Conference, March 15–16, pp. 169–181. Josiah Macy Jr. Foundation, New York (1951)

    Google Scholar 

  80. Sleator, D.D., Tarjan, R.E.: Amortized efficiency of list update and paging rules. Communications of the ACM 28(2), 202–208 (1985)

    Article  MathSciNet  Google Scholar 

  81. Steinová, M.: On the power of local orientations. In: Shvartsman, A.A., Felber, P. (eds.) SIROCCO 2008. LNCS, vol. 5058, pp. 156–169. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Královič, R. (2014). Advice Complexity: Quantitative Approach to A-Priori Information. In: Geffert, V., Preneel, B., Rovan, B., Štuller, J., Tjoa, A.M. (eds) SOFSEM 2014: Theory and Practice of Computer Science. SOFSEM 2014. Lecture Notes in Computer Science, vol 8327. Springer, Cham. https://doi.org/10.1007/978-3-319-04298-5_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04298-5_3

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04297-8

  • Online ISBN: 978-3-319-04298-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics