← 最新论文
💻 computer science

Distribution-Aware Algorithm Design with LLM Agents

本文介绍了一种分布感知框架,其中大语言模型智能体从任务样本中推断可复用的“求解器提示”,以编译专用的可执行代码,结果表明,此类合成的求解器在多种组合优化问题上不仅实现了接近最优的解质量,而且在运行时间上显著优于通用启发式方法和精确求解器。

原作者: Saharsh Koganti, Priyadarsi Mishra, Pierfrancesco Beneventano, Tomer Galanti

发布于 2026-05-15
📖 1 分钟阅读☕ 轻松阅读

原作者: Saharsh Koganti, Priyadarsi Mishra, Pierfrancesco Beneventano, Tomer Galanti

原始论文采用 CC BY 4.0 许可(http://creativecommons.org/licenses/by/4.0/)。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性,请参阅原始论文。 阅读完整免责声明

想象你是一位厨师,正试图为一群特定的朋友准备餐食。这群朋友总是点同样的三道菜,但他们从不提前告知菜单。你只能品尝几份他们通常吃的食物样本。

传统计算机科学就像一位厨师,无论食材如何,都能完美地烹饪出任何菜肴。他们非常谨慎且准确,但可能会花一个小时切菜,因为他们为世界上任何可能的蔬菜都做好了准备。

本文提出了一种不同的方法:分布感知算法设计。与其学习烹饪一切,这位厨师转而学习群朋友的具体习惯,并为他们量身定制专属食谱。

以下是核心思想的拆解,分为几个简单概念:

1. 问题:正确性已不足够

在旧有的做法中,如果计算机程序给出了正确答案,我们就心满意足。但作者指出:“等等,如果另一个程序在 1 秒内找到了答案,而这个程序却花了 10 小时,那又该如何?”

如果你运营一家配送服务,将包裹送到正确的地址(正确性)固然重要,但快速送达(运行时间)同样关键。本文认为,当我们教导计算机编写自己的“求解器”代码(即解决问题的程序)时,我们不应只关心答案是否正确;我们必须关心它到达答案的速度。

2. 秘密配料:“求解器提示”

你如何教导计算机为特定的一群朋友提速?你不仅仅提供菜单,而是给它一个提示(Hint)

将“提示”想象成你在观察朋友们点餐一段时间后发现的捷径或模式。

  • 旧方法:“这里有 1,000 种可能的食谱。选出效果最好的那一个。”
  • 新方法:“我注意到你们的朋友总是在周五点披萨,并且总是在周二多加芝士。让我们写一条特殊规则:‘如果是周五,就跳过芝士搜索,直接去披萨烤箱。’"

在本文中,这个“提示”是一种可复用的结构(如图中的模式或数学问题中的规则),计算机从样本数据中推断出它。随后,它将此提示编译成一个全新的、超快的程序。

3. “LLM 智能体”厨师

作者使用了一种特殊的人工智能(称为 LLM 或大型语言模型)来充当厨师。这个 AI 不仅仅是猜测答案;它经历了一个三步过程:

  1. 假设:“我觉得这里有个模式。也许这些问题总是有一个隐藏的‘后门’或特定的形状。”
  2. 分析:“让我查看样本数据以测量这个模式,并写下规则。”
  3. 求解器:“现在,我将编写一个新的计算机程序,利用这些规则瞬间解决未来的问题。”

4. 结果:速度与完美

团队在 21 种不同类型的困难数学和逻辑谜题(如地图着色、装箱问题或寻找最短路径)上测试了这种方法。

  • 结果:AI 生成的程序快得惊人。平均而言,它们比最佳的标准“启发式”(经验法则)程序快336 倍,比行业标准求解器 Gurobi 快342 倍
  • 权衡:它们的表现几乎与完美解相当(97% 的质量),但到达结果的时间却只是其一小部分。
  • 现实世界测试:他们甚至在实际竞赛(PACE 2025)中测试了这种方法,该竞赛旨在寻找图中的“支配集”。他们的 AI 生成求解器比顶尖的人类工程竞赛求解器快100 倍,尽管找到的解略逊于完美(大约大 3%)。

5. 为何有效:改变规模

本文解释道,速度的提升并非来自为同样的旧任务编写“更快的代码”,而是来自改变任务本身

  • 之前:计算机试图在巨大的黑暗森林中搜索一根针(指数级搜索)。
  • 之后:计算机观察样本,意识到这片森林实际上是一个具有特定布局的小花园,并绘制了一张直接通往那根针的地图。

AI 意识到,对于这种特定类型的问题,它不需要检查每一种可能性。它可以利用一个捷径(例如按重量对物品排序或检查特定模式),而这个捷径之所以有效,正是因为数据中隐藏的规则。

总结

本文表明,如果你给计算机提供特定类型问题的几个示例,它就能学会该问题的“秘密规则”,并编写一个定制的、闪电般快速的程序来解决它。这不仅仅是关于聪明;更是关于专业化

局限性:这个超快程序仅对那种特定类型的问题有效。如果“朋友们”改变了点单(数据分布发生变化),这个捷径可能会失效。但对于它们被设计用于的特定任务,它们在速度上是无与伦比的。

您所在领域的论文太多了?

获取与您研究关键词匹配的最新论文每日摘要——附技术摘要,使用您的语言。

试用 Digest →