A*算法在BDD变量最优排序方法中的应用

• 作者: 张旭 胡东华
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: BDD 最优变量排序 A*搜索算法 状态空间 估价函数
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 70-72,76
• 页数: 4页
• 分类号: TP301.6|O223
• 字数: 3400字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.07.020

摘要

介绍了二叉判定图(BDD)的相关知识及在构造BDD过程中变量顺序对其结点数的影响,在Friedman等提出的一种寻找最优变量排序算法的基础上,将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中,提出了一种寻找变量最优排序的新方法.该方法在寻求BDD最优变量排序的过程中,使处理器的处理时间和存储器的空间需求上都有很大的改善.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张旭	郑州轻工业学院计算机与通信工程学院	5	17	3.0	4.0
2	胡东华	郑州轻工业学院计算机与通信工程学院	2	9	1.0	2.0