Abstract
We introduce (reasonable) generalizations of the one-way uniform two-party protocols introduced in [6],[7], which provide a closer relationship between communication complexity and finite automata as regular language recognizers. A superpolynomial separation between k- party and (k - 1)-party message complexities of the nondeterministic model is established by exhibiting a sequence of concrete languages to witness it, thus a strong hierarchy result. As a consequence, the new model provides an essentially better lower bound method for estimating ns(L), for some regular languages L. We remark that in the deterministic case hierarchy is not realized.
Supported by the Deutscher Akademischer Austauschdienst (DAAD) and DFG Project HR 14/16-1
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Abelson, Lower Bounds on Information Transfer in Distributed Computation. Proc. 19th IEEE FOCS (1978), 151–158.
H.N. Adorna, Some Properties of k-Party Message Complexity. Unpublished Manuscript, RWTH-Aachen (2001).
H.N. Adorna, 3-Party Message Complexity is Better than 2-Party Ones for Proving Lower Bounds on the Size of Minimal Nondeterministic Finite Automaton. In: J. Dassow, D. Wotschke (eds.) Pre-Proc. 3rd Internatonal Workshop on Descriptional Complexity of Automata, Grammars and Related Structures Preprint No. 16, Uni. Magdeburg. (2001), 23–34.
J.E. Hopcroft, J.D. Ullman, Introduction Automata Theory, Languages and Computation. Addison-Wesley, 1979.
J. Hromkovič, Relation Between Chomsky Hierarchy and Communication Complexity Hierarchy Acta Math. Univ. Com., Vol 48–49 (1986), 311–317.
J. Hromkovič, Communication Complexity and Parallel Computating. Springer, 1997.
J. Hromkovič, G. Schnitger, Communication Complexity and Sequential Computation. In: Prĺara, P. Ružička (eds.) Proc. of Mathematical Foundation of Computer Science, LNCS 1295, Springer-Verlag (1997) 71–84.
J. Hromkovič, G. Schnitger, On the Power of Las Vegas for One-Way Communication Complexity, OBDD’s and Finite Automata. Information and Computation, 169 (2001), 284–296.
J. Hromkovič, S. Seibert, J, Karhumäki, H. Klauck, G. Schnitger, Communication Complexity Method for Measuring Nondeterminism in Finite Autmata. Information and Computation 172 (2002), 202–217.
G. Jirăaskova, Finite Automata and Communication Protocols. In: C. Martin-vide, V. Mitrana (eds.) Words, Sequences, Grammars, Languages: Where Biology, Computer Science, Linguistics and Mathematics Meet II, to appear.
H. Klauck, G. Schnitger, Nondeterministic Finite Automata versus Nondeterministic Uniform Communication Complexity. Unpublished Manuscript, University of Frankfurt, (1996).
E. Kushilevitz, N. Nisan, Communication Complexity. Cambridge University Press, 1997.
F. Moore, On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic and Two-Way Finite Automata. IEEE Trans. Comput. 20 (1971), 1211–1214.
C. Papadimitriou, M. Sipser, Communication Complexity. Proc. 14th ACM STOC, (1982), 196–200.
P. TiwariLower Bound on Communication Complexity in Distributed Computer Networks. Journal of the ACM, Vol.42, No. 4 (1987) 921–938.
A.C. YaoSome Complexity Questions Related to Distributed Computing. Proc. 11th ACM STOC, (1979), 209–213.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adorna, H.N. (2003). On the Separation between k-Party and (k - 1)-Party Nondeterministic Message Complexities. In: Ito, M., Toyama, M. (eds) Developments in Language Theory. DLT 2002. Lecture Notes in Computer Science, vol 2450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45005-X_13
Download citation
DOI: https://doi.org/10.1007/3-540-45005-X_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40431-6
Online ISBN: 978-3-540-45005-4
eBook Packages: Springer Book Archive