二叉判定图最优化算法研究综述

作者：王明全; 于海斌; 王宏

来源：信息与控制, 2004, (05): 567-572.

• 二叉判定图
• 解最优化算法
• 情况精确排序算法
• 动态启发式排序算法 binary decision diagrams(BDD)
• optimization algorithm
• exact ordering algorithm
• dynamic heuristic ordering algorithm

对近年来二叉判定图 (BDD)最优化算法的成果和发展趋势进行了综述和讨论 ,重点介绍精确排序算法和动态启发式排序算法 .给出了BDD优化算法的改进建议 :用不完全枚举法的优势和随机过程动态规划策略改进BDD优化算法 .

• 单位
  中国科学院沈阳自动化研究所; 辽宁沈阳; 中国科学院研究生院