Abstract
This paper introduces logspace optimization problems as analogues of the well-studied polynomial-time optimization problems. Similarly to them, logspace optimization problems can have vastly different approximation properties, even though the underlying decision problems have the same computational complexity. Natural problems, including the shortest path problems for directed graphs, undirected graphs, tournaments, and forests, exhibit such a varying complexity. In order to study the approximability of logspace optimization problems in a systematic way, polynomial-time approximation classes are transferred to logarithmic space. Appropriate reductions are defined and optimization problems are presented that are complete for these classes. It is shown that under the assumption L ≠ NL some logspace optimization problems cannot be approximated with a constant ratio; some can be approximated with a constant ratio, but do not permit a logspace approximation scheme; and some have a logspace approximation scheme, but cannot be solved in logarithmic space. A new natural NL-complete problem is presented that has a logspace approximation scheme.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Álvarez, C., Jenner, B.: A very hard log-space counting class. Theoretical Computer Science 107, 3–30 (1993)
Ausiello, G., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties. Springer, Heidelberg (1999)
Crescenzi, P., Kann, V., Silvestri, R., Trevisan, L.: Structure in approximation classes. SIAM J. Computing, 28(5), 1750–1782 (1999)
Jakoby, A., Liśkiewicz, M., Reischuk, R.: Space efficient algorithms for series-parallel graphs. In: Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol. 2010, pp. 339–352. Springer, Heidelberg (2001)
Jenner, B., Torán, J.: Complexity Theory Retrospective II. In: The Complexity of Obtaining Solutions for Problems in NP and NL, pp. 155–178. Springer, Heidelberg (1997)
Khanna, S., Motwani, R., Sudan, M., Vazirani, U.: On syntactic versus computational views of approximability. SIAM J. Computing 28(1), 164–191 (1998)
Krentel, M.W.: The complexity of optimization problems. Journal of Computer and System Sciences 36(3), 490–509 (1988)
Nickelsen, A., Tantau, T.: The complexity of finding paths in graphs with bounded independence number. SIAM Journal on Computing (2005) (to appear)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)
Reingold, O.: Undirected st-connectivity in log-space. Technical Report TR04- 094,In: Electronic Colloquium on Computational Complexity (2004)
Savitch, W.J.: Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences 4(2), 177–192 (1970)
Tantau, T.: Logspace optimisation problems and their approximation properties. Technical Report TR03-077,In: Electronic Colloquium on Computational Complexity (2003), http://www.eccc.uni-trier.de/eccc
Toda, S.: Counting problems computationally equivalent to computing the determinant. Technical Report CSIM 91-07, In: Dept. Comput. Sci. and Inf. Math., Univ. Electro-Communications, Chofu-shi, Tokyo 182, Japan (May 1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tantau, T. (2005). Logspace Optimization Problems and Their Approximability Properties. In: Liśkiewicz, M., Reischuk, R. (eds) Fundamentals of Computation Theory. FCT 2005. Lecture Notes in Computer Science, vol 3623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11537311_10
Download citation
DOI: https://doi.org/10.1007/11537311_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28193-1
Online ISBN: 978-3-540-31873-6
eBook Packages: Computer ScienceComputer Science (R0)