使用搜索算法反驳谱图理论猜想

本研究旨在自动反驳谱图理论中的猜想，解决了现有方法在图生成大小和效率上的局限。通过引入搜索算法，研究能够快速找到可能的大型反例，显著缩短反驳时间，成功反驳了12个猜想，并首次反驳了悬而未决的第197个猜想。