Hypergraph terminology

244 Views Asked by At

Suppose I have a hypergraph with vertices V and hyperedges H, where each hyperedge is a subset of V.

I want to form a normal graph with vertex set V, where two vertices are adjacent if they lie in the same hyperedge.

What is this graph called?

If this were a geometry with V being the points and H the lines, then I would call it either the "point graph" or the "collinearity graph", but I want to use the same concept in a more general non-geometric setting for which the name collinearity graph seems inappropriate, but "point graph" seems insufficiently descriptive.

1

There are 1 best solutions below

1
On

According to one of the Wikipedia editors:

The primal graph of a hypergraph is the graph with the same vertices of the hypergraph, and edges between all pairs of vertices contained in the same hyperedge. The primal graph is sometimes also known as the Gaifman graph of the hypergraph.