Abstract
Min PB is the class of minimization problems whose objective functions are bounded by a polynomial in the size of the input. We show that there exist several problems which are Min PB-complete with respect to an approximation preserving reduction. These problems are very hard to approximate; in polynomial time they cannot be approximated within nε for some ε>0, where n is the size of the input, provided that P≠NP. In particular, the problem of finding the minimum independent dominating set in a graph, the problem of satisfying a 3-SAT formula setting the least number of variables to one, and the minimum bounded 0–1 programming problem are shown to be Min PB-complete. We also present a new type of approximation preserving reduction that is designed for problems whose approximability is expressed as a function in some size parameter. Using this reduction we obtain good lower bounds on the approximability of the treated problems.
Supported by grants from TFR.
Preview
Unable to display preview. Download preview PDF.
References
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof verification and hardness of approximation problems. In Proc. of 33rd Annual IEEE Sympos. on Foundations of Computer Science, pages 14–23, 1992.
P. Berman and G. Schnitger. On the complexity of approximating the independent set problem. Information and Computation, 96:77–94, 1992.
P. Crescenzi and A. Panconesi. Completeness in approximation classes. Information and Computation, 93(2):241–262, 1991.
M. R. Garey and D. S. Johnson. Computers and Intractability: a guide to the theory of NP-completeness. W. H. Freeman and Company, San Fransisco, 1979.
M. M. Halldórsson. Approximating the minimum maximal independence number. Technical Report IS-RR-93-0001F, ISSN 0918-7553, Japan Advanced Institute of Science and Technology, JAIST, 1993.
K-U. Höffgen, H-U. Simon, and K. van Horn. Robust trainability of single neurons. Manuscript, 1992.
O. H. Ibarra and C. E. Kim. Fast approximation for the knapsack and sum of subset problems. Journal of the ACM, 22(4):463–468, 1975.
R. W. Irving. On approximating the minimum independent dominating set. Information Processing Letters, 37:197–200, 1991.
V. Kann. On the Approximability of NP-complete Optimization Problems. PhD thesis, Department of Numerical Analysis and Computing Science, Royal Institute of Technology, Stockholm, 1992.
V. Kann. On the approximability of the maximum common subgraph problem. In Proc. 9th Annual Symposium on Theoretical Aspects of Computer Science, pages 377–388. Springer-Verlag, 1992. Lecture Notes in Computer Science 577.
P. G. Kolaitis and M. N. Thakur. Logical definability of NP optimization problems. Technical Report UCSC-CRL-90-48, Board of Studies in Computer and Information Sciences, University of California at Santa Cruz, 1990. To be published in Information and Computation.
M. W. Krentel. The complexity of optimization problems. Journal of Computer and System Sciences, 36:490–509, 1988.
A. Panconesi and D. Ranjan. Quantifiers and approximation. In Proc. Twenty second Annual ACM symp. on Theory of Comp., pages 446–456. ACM, 1990.
C. H. Papadimitriou and M. Yannakakis. Optimization, approximation, and complexity classes. Journal of Computer and System Sciences, 43:425–440, 1991.
N. Pippenger and M. J. Fischer. Relations among complexity measures. Journal of the ACM, 26(2):361–381, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kann, V. (1993). Polynomially bounded minimization problems which are hard to approximate. In: Lingas, A., Karlsson, R., Carlsson, S. (eds) Automata, Languages and Programming. ICALP 1993. Lecture Notes in Computer Science, vol 700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56939-1_61
Download citation
DOI: https://doi.org/10.1007/3-540-56939-1_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56939-8
Online ISBN: 978-3-540-47826-3
eBook Packages: Springer Book Archive