Graph, BDD