| 无环配置问题研究 |
| |
| 引用本文： | 王红梅,李宏博,李占山.无环配置问题研究[J].吉林大学学报(理学版),2010,48(3):444-448. |
| |
| 作者姓名： | 王红梅 李宏博 李占山 |
| |
| 作者单位： | 1. 长春工业大学 计算机科学与工程学院, 长春 130012； 2. 吉林大学 计算机科学与技术学院, 长春 130012 |
| |
| 基金项目： | 国家自然科学基金，吉林省科技发展计划项目 |
| |
| 摘 要： | 基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.探讨了将目前两种主流计算冲突解释方法应用到无环配置问题的可行性.
|
| 关 键 词： | 约束满足问题 配置问题 模型正确性 弧相容 解释 |
| 收稿时间： | 2009-12-11 |
On Acycle Configuration Problems |
| |
| WANG Hong-mei,LI Hong-bo,LI Zhan-shan.On Acycle Configuration Problems[J].Journal of Jilin University: Sci Ed,2010,48(3):444-448. |
| |
| Authors: | WANG Hong-mei LI Hong-bo LI Zhan-shan |
| |
| Institution: | 1. School of Computer Science and Engineering, Changchun University of Technology, Changchun 130012, China;2. College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| Abstract: | In view of constraint based configuration problems solved by the classic algorithms which are used to solve constraint satisfaction problems, the authorsproposed the notion of model correctness, then analysed the properties of acycle configuration, gave a backtrack free search algorithm for solvingconfigurations, used the arc consistency technologies to delete the redundant values from the domains of related variables so as to guide the users to configure products, and proved the correctness of the algorithm. Finally, thetwo popular algorithms to compute the explanations were applied to acycle configurations. |
| |
| Keywords: | constraint satisfaction problem configuration problem model correctness arc consistency explanation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
|
