CNF 与喇叭可满足性
CNF vs Horn Satisfiability
我知道证明喇叭公式是否可满足更容易。我的问题是：为什么使用喇叭公式比使用普通 CNF 更容易？
存在或不存在 Horn satisfiability can be shown in linear time. Here is a good introduction with some examples. The solution can be found by unit propagation 没有回溯。
伪代码来自 UC Berkeley lecture note:
一般 CNF 表达式的可满足性是一个经典的 NP-complete 问题。没有已知的多项式时间算法可满足 CNF（除非 P=NP）。
我知道证明喇叭公式是否可满足更容易。我的问题是：为什么使用喇叭公式比使用普通 CNF 更容易？
存在或不存在 Horn satisfiability can be shown in linear time. Here is a good introduction with some examples. The solution can be found by unit propagation 没有回溯。
伪代码来自 UC Berkeley lecture note:
一般 CNF 表达式的可满足性是一个经典的 NP-complete 问题。没有已知的多项式时间算法可满足 CNF（除非 P=NP）。