代数判定树（algebraic decision tree,

代数判定树（algebraic decision tree, ADT）是比较树的推广，其中的节点分别对应于根据某一代数表达式做出的判断。例如，比较树中各节点所对应的“a == b”式判等以及“a < b” 式比较，均可统一为根据一次代数表达式“a - b”取值符号的判断。 对应于比较树的性质，代数判定树有哪些相似的性质？