Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs | SpringerLink
Skip to main content
Springer Nature Link
Log in

Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs

Extended Abstract

  • Conference paper
  • First Online:
STACS 2000 (STACS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1770))

Included in the following conference series:

  • 894 Accesses

Abstract

In this paper, lower bound and tradeoff results relating the computational power of determinism, nondeterminism, and randomness for communication protocols and branching programs are presented. The main results can be divided into the following three groups.

  1. (i)

    One of the few major open problems concerning nondeterministic communication complexity is to prove an asymptotically exact tradeoff between complexity and the number of available advice bits. This problem is solved here for the case of one-way communication.

  2. (ii)

    Multipartition protocols are introduced as a new type of communication protocols using a restricted form of non-obliviousness. In order to be able to study methods for proving lower bounds on multilective and/or non-oblivious computation, these protocols are allowed to either deterministically or nondeterministically choose between different partitions of the input. Here, the first results showing the potential increase of the computational power by non-obliviousness as well as boundaries on this power are derived.

  3. (iii)

    The above results (and others) are applied to obtain several new exponential lower bounds for different types of oblivious branching programs, which also yields new insights into the power of nondeterminism and randomness for the considered models. The proofs rely on a general technique described here which allows to prove explicit lower bounds on the size of oblivious branching programs in an easy and transparent way.

This work has been supported by DFG grants HR14/3-2 and We 1066/8-2.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. H. Abelson. Lower bounds on information transfer in distributed computations. In Proc. of 19th IEEE Symp. on Foundations of Computer Science (FOCS), 151–158, 1978.

    Google Scholar 

  2. F. Ablayev. Randomization and nondeterminism are incomparable for polynomial ordered binary decision diagrams. In Proc. of 24th Int. Coll. on Automata, Languages, and Programming (ICALP), LNCS 1256, 195–202. Springer, 1997.

    Google Scholar 

  3. F. Ablayev and M. Karpinski. On the power of randomized branching programs. In Proc. of 23rd Int. Coll. on Automata, Languages, and Programming (ICALP), LNCS 1099, 348–356. Springer, 1996.

    Google Scholar 

  4. N. Alon and W. Maass. Meanders and their applications in lower bounds arguments. Journal of Computer and System Sciences, 37:118–129, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  5. L. Babai, N. Nisan, and M. Szegedy. Multiparty protocols, pseudorandom generators for logspace and time-space trade-offs. Journal of Computer and System Sciences, 45:204–232, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  6. B. Bollig and I. Wegener. Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams. Theory of Computing Systems, 32:487–503, 1999. (Earlier version in Proc. of 22nd Int. Symp. on Mathematical Foundations of Computer Science (MFCS), LNCS 1295, 159–168. Springer, 1997.)

    Article  MATH  MathSciNet  Google Scholar 

  7. R. Canetti and O. Goldreich. Bounds on tradeoffs between randomness and communication complexity. Computational Complexity, 3:141–167, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  8. P. Ďuriš and Z. Galil. On the power of multiple reads in a chip. Information and Computation, 104:277–287, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  9. P. Ďuriš, Z. Galil, and G. Schnitger. Lower bounds on communication complexity. In Proc. of 16th Ann. ACM Symp. on Theory of Computing (STOC), 81–91, 1984.

    Google Scholar 

  10. P. Ďuriš, J. Hromkovič, J. D. P. Rolim, and G. Schnitger. Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial-time computations. In Proc. of 14th Ann. Symp. on Theoretical Aspects of Computer Science (STACS), LNCS 1200, 117–128. Springer, 1997. To appear in Information and Computation.

    Google Scholar 

  11. R. Fleischer, H. Jung, and K. Mehlhorn. A communication-randomness tradeoff for two-processor systems. Information and Computation, 116:155–161, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  12. J. Gergov. Time-space tradeoffs for integer multiplication on various types of input oblivious sequential machines. Information Processing Letters, 51:265–269, 1994.

    Article  MathSciNet  Google Scholar 

  13. J. Hromkovič. Communication Complexity and Parallel Computing. EATCS Texts in Theoretical Computer Science. Springer, Berlin, 1997.

    Google Scholar 

  14. J. Hromkovič and G. Schnitger. Nondeterministic communication with a limited number of advice bits. In Proc. of 28th Ann. ACM Symp. on Theory of Computing (STOC), 551–560, 1996.

    Google Scholar 

  15. J. Hromkovič. Communication complexity and lower bounds on multilective computations. Theoretical Informatics and Applications (RAIRO), 33:193–212, 1999.

    Article  MATH  Google Scholar 

  16. J. Jain, J. Bitner, J. A. Abraham, and D. S. Fussell. Functional partitioning for verification and related problems. In T. Knight and J. Savage, editors, Advanced Research in VLSI and Parallel Systems: Proceedings of the 1992 Brown/MIT Conference, 210–226, 1992.

    Google Scholar 

  17. S. P. Jukna. Lower bounds on communication complexity. Mathematical Logic and Its Applications, 5:22–30, 1987.

    MATH  MathSciNet  Google Scholar 

  18. M. Krause. Lower bounds for depth-restricted branching programs. Information and Computation, 91(1):1–14, Mar. 1991.

    Article  MATH  MathSciNet  Google Scholar 

  19. M. Krause and S. Waack. On oblivious branching programs of linear length. Information and Computation, 94:232–249, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  20. K. Kriegel and S. Waack. Lower bounds on the complexity of real-time branching programs. Theoretical Informatics and Applications (RAIRO), 22:447–459, 1988.

    MATH  MathSciNet  Google Scholar 

  21. E. Kushilevitz and N. Nisan. Communication Complexity. Cambridge University Press, Cambridge, 1997.

    MATH  Google Scholar 

  22. K. Mehlhorn and E. Schmidt. Las-Vegas is better than determinism in VLSI and distributed computing. In Proc. of 14th Ann. ACM Symp. on Theory of Computing (STOC), 330–337, 1982.

    Google Scholar 

  23. I. Newman. Private vs. common random bits in communication complexity. Information Processing Letters, 39:67–71, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  24. M. Sauerhoff. Complexity Theoretical Results for Randomized Branching Programs. PhD thesis, Univ. of Dortmund. Shaker, 1999.

    Google Scholar 

  25. M. Sauerhoff. On the size of randomized OBDDs and read-once branching programs for k-stable functions. In Proc. of 16th Ann. Symp. on Theoretical Aspects of Computer Science (STACS), LNCS 1563, 488–499. Springer, 1999.

    Google Scholar 

  26. M. Sauerhoff. Computing with restricted nondeterminism: The dependence of the OBDD size on the number of nondeterministic variables. To appear in Proc. of FST & TCS.

    Google Scholar 

  27. I. Wegener. The Complexity of Boolean Functions. Wiley-Teubner, 1987.

    Google Scholar 

  28. I. Wegener. Branching Programs and Binary Decision Diagrams—Theory and Applications. Monographs on Discrete and Applied Mathematics. SIAM, 1999. To appear.

    Google Scholar 

  29. A. C. Yao. Some complexity questions related to distributive computing. In Proc. of 11th Ann. ACM Symp. on Theory of Computing (STOC), 209–213, 1979.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science I (Algorithms and Complexity), Technological University of Aachen, Ahornstraße 55, 52074, Aachen, Germany

    Juraj Hromkovič

  2. Department of Computer Science, LS 2, University of Dortmund, 44221, Dortmund, Germany

    Martin Sauerhoff

Authors
  1. Juraj Hromkovič
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Sauerhoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Science, Dept. of Theoretical Computer Science, Universität Dresden, 01062, Dresden, Germany

    Horst Reichel

  2. Université de Lille, LIFL - UPRESA 8022, CNRS, Bât. M3 - UFR IEEA, 59655, Villeneuve d’ASCQ Cedex, France

    Sophie Tison

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hromkovič, J., Sauerhoff, M. (2000). Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs. In: Reichel, H., Tison, S. (eds) STACS 2000. STACS 2000. Lecture Notes in Computer Science, vol 1770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46541-3_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-46541-3_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46541-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation