A simplified NP-complete MAXSAT problem

被引：52
|
作者：
Raman, V
Ravikumar, B
Rao, SS
机构：
[1] Inst Math Sci, Chennai 600113, India
[2] Univ Rhode Isl, Dept Comp Sci, Kingston, RI 02881 USA
来源：
INFORMATION PROCESSING LETTERS | 1998年 / 65卷 / 01期
关键词：
computational complexity; algorithms;
D O I：
10.1016/S0020-0190(97)00223-8
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
It is shown that the MAX2SAT problem is NP-complete even if every variable appears in at most three clauses. However, if every variable appears in at most two clauses, it is shown that it (and even the general MAXSAT problem) can be solved in linear time. When every variable appears in at most three clauses, we give an exact algorithm for MAXSAT that takes at most 0(3(n/2)n) steps where n is the number of variables. (C) 1998 Published by Elsevier Science B.V.
引用
收藏
页码：1 / 6
页数：6
相关论文
共 50 条
12345