[论文解读] Cyclically Orientable Graphs

David E Speyer|ArXiv.org|Nov 9, 2005

Algebraic structures and combinatorial models参考文献 2被引用 6

一句话总结

本文提供了循环可定向图的递归刻画，证明其恰好是那些二连通分量为环、单条边或通过在一条边上将一个循环可定向图与一个环连接而成的图。作者提出了一种O(n)时间复杂度的算法来测试循环可定向性，从而实现了对有限类型簇代数的高效验证，该结果后来由Gurvich独立发现。

ABSTRACT

Barot, Geiss and Zelevinsky define a notion of a ``cyclically orientable graph'' and use it to devise a test for whether a cluster algebra is of finite type. Barot, Geiss and Zelivinsky's work leaves open the question of giving an efficient characterization of cyclically orientable graphs. In this paper, we give a simple recursive description of cyclically orientable graphs, and use this to give an O(n) algorithm to test whether a graph on $n$ vertices is cyclically orientable. Shortly after writing this paper, I learned that most of its results had been obtained independently by Gurvich; I am placing this paper on the arXiv to spread knowledge of these results.

研究动机与目标

• 提供循环可定向图的完整且高效的刻画。
• 解决Barot、Geiss与Zelevinsky提出的关于高效测试循环可定向性的开放问题。
• 开发一种线性时间算法，以判断图是否为循环可定向。
• 通过高效测试条件(4)，使簇代数理论中的实际计算成为可能。

提出的方法

• 本文证明：一个图是循环可定向的，当且仅当其所有二连通分量都是循环可定向的。
• 它建立了：一个二连通图是循环可定向的，当且仅当它是环、单条边，或通过在一条边上将一个循环可定向图与一个环连接而成的图。
• 该算法通过将度为2的顶点递归地收缩为单条边来简化图，同时保持可定向性。
• 它使用一个双向链表来维护度为2的顶点，并在O(n)时间内处理这些顶点，其中类型A和B操作确保了线性时间复杂度。
• 该方法包含一个预检查：如果图的边数超过2n−3条，则它不可能是循环可定向的。
• 只有当所有二连通分量都通过递归简化且未违反边数限制时，算法才返回'YES'。

实验结果

研究问题

• RQ1 循环可定向图的完整且高效刻画是什么？
• RQ2 能否构建一个线性时间算法来测试图是否为循环可定向？
• RQ3 如何利用循环可定向性来测试有限类型簇代数？
• RQ4 循环可定向图具有哪些结构性质，例如平面性或边密度？

主要发现

• 循环可定向图恰好是那些其二连通分量为环、单条边或通过在一条边上将一个循环可定向图与一个环连接而成的图。
• 本文证明：所有二连通的循环可定向图都是串联-并联图，因此是平面图且边数最多为O(n)。
• 开发出一种O(n)时间复杂度的算法来测试循环可定向性，其中包含预处理步骤以排除边数超过2n−3的图。
• 该算法在路径收缩过程中正确保持了可定向性，并在适用时返回结果和有效的循环定向。
• 该刻画表明：循环可定向图在诱导子图和度为2的路径边收缩下是封闭的。
• 该方法通过标准线性代数方法，实现了Barot、Geiss与Zelevinsky簇代数框架中条件(4)的高效测试。