Toreduceaconstraintgraphtoatreestructure，twoapproachescanbeusedthatare__andtreedecomposition.为了简化约束图为树结构，有两种方法可以采用，即__和树分解