graph_theory:disconnected_graph