Abstract
The generalized maximum satisfiability problem contains a large class of interesting combinatorial optimization problems. Since most of them are NP-complete we analyze fast approximation algorithms.
Every generalized ψ-satisfiability problem has a polynomial ɛψ-approximate algorithm for a naturally defined constant ɛψ, 0≤ɛψ>1 which is determined here explicitly for several ψ. It is shown that ɛψ can be approximated by the Soviet Ellipsoid Algorithm. The fraction ɛψis known to be best-possible in the sense that the following set is NP-complete: The ψ-formulas S which have an assignment satisfying the fraction τ' <1−ɛψ(τ' rational) of all clauses in S.
Among other results we also show that for many ψ, local search algorithms fail to be ɛψ-approximate algorithms. In some cases, local search algorithms can be arbitrarily far from optimal.
Extended Abstract (Proofs omitted)
Currently on leave from Princeton University. This research is supported by NSF grant MCS80-04490.
Preview
Unable to display preview. Download preview PDF.
References
Charalambous Conn, "An efficient method to solve the minimax problem directly," SIAM J. Num. Anal. 15, pp. 162–187 (1978).
V.F. Demyanov V.N. Malozemov, Introduction to Minimax, John Wiley & Sons, New York (1974).
P. Erdös and D.J. Kleitman, "On coloring graphs to maximize the proportion of multicolored k-edges," Journal of Combinatorial Theory 5 (2) pp. 164–169 (Sept. 1968).
E.C. Freuder, "Synthesizing Constraint Expressions," Comm. ACM 21 (11) pp. 958–966 (1978).
M.R. Garey, D.S. Johnson, and L. Stockmeyer, "Some simplified NP-complete graph problems," Theor. Comput. Sci. 1, pp. 237–267 (1976).
M.A. Huang, K.J. Lieberherr, "Towards an approximation scheme for generalized satisfiability", Report 292. Dep. EECS, Princeton University (1982).
K.J. Lieberherr and E. Specker, "Complexity of Partial Satisfaction II," Report 293, Dep. of EECS, Princeton University (1982).
K.J. Lieberherr, "Algorithmic extremal problems in combinatorial optimization," Journal of Algorithms, September 1982.
K.J. Lieberherr, Stephen A. Vavasis, "Limitations of Local Search," Report 302, Dep. of EECS, Princeton University (1982).
C.H. Papadimitriou K. Steiglitz, Combinatorial Optimization, Prentice Hall (1982).
S. Sahni and T. Gonzales, "P-complete approximation problems," J. ACM 23 (3) pp. 555–565 (1976).
T. Schaefer, "The complexity of satisfiability problems," Proc. 10th Annual ACM Symposium on Theory of Computing, pp. 216–226 (1978).
P.M.B. Vitanyi, "How well can a graph be n-colored?" Discrete Mathematics 34,,pp. 69–80 (1981).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lieberherr, K.J., Vavasis, S.A. (1982). Analysis of polynomial approximation algorithms for constraint expressions. In: Cremers, A.B., Kriegel, HP. (eds) Theoretical Computer Science. Lecture Notes in Computer Science, vol 145. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036480
Download citation
DOI: https://doi.org/10.1007/BFb0036480
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11973-9
Online ISBN: 978-3-540-39421-1
eBook Packages: Springer Book Archive