arXiv:2408.15332v2 Announce Type: replace-cross 摘要：利用组合群论中长期存在的猜想，我们从多个角度探讨了寻找带有不成比例高奖励的稀有实例的挑战。基于Andrews-Curtis猜想所定义的上下文中的经验教训，我们提出了算法改进和一种拓扑难度度量，这对于一类广泛的搜索问题具有重要意义。作为我们研究的一部分，我们还解决了几个开放的数学问题。值得注意的是，我们证明了Akbulut-Kirby系列（1981年）中的所有但两个表示均可缩短长度，并解决了Miller-Schupp系列（1991年）中的各种潜在反例，包括三个无限子家族。