计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
10期
29-33,38
,共6页
约束满足问题%约束分解技术%知识表示框架
約束滿足問題%約束分解技術%知識錶示框架
약속만족문제%약속분해기술%지식표시광가
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.
約束滿足問題是一箇彊有力的知識錶示框架,可以有效地解決許多問題.由于約束滿足問題一般情況下是NP難度的問題,因此通過約束分解來降低計算的開銷具有十分重要的意義.主要描述約束分解在約束滿足問題中的地位、經典的分解技術和約束分解技術的髮展歷史,然後簡要地分析這些分解技術.介紹瞭關于約束分解研究的最新狀況,併描述、分析和總結其主要求解思想.最後根據存在的問題與不足提齣瞭下一步的工作方嚮和研究思路.
약속만족문제시일개강유력적지식표시광가,가이유효지해결허다문제.유우약속만족문제일반정황하시NP난도적문제,인차통과약속분해래강저계산적개소구유십분중요적의의.주요묘술약속분해재약속만족문제중적지위、경전적분해기술화약속분해기술적발전역사,연후간요지분석저사분해기술.개소료관우약속분해연구적최신상황,병묘술、분석화총결기주요구해사상.최후근거존재적문제여불족제출료하일보적공작방향화연구사로.