A hypergraph H is a pair (V, E), where V is a set of vertices, and E is a collection of subsets of V , called hyperedges. They are used to express complex relations, and they generalize graphs where each element of E is a ...