[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Labeling Schemes with Queries

  • Conference paper
Structural Information and Communication Complexity (SIROCCO 2007)

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

  • 582 Accesses

Abstract

Recently, quite a few papers studied methods for representing network properties by assigning informative labels to the vertices of a network. Consulting the labels given to any two vertices u and v for some function f (e.g. “distance(u,v)”) one can compute the function (e.g. the graph distance between u and v). Some very involved lower bounds for the sizes of the labels were proven.

In this paper, we demonstrate that such lower bounds are very sensitive to the number of vertices consulted. That is, we show several almost trivial constructions of such labeling schemes that beat the lower bounds by large margins. The catch is that one needs to consult the labels of three vertices instead of two. We term our generalized model labeling schemes with queries.

Additional contributions are several extensions. In particular, we show that it is easy to extend our schemes for tree to work also in the dynamic scenario. We also demonstrate that the study of the queries model can help in designing a scheme for the traditional model too. Finally, we demonstrate extensions to the non-distributed environment. In particular, we show that one can preprocess a general weighted graph using almost linear space so that flow queries can be answered in almost constant time.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abraham, I., Gavoille, C., Malkhi, D.: Routing with improved communication-space trade-off. In: Proc. 18th Int. Symp. on Distributed Computing (October 2004)

    Google Scholar 

  2. Angluin, D., et al.: Fast construction of overlay networks. In: Proc. SPAA, pp. 145–154 (2005) (2005)

    Google Scholar 

  3. Afek, Y., et al.: Local management of a global resource in a communication. J. of the ACM 43, 1–19 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  4. Alstrup, S., Bille, P., Rauhe, T.: Labeling schemes for small distances in trees. In: Proc. 14th ACM-SIAM Symp. on Discrete Algorithms (January 2003)

    Google Scholar 

  5. Alstrup, S., et al.: Nearest Common Ancestors: A Survey and a new Distributed Algorithm. Theory of Computing Systems 37, 441–456 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  6. Alstrup, S., Holm, J., Thorup, M.: Maintaining Center and Median in Dynamic Trees. In: Proc. 7th Scandinavian Workshop on Algorithm Theory (July 2000)

    Google Scholar 

  7. Abiteboul, S., Kaplan, H., Milo, T.: Compact labeling schemes for ancestor queries. In: Proc. 12th ACM-SIAM Symp. on Discrete Algorithms (January 2001)

    Google Scholar 

  8. Alstrup, S., Rauhe, T.: Improved Labeling Scheme for Ancestor Queries. In: Proc. 19th ACM-SIAM Symp. on Discrete Algorithms (January 2002)

    Google Scholar 

  9. Alstrup, S., Rauhe, T.: Small induced-universal graphs and compact implicit graph representations. In: Proc. 43rd annual IEEE Symp. on Foundations of Computer Science (November 2002)

    Google Scholar 

  10. Alstrup, S., Thorup, M.: Optimal pointer algorithms for finding nearest common ancestors in dynamic trees. J. of Algorithms 35(2), 169–188 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  11. Breuer, M.A.: Coding the vertexes of a graph. IEEE Trans. on Information Theory 12, 148–153 (1966)

    Article  MATH  MathSciNet  Google Scholar 

  12. Breuer, M.A., Folkman, J.: An unexpected result on coding the vertices of a graph. J. of Mathematical Analysis and Applications 20, 583–600 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  13. Bender, M.A., Farach-Colton, M.: The LCA problem revised. In: Gonnet, G.H., Viola, A. (eds.) LATIN 2000. LNCS, vol. 1776, pp. 88–94. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  14. Berkman, O., Vishkin, U.: Recursive star-tree parallel data structure. SIAM J. on Computing 22(2), 221–242 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  15. Cidon, I., Gopal, I.S., Kutten, S.: New models and algorithms for future networks. IEEE Transactions on Information Theory 41(3), 769–780 (1995)

    Article  MATH  Google Scholar 

  16. Cole, R., Hariharan, R.: Dynamic LCA Queries on Trees. SIAM J. on Computing 34(4), 894–923 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  17. Cohen, E., et al.: Reachability and Distance Queries via 2-hop Labels. In: Proc. 13th ACM-SIAM Symp. on Discrete Algorithms (January 2002)

    Google Scholar 

  18. Cohen, E., Kaplan, H., Milo, T.: Labeling dynamic XML trees. In: Proc. 21st ACM Symp. on Principles of Database Systems (June 2002)

    Google Scholar 

  19. Eppstein, D., Galil, Z., Italiano, G.F.: Dynamic Graph Algorithms. In: Atallah, M.J. (ed.) Algorithms and Theoretical Computing Handbook, CRC Press, Boca Raton (1999)

    Google Scholar 

  20. Gabow, H.N.: Data Structure for Weighted Matching and Nearest Common Ancestor with Linking. In: Proc. 1st Annual ACM Symp. on Discrete Algorithms, January 1990, pp. 434–443 (1990)

    Google Scholar 

  21. Fraigniaud, P., Gavoille, C.: Routing in trees. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 757–772. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  22. Fraigniaud, P., Gavoille, C.: A Space Lower Bound for Routing in Trees. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  23. Fraigniaud, P., Gauron, P.: D2B: A de Bruijn based content-addressable network. Theor. Comput. Sci. 355(1), 65–79 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  24. Feigenbaum, J., Kannan, S.: Dynamic Graph Algorithms. In: Handbook of Discrete and Combinatorial Mathematics, CRC Press, Boca Raton (2000)

    Google Scholar 

  25. Gabow, H.N., Bentley, J.L., Tarjan, R.E.: Scaling and related techniques for geometry problems. In: Proc. 16th Annual ACM Symp. on Theory of Computing (May 1984)

    Google Scholar 

  26. Gavoille, C., Paul, C.: Split decomposition and distance labeling: an optimal scheme for distance hereditary graphs. In: Proc. European Conf. on Combinatorics, Graph Theory and Applications (September 2001)

    Google Scholar 

  27. Gavoille, C., Peleg, D.: Compact and Localized Distributed Data Structures. J. of Distributed Computing 16, 111–120 (2003)

    Article  Google Scholar 

  28. Gavoille, C., et al.: Approximate Distance Labeling Schemes. In: Meyer auf der Heide, F. (ed.) ESA 2001. LNCS, vol. 2161, pp. 476–488. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  29. Gavoille, C., et al.: Distance labeling in graphs. J. of Algorithms 53(1), 85–112 (2004)

    Article  MATH  Google Scholar 

  30. Harel, H.: A linear time algorithm for lowest common ancestors problem. In: 21st Annual IEEE Symp. on Foundation of Computer Science (November 1980)

    Google Scholar 

  31. Harchol-Balter, M., Leighton, F.T., Lewin, D.: Resource Discovery in Distributed Networks. In: Proc. PODC 1999, pp. 229–237 (1999)

    Google Scholar 

  32. Holm, J., Lichtenberg, K., Thorup, M.: Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity. J. of the ACM 48(4), 723–760 (2001)

    Article  MATH  Google Scholar 

  33. Harel, H., Tarjan, R.E.: Fast algorithms for finding nearest common ancestors. SIAM J. on Computing 13(2), 338–355 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  34. Jamrozik, H.A., et al.: Reducing network latency using subpages in a global memory environment. In: Proc. the 7th ACM Conference on Architectural Support for Programming Languages and Operating Systems (1996)

    Google Scholar 

  35. Korman, A.: General Compact Labeling Schemes for Dynamic Trees. In: Proc. 19th Int. Symp. on Distributed Computing (September 2005)

    Google Scholar 

  36. Katz, M., et al.: Labeling schemes for flow and connectivity. SIAM Journal on Computing 34, 23–40 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  37. Korman, A., Peleg, D.: Labeling Schemes for Weighted Dynamic Trees. In: Baeten, J.C.M., et al. (eds.) ICALP 2003. LNCS, vol. 2719, Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  38. Korman, A., Peleg, D., Rodeh, Y.: Labeling schemes for dynamic tree networks. Theory of Computing Systems 37, 49–75 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  39. Korman, A., Peleg, D., Rodeh, Y.: Constructing Labeling schemes through Universal Matrices. In: Asano, T. (ed.) ISAAC 2006. LNCS, vol. 4288, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  40. Kannan, S., Naor, M., Rudich, S.: Implicit representation of graphs. SIAM J. on Discrete Math. 5, 596–603 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  41. Markatos, E.P., Dramitinos, G.: Remote Memory to Avoid Disk Thrashing: A Simulation Study. In: Proc. MASCOTS 1996, pp. 69–73 (1996)

    Google Scholar 

  42. Malkhi, D., Naor, M., Ratajczak, D.: Viceroy: A scalable and dynamic emulation of the butterfly. In: Proc. 21st annual ACM symposium on Principles of distributed computing (2002)

    Google Scholar 

  43. Naor, M., Wieder, U.: Novel architectures for P2P applications: the continuous-discrete approach. In: Proc. SPAA 2003, pp. 50–59 (2003)

    Google Scholar 

  44. Peleg, D.: Proximity-Preserving Labeling Schemes and Their Applications. In: Widmayer, P., Neyer, G., Eidenbenz, S. (eds.) WG 1999. LNCS, vol. 1665, Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  45. Peleg, D.: Informative labeling schemes for graphs. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 579–588. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  46. Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. SIAM, Philadelphia (2000)

    MATH  Google Scholar 

  47. Powell, P.: A further improved LCA algorithm. Technical Report TR90-01, University of Minneapolis (1990)

    Google Scholar 

  48. Ratnasamy, S., et al.: A scalable content-addressable network. In: Proc. ACM SIGCOMM 2001, pp. 161–172 (August 2001)

    Google Scholar 

  49. Stocia, I., et al.: Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. In: Proc. ACM SIGCOMM 2001, San Diego, CA (August 2001)

    Google Scholar 

  50. Sleator, D.D., Tarjan, R.E.: A data structure for dynamic trees. Journal of Computer and System Sciences 26(1), 362–391 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  51. Schieber, B., Vishkin, U.: On finding lowest common ancestors: Simplification and parallelization. SIAM J. on Computing 17, 1253–1262 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  52. Thorup, M.: Compact oracles for reachability and approximate distances in planar digraphs. J. of the ACM 51, 993–1024 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  53. Tsakalides, A.K., van Leeuwen, J.: An optimal pointer machine algorithm for finding nearest common ancestors. Technical Report RUU-CS-88-17, Department of CS, University of Utrecht (1988)

    Google Scholar 

  54. Thorup, M., Zwick, U.: Compact routing schemes. In: Proc. 13th ACM Symp. on Parallel Algorithms and Architecture, July 2001, pp. 1–10 (2001)

    Google Scholar 

  55. Zhao, B., Kubiatowicz, J., Joseph, A.: Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and Routing. Tech. rep, Univ. of California, Berkeley (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Systems Group, Faculty of IE&M, The Technion, Haifa, 32000, Israel

    Amos Korman & Shay Kutten

Authors
  1. Amos Korman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shay Kutten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giuseppe Prencipe Shmuel Zaks

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Korman, A., Kutten, S. (2007). Labeling Schemes with Queries. In: Prencipe, G., Zaks, S. (eds) Structural Information and Communication Complexity. SIROCCO 2007. Lecture Notes in Computer Science, vol 4474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72951-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72951-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72918-1

  • Online ISBN: 978-3-540-72951-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation