Function Repository Resource:

# TransversalHypergraph

Compute the transversal hypergraph of a hypergraph defined by a list of hyperedges and isolated vertices

Contributed by: Daniel McDonald
 ResourceFunction["TransversalHypergraph"][list] computes the transversal hypergraph of list.

## Details and Options

The hypergraph represented by {{v11,v12,},{v21,v22,},,u1,u2,} has vertices v11,v12,,v21,v22,,,u1,u2, and hyperedges {v11,v12,},{v21,v22,},.
Given a hypergraph H having sets V and E of vertices and hyperedges, a transversal T of H is a subset U of V that has a non-empty intersection with each hyperedge in E; a minimal transversal is a transversal containing no other transversal as a proper subset. The transversal hypergraph Tr(H) of H is the hypergraph whose hyperedges are the minimal transversals of H.

## Examples

### Basic Examples

Compute the transversal hypergraph of the hypergraph having vertices a,b,c,d,e,f,g and hyperedges {a,b,c,d},{b,c},{c,d,e}:

 In[1]:=
 Out[1]=

### Applications

Define a random hypergraph having n vertices and m hyperedges:

 In[2]:=
 Out[3]=

Plot the hypergraph:

 In[4]:=
 Out[5]=

Find its transversal hypergraph:

 In[6]:=
 Out[6]=

Plot the transversal hypergraph:

 In[7]:=
 Out[7]=

## Requirements

Wolfram Language 11.3 (March 2018) or above