一种基于熵的OBDD变量排序算法

摘要：

有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序.熵是定量描述布尔函数中变量重要性的一种方法.基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法.实验结果表明:该算法与模拟退火算法和遗传算法结果相当,时间仅为相应算法的80.84%和29.79%.

关键词：有序二叉决策图、变量序、熵

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60563005;广西科学基金0542036

在线出版日期：2007-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：216-219