基于等价类划分的配置求解与解释计算

• 作者: 李占山 李宏博 韩文成
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 约束满足 配置 等价类 回溯 冲突解释
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 929-937
• 分类号: TP181
• 字数: 7017字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03814

摘要

基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系,这样的变量之间进行约束传播不会互相影响取值.基于配置问题的这一特点,提出了一种等价类划分的思想,用于构造产品模型时的预处理技术,可以有效地将原问题划分为若干子问题,证明了这些子问题可以分别处理.分别采用两种回溯策略对求解效率进行了测试,结果表明能够有效地提高求解效率.最后,等价类划分方法与计算解释的QUICKXPLAIN算法集成计算冲突解释,测试结果表明,经过等价类划分后,同样可以有效地提高计算解释的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李占山	吉林大学计算机科学与技术学院	43	234	7.0	13.0
5	李宏博	吉林大学计算机科学与技术学院	9	39	4.0	6.0
9	韩文成	吉林大学计算机科学与技术学院	3	11	2.0	3.0