计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
3期
35-37
,共3页
可满足性问题%局部搜索%多项式扩展%自动求解
可滿足性問題%跼部搜索%多項式擴展%自動求解
가만족성문제%국부수색%다항식확전%자동구해
SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究.利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT 问题所有解的算法.实验结果显示该算法是有效和可行的
SAT問題在人工智能、計算機基礎理論研究和人工智能等領域有著廣汎的應用,近年來,證明該問題的可滿足性取得瞭巨大的成功,但在求齣SAT問題的所有解方麵還有待進一步研究.利用一箇簡單的變換,將可滿足性(SAT)問題轉化為多項式形式,然後根據命題邏輯的性質以及多項式的性質,得到一箇求解齣SAT 問題所有解的算法.實驗結果顯示該算法是有效和可行的
SAT문제재인공지능、계산궤기출이론연구화인공지능등영역유착엄범적응용,근년래,증명해문제적가만족성취득료거대적성공,단재구출SAT문제적소유해방면환유대진일보연구.이용일개간단적변환,장가만족성(SAT)문제전화위다항식형식,연후근거명제라집적성질이급다항식적성질,득도일개구해출SAT 문제소유해적산법.실험결과현시해산법시유효화가행적
