DocumentCode :
1992211
Title :
Generalized CNF satisfiability problems and non-efficient approximability
Author :
Hunt, H.B., III ; Marathe, M.V. ; Stearns, R.E.
Author_Institution :
Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA
fYear :
1994
fDate :
28 Jun- 1 Jul 1994
Firstpage :
356
Lastpage :
366
Abstract :
We use variants of the generalized CNF satisfiability problems SAT(S) of T.J. Schhaefer (1978) to characterize the efficient approximability of a number of basic NP and PSPACE-hard optimization problems in the literature. In contrast with the recent results, none of our proofs make use of interactive proof systems or of probabilistically checkable debate systems. In particular assuming P≠NP- or P≠PSPACE, we show that a number of the optimization problems shown not to be efficiently approximable can be shown not to be efficiently approximable by direct reductions, often of variants of the problems MAX NSF and ambiguous 3SAT. Moreover, often we show this, not only for arbitrary problem instances but also for planar problem instances and for f(n)-treewidth-bounded instances. Thus analogous to Zuckerman (1993), we show that: “Planar NP-complete, PSPACE-complete, planar PSPACE-complete problems, etc. also have versions that are hard to approximate”
Keywords :
approximation theory; computational complexity; optimisation; PSPACE-hard optimization problems; generalized CNF satisfiability problems; nonefficient approximability; Computer science; Constraint optimization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Structure in Complexity Theory Conference, 1994., Proceedings of the Ninth Annual
Conference_Location :
Amsterdam
Print_ISBN :
0-8186-5670-0
Type :
conf
DOI :
10.1109/SCT.1994.315789
Filename :
315789
Link To Document :
بازگشت