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 incomparable in $P$.
|
This method renames the vertices with integers $0, 1, \ldots$ corresponding to the index of the vertices in the GroundSet.
The object incomparabilityGraph is a method function.