基于变元加权的一种求解SAT问题的新方法

• 作者: 王美华
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: SAT问题 不完全算法 变元权重
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 学术探讨
• 页码范围: 74-77
• 页数: 4页
• 分类号: O221.2|F224.5
• 字数: 4838字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.04.025

摘要

研究合取范式可满足性的SAT问题作为一个NP完全问题,在计算机科学及组合优化问题领域中有着中心课题的重要地位.由于其NP问题的性质决定了它尚无通用快速的完全算法,因此基于"实验算法学"的思想,按照平均性态而不是最坏情况性态的原则,对具有启发式策略的不完全算法的研究成为近年来大家关注与努力的焦点.该文正是立足于此,提出了"加权消元"这一种全新而且高效的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王美华	华南农业大学理学院	22	133	6.0	10.0