isComparabilityGraph -- determines if a graph is the comparability graph of a poset

Synopsis

• Usage:

  i = isComparabilityGraph G

• Inputs:
  • G, an instance of the type Graph,
• Outputs:
  • i, a Boolean value, whether $G$ is a comparability graph of a poset

Description

i1 : G = comparabilityGraph booleanLattice 5;

i2 : isComparabilityGraph G

o2 = true

i3 : G = graph {{1,2}, {2,3}, {3,4}, {4,5}, {1,5}};

i4 : isComparabilityGraph G

o4 = false

See also

• comparabilityGraph -- produces the comparability graph of a poset
• transitiveOrientation -- generates a poset whose comparability graph is the given graph