arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0907.4761math.CO
收藏

芯片射击游戏,$G$ -停车函数,矩阵树定理的有效双射证明

Chip-Firing Games, $G$-Parking Functions, and an Efficient Bijective Proof of the Matrix-Tree Theorem

Farbod Shokrieh

摘要:

Kirchhoff矩阵树定理指出,图G的生成树的数目等于$G$的约化拉普拉斯算子的行列式的值。通过研究一个标准有限阿贝尔群,它附着在$G$上,其阶等于同一矩阵行列式的值,我们给出了这个定理的一个有效的双射证明。更具体地说,我们展示了如何可以有效地计算群元素和图的生成树之间的双射。用于计算双射的主要成分是用于在由芯片发射游戏定义的线性等价类中找到唯一的$G$ -停车函数(简化除子)的有效算法。我们也给出了应用,包括一个新的和完全代数算法生成随机生成树。其他应用包括与芯片射击游戏和沙堆群定律相关的算法,以及有关图上Riemann-Roch理论的某些算法问题。

英文摘要:

Kirchhoff's matrix-tree theorem states that the number of spanning trees of a graph G is equal to the value of the determinant of the reduced Laplacian of $G$. We outline an efficient bijective proof of this theorem, by studying a canonical finite abelian group attached to $G$ whose order is equal to the value of same matrix determinant. More specifically, we show how one can efficiently compute a bijection between the group elements and the spanning trees of the graph. The main ingredient for computing the bijection is an efficient algorithm for finding the unique $G$-parking function (reduced divisor) in a linear equivalence class defined by a chip-firing game. We also give applications, including a new and completely algebraic algorithm for generating random spanning trees. Other applications include algorithms related to chip-firing games and sandpile group law, as well as certain algorithmic problems about the Riemann-Roch theory on graphs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑