圆弧图的同构性检验--重新审视Hsu的方法
Testing isomorphism of circular-arc graphs -- Hsu's approach revisited
摘要：
圆弧图是圆弧在圆上的相交图。我们的工作的目的是提出一个多项式时间算法测试是否两个圆弧图同构。为了完成我们的任务，我们构造分解树，这是表示所有规范化的圆弧图的交集模型的结构。规范化模型反映了圆弧图中的邻域关系，并且可以被看作是它们的规范表示;特别地，每个相交模型都可以很容易地转换为规范化模型。我们的工作适应并适当地扩展了以前的工作类似的主题所做的许[ \emph{SIAM J. Comput. 24(3), 411--439, (1995)} ]。在他的工作中，Hsu开发了表示圆弧图的所有规范化模型的分解树。然而，由于[ \emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013} ]中给出的反例，他的分解树不能用于圆弧图同构的判定算法。
英文摘要：
Circular-arc graphs are intersection graphs of arcs on the circle. The aim of our work is to present a polynomial time algorithm testing whether two circular-arc graphs are isomorphic. To accomplish our task we construct decomposition trees, which are the structures representing all normalized intersection models of circular-arc graphs. Normalized models reflect the neighbourhood relation in circular-arc graphs and can be seen as their canonical representations; in particular, every intersection model can be easily transformed into a normalized one. Our work adapts and appropriately extends the previous work on the similar topic done by Hsu [\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In his work, Hsu developed decomposition trees representing all normalized models of circular-arc graphs. However due to the counterexample given in [\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}], his decomposition trees can not be used by algorithms testing isomorphism of circular-arc graphs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
