用搜索算法反驳谱图理论猜想
人工智能
2024-09-30 v1
摘要
我们关注于自动反驳谱图理论猜想。现有的大多数工作要么通过穷举生成有限尺寸的图来解决这一问题，要么使用深度强化学习。穷举生成受限于生成图的尺寸，而深度强化学习需要数小时或数天才能反驳一个猜想。我们提出使用搜索算法来弥补这些不足，以在几秒钟内找到谱图理论猜想潜在的大规模反例。我们将多种搜索算法应用于来自 Graffiti 的一系列猜想。在来自 Graffiti 的 13 个已被反驳的猜想中，我们的算法能够在几秒钟内反驳 12 个。我们还反驳了 Graffiti 中至今悬而未决的第 197 号猜想。
引用
@article{arxiv.2409.18626,
title = {Refutation of Spectral Graph Theory Conjectures with Search Algorithms)},
author = {Milo Roucairol and Tristan Cazenave},
journal= {arXiv preprint arXiv:2409.18626},
year = {2024}
}