SDD的求值顺序 在对SDD的求值过程中,如果结点N的属性 a依赖于结点M1的属性a1,M2的属性a2, 那么我们必须先计算出M的属性,才能计 算N的属性a。 使用依赖图来表示计算顺序。 显然,这些值的计算顺序应该形成一个偏 序关系。如果依赖图中出现了环,表示属 性值无法计算SDD的求值顺序 • 在对SDD的求值过程中，如果结点N的属性 a依赖于结点M1的属性a1，M2的属性a2，…。 那么我们必须先计算出Mi的属性，才能计 算N的属性a。 • 使用依赖图来表示计算顺序。 • 显然，这些值的计算顺序应该形成一个偏 序关系。如果依赖图中出现了环，表示属 性值无法计算