[论文解读] Cohen-Macaulay graphs arising from digraphs

Giuseppa Carrà Ferro, Daniela Ferrarello|ArXiv.org|Mar 14, 2007

Commutative Algebra and Its Applications参考文献 19被引用 8

一句话总结

本文通过将有向图映射到具有完美匹配的无向图的构造，建立了传递有向图（digraphs）与科恩-麦克aul伊（Cohen-Macaulay, CM）二分无向图之间的一一对应关系。关键结果是：一个有向图是传递的，当且仅当其对应的无向图是科恩-麦克aul伊的，从而将图的传递性与环的理想的代数性质联系起来，为有向图理论与交换代数之间架起了一座桥梁。

ABSTRACT

In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In particular it is shown that a directed graph is transitive iff a corresponding undirected graph is Cohen-Macaulay.

研究动机与目标

• 建立有向图与具有完美匹配的二分无向图之间的一一对应关系。
• 通过其对应无向图的科恩-麦克aul伊性质，刻画传递有向图。
• 在有向图的图论性质（例如，传递性、无环性）与代数性质（例如，科恩-麦克aul伊性、环理想）之间建立桥梁。
• 使图算法与计算代数工具能够通过其对应图联合用于验证有向图的性质。

提出的方法

• 通过引入源点和汇点顶点扩展顶点集，从有向图 $G$ 构造一个无向二分图 $H_G$。
• 从 $G$ 的源点和汇点构造一个汇-源图 $K_G$，它是 $H_G$ 的一个子图。
• 利用环理想和格鲁伯纳基理论分析 $H_G$ 的代数结构，特别关注多项式理想和首项理想。
• 应用霍尔定理与匹配理论，证明当 $G$ 是传递图时，$H_G$ 存在且唯一具有完美匹配。
• 验证 $H_G$ 的边数与科恩-麦克aul伊二分图的最大可能边数一致。
• 使用拓扑排序对 $G$ 的顶点进行排序，使得 $H_G$ 的完美匹配中的边对应于 $G$ 中从左到右的有向路径。

实验结果

研究问题

• RQ1 在什么条件下，与有向图 $G$ 关联的无向图 $H_G$ 是科恩-麦克aul伊的？
• RQ2 传递有向图与科恩-麦克aul伊二分图之间存在何种精确对应关系？
• RQ3 图 $G$ 的结构性质（例如，源点、汇点、无环性）如何与 $H_G$ 的组合与代数性质相关联？
• RQ4 $H_G$ 中存在唯一完美匹配是否可用于刻画 $G$ 的传递性？
• RQ5 汇-源图 $K_G$ 在决定 $H_G$ 的科恩-麦克aul伊性质中起什么作用？

主要发现

• 一个有向图 $G$ 是传递的，当且仅当其对应的无向图 $H_G$ 是科恩-麦克aul伊的。
• 当且仅当 $G$ 是传递图时，其对应图 $H_G$ 是一个具有唯一完美匹配的二分图。
• $H_G$ 的边数受 $\frac{(n-s+1)(n-s)}{2}$ 限制，其中 $s$ 是 $G$ 中源点与汇点的数量，且当且仅当 $H_G$ 是科恩-麦克aul伊图时该上界被精确达到。
• $H_G$ 中的唯一完美匹配对应于 $G$ 中 $s$ 条顶点不相交的有向路径，这些路径覆盖所有顶点并连接源点与汇点。
• 该构造确保 $H_G$ 是无混合的（unmixed），且具有唯一的极小顶点覆盖，这是科恩-麦克aul伊性的必要条件。
• 可以为 $G$ 的顶点选择一种拓扑排序，使得 $H_G$ 的完美匹配中的边对应于排序中连续的顶点，从而保证 $G$ 中所有边均为从左到右的方向。