The comparability graph of a poset $P$ is the Graph with vertices given by the ground set of $P$ and which has edges between two vertices if they are comparable in $P$.
|
This method renames the vertices with integers $0, 1, \ldots$ corresponding to the index of the vertices in the GroundSet.
The object comparabilityGraph is a method function.