DLX解决3-SAT问题

1.关于DLX的重复覆盖：根据与精确覆盖概念的区别可知，只需改变remove()和resume()函数控制删除和恢复的过程即可实现，对于求解最少步数问题，可借助ida*中的h()函数优化。

2.重复覆盖+精确覆盖：某些元素可重复覆盖（目标），而某些元素只能精确覆盖（每类元素只能使用一次），这是要对前m列进行重复覆盖的删除回复操作，对后面的列进行精确覆盖的操作，也有一些特殊情况可直接使用重复覆盖代替。如hdu2828，每类元素只有两种，可通过visit数组在选中某个元素时删除同类中的另一个元素，实现精确覆盖）。

3.K-sat问题：

考虑CNF

子句Ci具有如下形式