[1]胡东华 张旭.A^＊算法在BDD变量最优排序方法中的应用[J].计算机技术与发展,2007,(07):70-72.
　HU Dong-hua,ZHANG Xu.Application of A^＊ Algorithm in Optimal Variables Ordering Method of BDD[J].,2007,(07):70-72.
点击复制

A^＊算法在BDD变量最优排序方法中的应用()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年07期
页码:
70-72
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Application of A^＊ Algorithm in Optimal Variables Ordering Method of BDD
文章编号:
1673-629X（2007）07-0070-03
作者:
胡东华 张旭
郑州轻工业学院计算机与通信工程学院
Author(s):
HU Dong-hua;  ZHANG Xu
Sch. of Computer and Communication Eng. , Zhengzhou Univ. of Light Industry
关键词:
BDD; 最优变量排序; A^＊搜索算法; 状态空间; 估价函敬
Keywords:
BDD;  optimal variable ordering;  A^＊ searching algorithm;  state spaces;  cost function
分类号:
TP301.6 O223
文献标志码:
A
摘要:
介绍了二叉判定图（BDD）的相关知识及在构造BDD过程中变量顺序对其结点数的影响，在Friednan等提出的一种寻找最优变量排序算法的基础上．将广泛应用于人工智能的A^＊搜索算法引入到最优变量排序方法中，提出了一种寻找变量最优排序的新方法。该方法在寻求BDD最优变量排序的过程中．使处理器的处理时间和存储器的空间需求上都有很大的改善
Abstract:
Gave a brief introduction of BDD and the order of the variables reflects the size of a BDD related to a given Boolean function. In paper, bring the widely used searching algorithm in AI-A^＊ algorithim into the optimal variable ordering. Compared with the algorithm of others, in finding the BDD optimal variable ordering, this algorithm has more improvement in the management time of CPU and the need of storage

备注/Memo

备注/Memo:
河南自然科学基金（0411010500）;郑州轻工业学院校内科研基金胡东华（1976-），男，河北唐山人，硕士，助教，研究方向为硬件模型检测
更新日期/Last Update: 1900-01-01