2000 character limit reached
Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search (2207.03343v3)
Published 4 Jul 2022 in cs.AI and math.CO
Abstract: We demonstrate how Monte Carlo Search (MCS) algorithms, namely Nested Monte Carlo Search (NMCS) and Nested Rollout Policy Adaptation (NRPA), can be used to build graphs and find counter-examples to spectral graph theory conjectures in minutes.