一种基于图分割的动态回溯算法

• 作者: 王萌
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 人工智能 约束满足问题 动态回溯 图分割 约束网络
• 年，卷（期）: 2012,（21）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 185-188
• 页数: 4页
• 分类号: TP18
• 字数: 4633字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.21.050

摘要

动态回溯算法在进行回溯时保留所有已赋值变量的值,从而可能与后面赋值的变量产生冲突,其在解决不具有明显子问题结构的约束满足问题时效率较低.为此,将图分割技术应用于动态回溯,通过图分割将变量分为若干集合,当发生回溯时,不保留全部变量的值,舍弃那些与引起冲突的变量在同一集合变量中的值.实验结果表明,该算法在求解没有明显子问题结构的约束满足问题时具有较高的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王萌	吉林大学软件学院	20	53	2.0	7.0