Inapproximability results for set splitting and satisfiability problems with no mixed clauses

被引:17
作者
Guruswami, V [1 ]
机构
[1] Univ Washington, Dept Comp Sci, Seattle, WA 98195 USA
[2] MIT, Cambridge, MA 02139 USA
关键词
hardness of approximations; set splitting; PCP; gadgets;
D O I
10.1007/s00453-003-1072-z
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We prove hardness results for approximating set splitting problems and also instances of satisfiability problems which have no "mixed" clauses, i.e., every clause has either all its literals unnegated or all of them negated. Results of Hastad [5] imply tight hardness results for set splitting when all sets have size exactly k greater than or equal to 4 elements and also for non-mixed satisfiability problems with exactly k literals in each clause for k greater than or equal to 4. We consider the case k = 3. For the MAX E3-SET SPLITTING problem in which all sets have size exactly 3, we prove an NP-hardness result for approximating within any factor better than 19/20. This result holds even for satisfiable instances of MAX E3-SET SPLITTING, and is based on a PCP construction due to Hastad [5]. For "non-mixed MAX 3SAT," we give a PCP construction which is a slight variant of the one given by Hastad for MAX 3SAT, and use it to prove the NP-hardness of approximating within a factor better than 11/12.
引用
收藏
页码:451 / 469
页数:19
相关论文
共 16 条
  • [1] Free bits, PCPs, and nonapproximability - Towards tight results
    Bellare, M
    Goldreich, O
    Sudan, M
    [J]. SIAM JOURNAL ON COMPUTING, 1998, 27 (03) : 804 - 915
  • [2] Feige U., 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems, P182, DOI 10.1109/ISTCS.1995.377033
  • [3] Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
    Goemans, MX
    Williamson, DP
    [J]. JOURNAL OF THE ACM, 1995, 42 (06) : 1115 - 1145
  • [4] GURUSWAMI V, 2000, P 3 INT WORKSH APPR
  • [5] Some optimal inapproximability results
    Håstad, J
    [J]. JOURNAL OF THE ACM, 2001, 48 (04) : 798 - 859
  • [6] HOLMERIN J, 2002, P 34 ACM S THEOR COM
  • [7] Approximability of maximum splitting of k-sets and some other Apx-complete problems
    Kann, V
    Lagergren, J
    Panconesi, A
    [J]. INFORMATION PROCESSING LETTERS, 1996, 58 (03) : 105 - 110
  • [8] A 7/8-approximation algorithm for MAX 3SAT?
    Karloff, H
    Zwick, U
    [J]. 38TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1997, : 406 - 415
  • [9] KHANNA S, 1997, P 29 STOC
  • [10] Lovasz Laszlo, 1973, P 4 SE C COMB GRAPH, P3