Disjunctive_graph