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
相关论文
共 50 条
  • [1] Inapproximability Results for Set Splitting and Satisfiability Problems with No Mixed Clauses
    Venkatesan Guruswami
    Algorithmica , 2004, 38 : 451 - 469
  • [2] Complexity of satisfiability problems with symmetric polynomial clauses
    Creignou, N
    More, M
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (03) : 353 - 366
  • [3] The role of redundant clauses in solving satisfiability problems
    Zeng, HL
    McIlraith, S
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 873 - 873
  • [4] Inapproximability Results for Computational Problems on Lattices
    Khot, Subhash
    LLL ALGORITHM: SURVEY AND APPLICATIONS, 2010, : 453 - 473
  • [5] Inapproximability results on stable marriage problems
    Halldórsson, M
    Iwama, K
    Miyazaki, S
    Morita, Y
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 554 - 568
  • [6] Complexity and inapproximability results for the Power Edge Set problem
    Toubaline, Sonia
    D'Ambrosio, Claudia
    Liberti, Leo
    Poirion, Pierre-Louis
    Schieber, Baruch
    Shachnai, Hadas
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2018, 35 (03) : 895 - 905
  • [7] Complexity and inapproximability results for the Power Edge Set problem
    Sonia Toubaline
    Claudia D’Ambrosio
    Leo Liberti
    Pierre-Louis Poirion
    Baruch Schieber
    Hadas Shachnai
    Journal of Combinatorial Optimization, 2018, 35 : 895 - 905
  • [8] Inapproximability results for bounded variants of optimization problems
    Chlebík, M
    Chlebíková, J
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2003, 2751 : 27 - 38
  • [9] Inapproximability results for orthogonal rectangle packing problems with rotations
    Chlebik, Miroslav
    Chlebikova, Janka
    ALGORITHMS AND COMPLEXITY, PROCEEDINGS, 2006, 3998 : 199 - 210
  • [10] Inapproximability Results for the Weight Problems of Subgroup Permutation Codes
    Shieh, Min-Zheng
    Tsai, Shi-Chun
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2012, 58 (11) : 6907 - 6915