简介:可满足性问题是第一个被证明为NP-complete问题.首先给出两个解之间距离的概念,其次构造出一类单参数填充函数,该函数形式简洁,便于计算.然后,针对可满足性问题提出了一类填充函数算法,实验表明该算法是有效的.
可满足性问题的填充函数算法