用强化学习与扩散距离结合,高效求解超大凯莱图最短路径问题。
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
- 融合强化学习与扩散距离,构建新路径搜索方法。
- 在对称群凯莱图上验证直径为n(n-1)/2,突破传统计算系统限制。
- 开源项目+Kaggle挑战,推动群体智能解决复杂图论问题。
本文是关于在极大规模图(如含10^70个节点)上基于人工智能的路径查找研究系列的第二篇,聚焦凯莱图与数学应用。开源项目CayleyPy是研究核心。本文提出一种将强化学习与前一篇提出的直接扩散距离方法相结合的新范式。分析对比了神经网络架构、随机游走生成器及束搜索路径查找等关键组件的多种选择。实验表明,该方法在所选实例中“超越了经典计算机代数系统GAP”。以对称群的凯莱图为具体应用,通过机器学习与数学方法共同支持OEIS-A186783猜想:直径等于n(n-1)/2。识别出该猜想下的最长元素,并生成对应长度的分解。证明了直径下界为n(n-1)/2 - n/2,上界为n(n-1)/2 + 3n,给出相应算法与复杂度。还基于数值实验提出多个猜想,包括中心极限现象(增长近似服从格姆贝尔分布)、图谱的均匀分布,以及排序网络的数值研究。为促进众包,已在Kaggle平台发布挑战任务,邀请改进和基准化凯莱图路径查找等任务的方法。
原文摘要 · Abstract (English)
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。