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 条
  • [21] On the convergence of splitting algorithm for mixed equilibrium problems on Hadamard manifolds
    Khammahawong, K.
    Kumam, P.
    Chaipunya, P.
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2020, 58 (04) : 799 - 815
  • [22] New Splitting Algorithm for Mixed Equilibrium Problems on Hilbert Spaces
    Deepan, Urairat
    Kumam, Poom
    Kim, Jong Kyu
    THAI JOURNAL OF MATHEMATICS, 2020, 18 (03): : 1199 - 1211
  • [23] The Proportion for Splitting Data into Training and Test Set for the Bootstrap in Classification Problems
    Vrigazova, Borislava
    BUSINESS SYSTEMS RESEARCH JOURNAL, 2021, 12 (01): : 228 - 242
  • [24] Accurate splitting approach to characterize the solution set of boundary layer problems
    Sayevand, Khosro
    Tenreiro Machado, Jose Antonio
    COMPUTATIONAL METHODS FOR DIFFERENTIAL EQUATIONS, 2019, 7 (02): : 206 - 223
  • [25] Splitting Theorems, Symmetry Results and Overdetermined Problems for Riemannian Manifolds
    Farina, Alberto
    Mari, Luciano
    Valdinoci, Enrico
    COMMUNICATIONS IN PARTIAL DIFFERENTIAL EQUATIONS, 2013, 38 (10) : 1818 - 1862
  • [26] PROBLEMS AND RESULTS ON INTERSECTIONS OF SET SYSTEMS OF STRUCTURAL TYPE
    ERDOS, P
    SOS, VT
    UTILITAS MATHEMATICA, 1986, 29 : 61 - 70
  • [27] Tight approximability results for test set problems in bioinformatics
    Berman, P
    DasGupta, B
    Kao, MY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2005, 71 (02) : 145 - 162
  • [28] Tight approximability results for test set problems in bioinformatics
    Berman, P
    DasGupta, B
    Kao, MY
    ALGORITHM THEORY- SWAT 2004, 2004, 3111 : 39 - 50
  • [29] A fictitious domain method with operator splitting for wave problems in mixed form
    Bokil, V
    Glowinski, R
    MATHEMATICAL AND NUMERICAL ASPECTS OF WAVE PROPAGATION, WAVES 2003, 2003, : 437 - 442
  • [30] Domain splitting algorithm for mixed finite element approximations to parabolic problems
    Chen, H.
    Lazarov, R.D.
    East-West Journal of Numerical Mathematics, 1996, 4 (02): : 121 - 135