可满足性问题的填充函数算法

在线阅读 下载PDF 导出详情
摘要 可满足性问题是第一个被证明为NP-complete问题.首先给出两个解之间距离的概念,其次构造出一类单参数填充函数,该函数形式简洁,便于计算.然后,针对可满足性问题提出了一类填充函数算法,实验表明该算法是有效的.
作者 林耿
机构地区 不详
出处 《闽江学院学报》 2011年2期
出版日期 2011年02月12日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献