Abstract:Circular-arc graphs are the intersection graphs of arcs of a circle. The main result of this work describes the structure of all \emph{normalized intersection models} of circular-arc graphs. Normalized models of a circular-arc graph reflect the neighborhood relation between its vertices and can be seen as its canonical representations; in particular, any intersection model can be made normalized by possibly extending some of its arcs. We~devise a data-structure, called \emph{PQM-tree}, that maintains the set of all normalized models of a circular-arc graph. We show that the PQM-tree of a circular-arc graph can be computed in linear time. Finally, basing on PQM-trees, we provide a linear-time algorithm for the canonization and the isomorphism problem for circular-arc graphs.
We describe the structure of the normalized models of circular-arc graphs using an approach proposed by Hsu~[\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In the aforementioned work, Hsu claimed the construction of decomposition trees representing the set of all normalized intersection models of circular-arc graphs and an $\mathcal{O}(nm)$ time isomorphism algorithm for this class of graphs. However, the counterexample given in~[\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}] shows that Hsu's isomorphism algorithm is not incorrect. Also, in a companion paper we show that the decomposition trees proposed by Hsu are not constructed correctly; in particular, we showed that there are circular-arc graphs whose all normalized models do not follow the description given by Hsu.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the normalized model structure of circular - arc graphs and their isomorphism problems. Specifically, the author re - examined the method proposed by Hsu in 1995, corrected some of the errors in it, and finally proposed a linear - time algorithm to solve the canonical model representation and isomorphism problems of circular - arc graphs.
### Problem Background
Circular - arc graphs are a special type of graph, whose vertices can be represented by arcs on a circle, and two vertices are adjacent if and only if the corresponding arcs intersect. Although circular - arc graphs are similar in definition to interval graphs, they have significant differences in algorithms and combinatorial properties. For example, the minimum coloring problem has a polynomial - time algorithm on interval graphs, but it is an NP - complete problem on circular - arc graphs.
### Main Contributions
1. **Describe the Normalized Model Structure**:
- The author described the structure of the normalized intersection models of all circular - arc graphs. The normalized model reflects the adjacency relationships between vertices in the graph and can be regarded as the standard representation form of the graph.
- A data structure called PQM - tree was introduced to represent all normalized models.
2. **Linear - Time Algorithm**:
- A linear - time algorithm was proposed to calculate the PQM - tree of circular - arc graphs.
- Based on the PQM - tree, a linear - time algorithm was provided to solve the canonization and isomorphism problems of circular - arc graphs.
3. **Correct Errors in Previous Work**:
- The errors in the decomposition tree method proposed by Hsu in 1995 were pointed out and corrected. The decomposition tree claimed by Hsu could not correctly represent all normalized models, and its isomorphism algorithm was also proven to be incorrect.
### Specific Formulas and Concepts
- **Normalized Model**: For a circular - arc graph \( G=(V, E) \), a normalized model \( \psi \) satisfies the following conditions:
- All arc endpoints are different.
- For any pair of different vertices \( v, u\in V \):
1. If \( uv\notin E \), then \( \psi(v) \) and \( \psi(u) \) do not intersect.
2. If \( N_G[u]\subsetneq N_G[v] \), then \( \psi(v) \) contains \( \psi(u) \).
3. If \( N_G[v]\subsetneq N_G[u] \), then \( \psi(v) \) is contained in \( \psi(u) \).
4. If \( N_G[v]\cup N_G[u]=V \), and for each \( w\in N_G[v]\setminus N_G[u] \) there is \( N_G[w]\subsetneq N_G[v] \), and for each \( w\in N_G[u]\setminus N_G[v] \) there is \( N_G[w]\subsetneq N_G[u] \), then \( \psi(v) \) and \( \psi(u) \) cover the entire circle.
5. Otherwise, \( \psi(v) \) and \( \psi(u) \) intersect.
- **PQM - tree**: The PQM - tree is a data structure used to represent all normalized models. It can be constructed in linear time and can solve the isomorphism problem of circular - arc graphs in linear time.
### Summary
This paper solves the isomorphism problem of circular - arc graphs by introducing the PQM - tree and an improved method for describing the normalized model, and provides a linear - time algorithm. This not only corrects the errors in previous research but also provides new tools and methods for the study of circular - arc graphs.