graph_complementation (221B)
1 # Graph complementation 2 3 [Undirected_graph] formed from an other graph G by keeping the same set of [vertices] and taking precisely the [edges] that are not in G 4 5 Up: [graph], [complementation] 6 7 Aliases: graph complement