| 二叉判定图最优化算法研究综述 |
| |
| 引用本文： | 王明全,于海斌,王宏.二叉判定图最优化算法研究综述[J].信息与控制,2004,33(5):567-572. |
| |
| 作者姓名： | 王明全 于海斌 王宏 |
| |
| 作者单位： | 1. 中国科学院沈阳自动化研究所,辽宁,沈阳,110016;中国科学院研究生院,北京,100039
2. 中国科学院沈阳自动化研究所,辽宁,沈阳,110016 |
| |
| 摘 要： | 对近年来二叉判定图(BDD)最优化算法的成果和发展趋势进行了综述和讨论，重点介绍精确排序算法和动态启发式排序算法．给出了BDD优化算法的改进建议：用不完全枚举法的优势和随机过程动态规划策略改进BDD优化算法．
|
| 关 键 词： | 二叉判定图 解最优化算法 情况精确排序算法 动态启发式排序算法 |
| 文章编号： | 1002-0411(2004)05-0567-06 |
Overview on the Research of Binary Decision Diagrams Optimization |
| |
| WANG Ming-quan ,YU Hai-bin,WANG Hong.Overview on the Research of Binary Decision Diagrams Optimization[J].Information and Control,2004,33(5):567-572. |
| |
| Authors: | WANG Ming-quan YU Hai-bin WANG Hong |
| |
| Affiliation: | WANG Ming-quan 1,2,YU Hai-bin1,WANG Hong1 |
| |
| Abstract: | This paper overviews the achievements and develepment trends of binary decision diagrams(BDD) optimization, focusing on exact ordering algorithm and dynamic heuristic ordering algorithm, and some proposals are given to improve the BDD optimization algorithm: taking advantage of non-complete enumerating method and utilizing the strategy of stochastic process dynamic programming. |
| |
| Keywords: | binary decision diagrams(BDD) optimization algorithm exact ordering algorithm dynamic heuristic ordering algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
