Comments on "$\mathcal{O}(m\cdot n)$ algorithms for the recognition and isomorphism problems on circular-arc graphs"

Tomasz Krawczyk
2024-11-21
Abstract:In the work [$\mathcal{O}(m\cdot n)$ algorithms for the recognition and isomorphism problems on circular-arc graphs, SIAM J. Comput. 24(3), 411--439, (1995)], Wen-Lian Hsu claims three results concerning the class of circular-arc graphs: - the design of so-called \emph{decomposition trees} that represent the structure of all normalized intersection models of circular-arc graphs, - an $\mathcal{O}(m\cdot n)$ recognition algorithm for circular-arc graphs, - an $\mathcal{O}(m\cdot n)$ isomorphism algorithm for circular-arc graphs. In [Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013] Curtis, Lin, McConnell, Nussbaum, Soulignac, Spinrad, and Szwarcfiter showed that Hsu's isomorphism algorithm is incorrect. In this note, we show that the other two results -- namely, the construction of decomposition trees and the recognition algorithm -- are also flawed.
Data Structures and Algorithms,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the correctness of three results on circular - arc graphs proposed by Wen - Lian Hsu in his 1995 - published paper. Specifically, Hsu's paper claimed: 1. Designed a decomposition tree representing all normalized intersection models; 2. Proposed an \(O(mn)\) circular - arc graph recognition algorithm; 3. Proposed an \(O(mn)\) circular - arc graph isomorphism algorithm. However, Tomasz Krawczyk pointed out in this new paper that Hsu's isomorphism algorithm had been proven wrong by Curtis et al. in 2013. In this new paper, Krawczyk further pointed out that Hsu's other two results - namely, the construction of the decomposition tree and the recognition algorithm - also had flaws. Therefore, the main purpose of this paper is to correct these mistakes and provide a correct description of the circular - arc graph structure. ### Specific problems of the paper 1. **Construction of the decomposition tree**: - Hsu claimed that a decomposition tree representing all normalized intersection models could be constructed, but Krawczyk proved through counter - examples that this description was not correct. 2. **Recognition algorithm**: - The \(O(mn)\) recognition algorithm proposed by Hsu was also proven to have problems. Krawczyk pointed out that since the description of the normalized intersection model was incorrect, the recognition algorithm based on it could not guarantee correctness either. 3. **Isomorphism algorithm**: - Although Curtis et al. had pointed out in 2013 that Hsu's isomorphism algorithm was wrong, Krawczyk further analyzed these problems in detail and provided a more comprehensive explanation. ### Main contributions Krawczyk's paper not only pointed out the mistakes in Hsu's work but also emphasized the impact of these mistakes on subsequent research. In addition, Krawczyk also proposed improved methods to ensure a correct description of the circular - arc graph structure. This provides an important foundation for future research. ### Conclusion The main goal of this paper is to correct the mistakes in Hsu's three main results on circular - arc graphs and provide a correct theoretical framework to describe the structure of circular - arc graphs. This is of great significance for further research and development of efficient circular - arc graph algorithms.