版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
A<\'*>算法在BDD变量最优排序方法中的应用
作者单位：兰州大学
学位级别：硕士
导师姓名：李廉
授予年度：2005年
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 07[理学] 08[工学] 070105[理学-运筹学与控制论] 0701[理学-数学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：二叉判定图 最优变量排序 A<\\\'\'*>搜索算法 估价函数
摘 要：本文在Friedman等人提出的一种寻找最优变量序的算法的基础上将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中，提出了一种寻找变量最优排序的新方法。该算法利用人工智能中的A*算法，把寻求变量的最优排序问题转变成了在状态空间中寻找最优路径的问题，由于A*算法保证在每次扩展时选取状态空间最优的状态去生成其子状态，直到达到其目标状态，所以大部分的状态空间在搜索的过程中被删除了。同时在该算法引入了暂缓插入条件和提前结束条件，使得该算法的状态空间得到了更进一步的缩减。因此这种办法比起Friedman的最优变量排序算法在处理器的处理时间上和存储器的空间需求上都有很大的改善。
