我知道2 SAT可以在多项式时间内求解,从而找出强连接的组件。对3SAT做同样的事情呢?

时间:2018-11-11 13:07:30

标签: algorithm graph-theory np sat 2-satisfiability

如果是3SAT而不是为一个子句获得2个含义,我们可能得到12(3C2 * 2 * 2)。当m是3 CNF中子句的个数时,它将形成12m边的图我们仍然可以在该结果图中找到强连接的组件。这句话使3 SAT成为P问题,出了什么问题?例如。

(a+b) = (-a->b).(-b->a)
(a+b+c) = (-a->(b+c)).(-(b+c)->a).....4 more like this
        = (-a ->((-b->c).(-c->b)))....2 for each like this

1 个答案:

答案 0 :(得分:0)

不幸的是,nil无法用indexOutOfBounds表示,因此它不能像2-SAT那样简单。

但是,存在许多与搜索3-SAT的多项式时间算法有关的著作。 这个想法是找到可以使3-SAT实例“固定参数可跟踪”(FPT)的条件。

我可以向您推荐Stefan Szeider的文章On Fixed-Parameter Tractable Parameterizations of SAT,其中有一段文章介绍了将SAT实例视为图形并在图形中搜索参数以使SAT问题可跟踪。

您可以在此处找到有关FPT的更多信息:https://en.wikipedia.org/wiki/Parameterized_complexity