Kruskal 式算法用于 Boltzmann 方程分子约简
Kruskal-style algorithm for Boltzmann equation molecule reduction
浏览论文内容
中文总结 AI 辅助
本文证明 Deng-Hani-Ma 的分子约简算法是 Kruskal 型图遍历算法，并构造输入分子的 Kruskal 生成树，为 Boltzmann 方程长时间推导的刚性定理提供算法基础。
中文摘要 AI 辅助
我们关注 Deng、Hani 和 Ma 所使用的分子约简算法。该算法使他们能够建立一个刚性定理，该定理在使用硬球动力学对 Boltzmann 方程进行长时间推导中起着核心作用。在本文中，我们证明该算法是一种 Kruskal 类型的图遍历算法，并证明它构造了输入分子的 Kruskal 生成树。
英文摘要
We are interested in the molecule reduction algorithm used by Deng, Hani and Ma. This algorithm allows them to establish a rigidity theorem, which plays a central role in the long-time derivation of the Boltzmann equation using the hard-sphere dynamics. In the present article, we show that this algorithm is a graph traversal algorithm of Kruskal type, and we prove that it constructs a Kruskal spanning tree of the input molecule.
发表机构
- Universite de Lorraine（洛林大学）
- CNRS（法国国家科学研究中心）
机构由 AI 辅助整理，请以论文原文为准。
