Abstract
In this chapter we give the formal definitions and basic results of discrete complexity theory, in particular, regarding the complexity classes between logarithmic space and exponential space. Some results on complexity classes of sparse sets and tally sets are included because they are closely related to the structure of the representations of real numbers under our formal definition. Other results in discrete complexity theory, not directly related to our theory, will be introduced in later chapters when they are needed. This chapter is not intended to be an introductory reading for discrete complexity theory. Many important issues in the theory are omitted and most theorems are given without proofs. The reader who wishes to learn more systematically about complexity theory is referred to Garey and Johnson [1979] and Balcázar, Diaz and Gabarró [1988, 1990].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 Birkhäuser Boston
About this chapter
Cite this chapter
Ko, KI. (1991). Basics in Discrete Complexity Theory. In: Complexity Theory of Real Functions. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4684-6802-1_2
Download citation
DOI: https://doi.org/10.1007/978-1-4684-6802-1_2
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4684-6804-5
Online ISBN: 978-1-4684-6802-1
eBook Packages: Springer Book Archive