Representation of Graph and Its Algorithms Based on BDD

• 基于BDD的图表示及其算法