The complexity of the max word problem

and the power of one-way interactive proof systems
  • Anne Condon
Complexity III
Part of the Lecture Notes in Computer Science book series (LNCS, volume 480)


We study the complexity of the max word problem for matrices, a variation of the well-known word problem for matrices. We show that the problem is NP-complete, and cannot be approximated within any constant factor, unless P=NP. We describe applications of this result to probabilistic finite state automata, rational series and k-regular sequences. Our proof is novel in that it employs the theory of interactive proof systems, rather than a standard reduction argument. As another consequence of our results, we characterize NP exactly in terms of one-way interactive proof systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J.-P. Allouche and J. Shallit, The Ring of k-regular Sequences, Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, Springer-Verlag Lecture Notes in Computer Science, Number 415 February 1990, pp 12–23.Google Scholar
  2. [2]
    A. Condon, Space Bounded Probabilistic Game Automata, Proceedings of the Third Annual conference on Structure in Complexity Theory, June 1988, pp 162–174. To appear in the Journal of the Association for Computing Machinery.Google Scholar
  3. [3]
    A. Condon and R. J. Lipton, Upper Bounds on the Complexity of Space Bounded Interactive Proofs, Technical Report 841, Computer Sciences Department, University of Wisconsin-Madison, April 1989.Google Scholar
  4. [4]
    J. Gill, Computational Complexity of Probabilistic Turing Machines, SIAM Journal on Computing, 6, No. 4, 1977, pps 675–695.CrossRefGoogle Scholar
  5. [5]
    S. Goldwasser, S. Micali and C. Rackoff, The knowledge complexity of interactive proof systems, Proceedings of 17th Symposium of the Theory of Computing (STOC), 1985, pp 291–304.Google Scholar
  6. [6]
    R. J. Lipton and Y. Zalcstein, Word Problems Solvable in Logspace, Journal of the Association for Computing Machinery, 24, No. 3, July 1977, pp 522–526.Google Scholar
  7. [7]
    A. Paz, Introduction to Probabilistic Automata, Academic Press, 1971.Google Scholar
  8. [8]
    M. O. Rabin, Probabilistic Automata, Information and Control 6, 1963, pp 230–245.CrossRefGoogle Scholar
  9. [9]
    J. Rotman, The Theory of Groups: An Introduction. Allyn and Bacon, Boston, second ed., 1973.Google Scholar
  10. [10]
    A. Salomaa and M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer-Verlag, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Anne Condon
    • 1
  1. 1.Computer Science DepartmentUniversity of Wisconsin-MadisonUSA

Personalised recommendations