Abstract
A series of existing lower bound results for one-tape Turing machines (TM's) is extended to the strongest such model for the computation of functions: one-tape off-line TM's with a write-only output tape. (“Off-line” means: having a two-way input tape.) The following optimal lower bound is shown: Computing the transpose of Boolean ℓ×ℓ-matrices takes Ω(ℓ5/2)=Ω(n5/4) steps on such TM's. (n=ℓ2 is the length of the input.)
Written under partial support by NSF-grant DCR-8504247
This work is based on a part of the first author's Ph.D.-thesis at the University of Illinois at Chicago, Chicago, Illinois, U.S.A.
Preview
Unable to display preview. Download preview PDF.
References
Dietzfelbinger, M.: Lower bounds on computation time for various models in computational complexity theory. Ph.D.-Thesis, University of Illinois at Chicago, 1987.
Hennie, F.C.: One-tape off-line Turing machine computation. Information and Control 8: 553–578, 1965.
Hopcroft,J.E., and Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Reading (Mass.), Addison-Wesley,1979.
Li, M., Longpré, L., and Vitányi, P.M.B.: On the power of the queue. In Structure in Complexity Theory, ed. A. Selman, pp. 219–233. Lecture Notes in Computer Science 223, Berlin, Springer-Verlag, 1986.
Li,M., and Vitányi, P.M.B.: Tape versus queue and stacks: The lower bounds. Information and Computation 77, 1988.
Maass, W.: Combinatorial lower bound arguments for deterministic and nondeterministic Turing machines, Trans. Amer. Math.Soc. 292: 675–693, 1985.
Maass, W., and Schnitger, G.: An optimal lower bound for Turing machines with one work tape and a two-way input tape. In Structure in Complexity Theory, ed. A. Selman, pp. 249–264. Lecture Notes in Computer Science 223. Berlin, Springer-Verlag, 1986.
Maass, W., Schnitger, G., and Szemerédi, E.: Two tapes are better than one for off-line Turing machines. In Proc. 19th ACM Sympos. on Theory of Computing, pp. 94–100, 1987.
Paul, W.: On-line simulation of k+1 tapes by k tapes requires nonlinear time. Information and Control 53: 1–8, 1982.
Paul, W., and Stoss, H.-J.: Zur Komplexität von Sortierproblemen. Acta Informatica 3: 217–225, 1974.
Vitányi, P.M.B.: Square time is optimal for the simulation of a pushdown store by an oblivious one-head unit. Inform. Proc. Letters 21: 87–91, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dietzfelbinger, M., Maass, W. (1988). The complexity of matrix transposition on one-tape off-line turing machines with output tape. In: Lepistö, T., Salomaa, A. (eds) Automata, Languages and Programming. ICALP 1988. Lecture Notes in Computer Science, vol 317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19488-6_116
Download citation
DOI: https://doi.org/10.1007/3-540-19488-6_116
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19488-0
Online ISBN: 978-3-540-39291-0
eBook Packages: Springer Book Archive