Abstract
The notion of linear-time computability is very sensitive to machine model. In this connection, we introduce a class NLT of functions computable in nearly linear time n(log n)O(1) on random access computers. NLT is very robust and does not depend on the particular choice of random access computers. Kolmogorov machines, Schönhage machines, random access Turing machines, etc., also compute exactly NLT functions in nearly linear time. It is not known whether usual multitape Turing machines are able to compute all NLT functions in nearly linear time. We do not believe they are and do not consider them necessarily appropriate for this relatively low complexity level. It turns out, however, that nondeterministic Turing machines accept exactly the languages in the nondeterministic version of NLT. We give also a machine-independent definition of NLT and a natural problem complete for NLT.
Partially supported by NSF grant DCR 85-03275 and by a grant from Binational US-Israel Science Foundation. A substantial portion of the work was done during a week in Fall 1985 when both authors visited Rutgers University; during the last stage of the work, the author was on a sabbatical visit to Stanford University and IBM Almaden Research Center.
Preview
Unable to display preview. Download preview PDF.
References
G. M. Adelson-Velsky. Soviet Math. 3 (1962), 1259–1263.
A. V. Aho, J. E. Hopcroft and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass. 1974.
Dana Angluin and Les Valiant. Fast Probabilistic Algorithm for Hamiltonian Circuits and Matchings. J. of Computer and System Sciences 18 (1979), 155–193.
Stephen A. Cook. Short Propositional Formulas Represent Nondeterministic Computations. IPL 26 (1987/88), 269–270.
Yuri Gurevich. Kolmogorov Machines and Related Issues: The Column on Logic in Computer Science. Bulletin of European Assoc. for Theor. Comp. Science 35, June 1988, 71–82.
Yuri Gurevich and Saharon Shelah. Functions Computable in Nearly Linear Time. AMS Abstracts 7:4 (1986), p. 236.
Donald E. Knuth. The Art of Computer Programming: Volume 3 / Sorting and Searching. Addison-Wesley, Reading, Mass. 1973.
A. N. Kolmogorov and V. A. Uspensky. On the Definition of an Algorithm. Uspekhi Mat. Nauk 13:4 (1958), 3–28 (Russian) or AMS Translations, ser. 2, vol. 21 (1963), 217–245.
Sandy Irani, Moni Naor, Ronitt Rubinfeld. On the Time and Space Complexity of Computation Using Write-Once Memory. Manuscript, Computer Science Division, UC Berkeley, Nov. 1988.
W. J. Paul, N. Pippenger, E. Szemeredi and W. T. Trotter, On determinism versus non-determinism and related problems. Proc. 24th IEEE Symposium on Foundation of Computer Science, November 1983, Tucson, Arizona, 429–438.
N. Pippinger and M. J. Fischer. Relations among Complexity Measures. J. ACM 26:2 (1979), 361–381.
Claus P. Schnorr. Satisfiability is Quasilinear Complete in NQL. Journal of ACM 25:1 (1978), 136–145.
A. Schönhage. Storage Modification Machines. SIAM J. Computing 9:3, August 1980, 490–508.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gurevich, Y., Shelah, S. (1989). Nearly linear time. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_10
Download citation
DOI: https://doi.org/10.1007/3-540-51237-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51237-0
Online ISBN: 978-3-540-46180-7
eBook Packages: Springer Book Archive