摘要
arXiv:2409.16867v2 宣告类型: 替换
摘要: 归纳法在处理各种搜索和优化问题时经常被使用。设计归纳法通常需要通过领域知识进行繁琐的手工制作。近年来,已有工作将大语言模型(LLM)整合到自动归纳搜索中,利用其强大的语言和编码能力。然而,现有的研究主要以在目标问题上的最佳性能作为唯一目标,忽略了效率和可扩展性等其他重要标准。为应对这一挑战,我们提出了将归纳搜索建模为一个多目标优化问题,并考虑引入除最佳性能之外的额外实践标准。由于搜索空间的复杂性,传统的多目标优化方法难以有效地处理基于LLM的多目标归纳搜索。我们提出了第一个基于LLM的多目标归纳搜索框架——多目标进化归纳(MEoH)——以零样本的方式整合LLM生成满足多种设计标准的非支配归纳法集合。我们设计了一种新的支配-差异机制,以实现有效的种群管理和选择,该机制结合了搜索空间中的代码差异和目标空间中的支配特性。MEoH在两个著名的组合优化问题——在线背包问题(BPP)和旅行商问题(TSP)——中进行了演示。结果显示,在单次运行中自动生成了多种精英归纳法,提供了比现有方法更多的权衡选项。在提高效率最多10倍的同时,它成功实现了竞争或优越的性能。此外,我们还发现多目标搜索为归纳法设计提供了新的见解,并导致了多种不同归纳法的发现。