二叉

有序二叉决策图及应用.pdf

有序二叉决策图是布尔函数的一种规范表达形式,是一种新型数据结构。本书对有序二叉决策图相关技术问题、扩展形式、应用等方面进行了讨论,内容包括:布尔表达式及其描述、有序二叉决策图、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时间变量决策图、应用专题。