In the following, let G = (V,E) be an arbitrary graph.
Unit circular-arc graphs G is a
unit circular-arc graph if there exists a corresponding arc model such that each arc is of equal length. The number of labelled unit circular-arc graphs on
n vertices is given by (n+2)\binom{2n-1}{n-1}-2^{2n-1}.
Proper circular-arc graphs G is a
proper circular-arc graph (also known as a
circular interval graph) if there exists a corresponding arc model such that no arc properly contains another. Recognizing these graphs and constructing a proper arc model can both be performed in linear ({\mathcal O}(n + m)) time. They form one of the fundamental subclasses of the
claw-free graphs.
Helly circular-arc graphs G is a
Helly circular-arc graph if there exists a corresponding arc model such that the arcs constitute a
Helly family. gives a characterization of this class that implies an {\mathcal O(n^3)} recognition algorithm. give other characterizations of this class, which imply a recognition algorithm that runs in
O(n+m) time when the input is a graph. If the input graph is not a Helly circular-arc graph, then the algorithm returns a certificate of this fact in the form of a forbidden induced subgraph. They also gave an
O(n) time algorithm for determining whether a given circular-arc model has the Helly property. == Applications ==