来源:深度学习自然语言处理
大型语言模型(LLM)虽然在知识任务中表现出色,但在数学证明、棋类推演等多步推理任务中屡屡受挫。根本原因在于Transformer架构的计算深度限制:其注意力机制只能执行固定步数的序列计算(TC⁰复杂度类),无法处理需要动态深度的任务,例如计算棋局状态需要随着步数增加而迭代更新。
Chain-of-Thought(CoT)提示通过生成中间推理步骤,将计算扩展到文本空间,理论上可使Transformer实现图灵完备性。但现有方法依赖"逐步思考"等通用提示,迫使模型在庞大的提示空间中盲目搜索。
论文:Why Prompt Design Matters and Works: A Complexity Analysis of Prompt Search Space in LLMs
链接:https://arxiv.org/pdf/2503.10084v2
本文首次建立提示设计的理论框架,揭示提示作为"信息选择器"的核心作用,并通过复杂度分析证明:优化提示可使推理性能提升超50%,为提示工程从经验技巧走向系统科学奠定基石。
理论基础:CoT如何突破Transformer限制 Transformer的先天缺陷
计算深度固化:Transformer的隐状态h仅在层间传递(垂直方向),而非时间步传递(水平方向)。如图2d所示,其最大序列计算步数等于层数(O(1)),无法随输入长度增长。
答案模式的局限:仅输出最终答案时(如"Q: 棋局状态? A: 将军"),模型需将多步计算压缩到固定深度,丢失中间状态信息。
CoT通过文本外化隐状态构建虚拟循环:
离散化:从隐状态hₜ提取关键信息 → 文本符号(o₁..oₖ)
向量化:文本经嵌入层重建为下一时刻隐状态hₜ₊₁
公式意义:
o是自然语言描述的中间步骤(如"白王在e4")
嵌入层将文本重新编码为向量,实现隐状态迭代更新
此过程模拟了RNN的hₜ → hₜ₊₁循环(图3c),使Transformer获得动态计算深度。
隐状态h包含丰富信息(棋盘布局、计数器等),但单步CoT只能提取s比特(受文本长度限制)。提示模板决定提取哪些信息:
最优提示:如"输出当前棋盘配置",提取任务关键信息
次优提示:如"输出棋盘棋子数",遗漏位置关系导致推理失败
符号含义:
n:隐状态h的信息总量(正比于模型维度d)
s:单步CoT可提取的信息量(正比于生成文本长度)
核心思想 :
该组合数量化了从n比特中选择s比特的所有可能方式。例如:若h包含10种棋局信息(n=10),每步提取3项(s=3)→ 提示空间达120种
实际搜索需启发式策略,但次优提示仍导致性能崩塌(实验见Table 1)
提示模板p直接决定答案空间结构:
意义解读:
:全部可能解的集合(如所有棋局路径)
ℛ:正确解的子集
最优p:缩小搜索空间(如提示"按棋盘状态推理" → 合法路径占比↑)
劣质p:ℛ/ 趋近于0(如提示"统计棋子数" → 路径随机选择)
三级计算复杂度:
正则语言(R):奇偶校验、循环导航
上下文无关(CF):栈操作、列表反转
上下文敏感(CS):排序、字符串复制
控制变量:
列表化输入消除tokenization干扰
对比监督提示/无监督提示/次优提示
列表化输入使排序任务准确率提升40%
震撼性结果
监督提示统治性能:
栈操作任务:监督提示96% vs 无监督提示0%
奇偶校验:监督提示100% vs 次优提示42%
X-of-Thought的局限:
GoT/ToT仅优化答案空间搜索,无法修复错误提示模板
当提示本身错误时,多路径探索反而降低效率(如栈操作任务中ToT准确率仅36%)
核心结论:监督提示在9类任务全面领先
典型失败模式
冗余生成:次优提示要求输出无关信息(如"每步输出是否吃子"),导致上下文溢出
递归陷阱:中间步骤本身需CoT才能解决(如计数子任务),形成死循环
Case:EP任务中次优提示要求逐步输出"ab/ba判断",模型错误计数创新方法论:提示工程科学化 最优提示设计原则
核心思想:提示是信息瓶颈,需选择top-s关键信息
操作指南:
显式定义每步输出内容(如"输出当前计数器值")
拒绝模糊指令(如"详细思考"→改为"每步更新棋盘坐标")
场景
策略
任务结构清晰
提供监督提示(如排序步骤)
任务复杂不确定
信任模型启发式搜索
输出错误中间信息
立即停止人工干预
对X-of-Thought的重新定位
本质:在固定提示模板下优化答案空间搜索
局限:无法解决提示空间选择错误
示例:若提示要求"广度优先搜索",ToT会并行低效路径,而非切换为深度优先
本文颠覆了"提示工程是玄学"的认知,通过严谨的理论与实验揭示:
提示即算法:定义信息提取轨迹,控制答案空间结构
复杂度可量化:提示空间大小由组合数公式刻画,答案空间效率由len(CR)/len(S)|p度量
监督提示必要性:在结构化任务中带来50%+性能提升
这项工作将提示设计从试错艺术转变为可计算科学,为LLM在复杂推理、自主决策等场景的应用提供理论引擎。未来需探索复杂任务的提示泛化规律,并开发人机协作的提示优化框架。
阅读最新前沿科技趋势报告,请访问欧米伽研究所的“未来知识库”
https://wx.zsxq.com/group/454854145828
未来知识库是“ 欧米伽 未来研究所”建立的在线知识库平台,收藏的资料范围包括人工智能、脑科学、互联网、超级智能,数智大脑、能源、军事、经济、人类风险等等领域的前沿进展与未来趋势。目前拥有超过8000篇重要资料。每周更新不少于100篇世界范围最新研究资料。 欢迎扫描二维码或访问https://wx.zsxq.com/group/454854145828进入。
截止到3月31日 ”未来知识库”精选的百部前沿科技趋势报告
(加入未来知识库,全部资料免费阅读和下载)
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.