%0 Journal Article
%T 一种基于熵的obdd变量排序算法
%J 计算机科学
%D 2007
%X 有序二叉决策图（obdd）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征，给出了一种基于熵的obdd变量排序算法。实验结果表明：该算法与模拟退火算法和遗传算法结果相当。时间仅为相应算法的80．84％和29．79％。
%K 有序二叉决策图变量序熵
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=23783890&flag=1