[论文解读] Complete intersection graphs

I. Bermejo, I. Garc+1 more|arXiv (Cornell University)|Jan 1, 2014

Commutative Algebra and Its Applications参考文献 22被引用 3

一句话总结

本文提出了简单无向图的环理想为完全交的算法与组合表征。它提供了一种决策过程，用于判断图的环理想的是否为完全交，当条件成立时，返回一个极小生成集；关键结果表明，此类图可分解为一个二分环图与一个为空、一个奇原始圈或两个适当连接的奇原始圈的分量。

ABSTRACT

Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain an effective method that, given a graph G, checks whether or not its toric ideal PG is a complete intersection. Whenever PG is a complete intersection, the algorithm also returns a minimal set of generators of PG. Moreover, we prove that if G is a connected graph and PG is a complete intersection, then there exist two induced subgraphs R and C of G such that the vertex set V(G) of G is the disjoint union of V(R) and V(C), where R is a bipartite ring graph and C is either the empty graph, an odd primitive cycle, or consists of two odd primitive cycles properly connected. Finally, if R is 2-connected and C is connected, we list the families of graphs whose toric ideals are complete intersection.

研究动机与目标

• 开发一种有效算法，以判断给定图的环理想是否为完全交。
• 当环理想为完全交时，提供其极小生成集。
• 表征连通图的组合结构，其环理想为完全交。
• 在附加连通性约束（如2-连通R和连通C）下，对具有完全交环理想的图族进行分类。

提出的方法

• 该算法利用组合与代数准则，检查图G的环理想PG是否具有完全交性质。
• 它利用将G分解为两个诱导子图R和C的结构，其中R为二分环图，C为空图、奇原始圈或两个通过适当路径连接的奇原始圈。
• 该方法利用图论性质，如诱导子图、顶点不相交并集和圈连通性，以验证完全交条件。
• 当满足完全交条件时，应用代数技术计算PG的极小生成集。
• 该方法依赖于结构分解定理，将问题简化为检查已知图类。
• 该算法通过一系列基于组合不变量的图运算与理想成员测试实现。

实验结果

研究问题

• RQ1 我们能否通过算法判断图的环理想是否为完全交？
• RQ2 当环理想为完全交时，其极小生成集是什么？
• RQ3 何种结构分解表征了具有完全交环理想的连通图？
• RQ4 当R为2-连通且C为连通时，哪些图族的环理想为完全交？

主要发现

• 图G的环理想PG为完全交，当且仅当G可分解为两个诱导子图R和C，使得V(G) = V(R) ∪ V(C)，且V(R) ∩ V(C) = ∅。
• 子图R为二分环图，C为空图、单个奇原始圈，或通过适当路径连接的两个奇原始圈。
• 当PG为完全交时，该算法返回PG的极小生成集，确保计算效率。
• 若R为2-连通且C为连通，则本文列出了所有环理想为完全交的图族。
• 该表征提供了具有完全交环理想的图的完整组合与代数分类。