待验证60% 置信事实精确时间
Alpha-Beta剪枝在最优排序情况下可以将搜索的有效分支因子从b降低到√b，相当于将搜索深度翻倍
2
来源数
60%
置信度
长期有效
时效性
2026/8/29
首次发现
来源
涉及实体
相关事实
待验证有界次优搜索保证找到的解在最优解的w倍范围内，以此降低搜索开销75% 相似待验证Beam Search 在每一解码步骤维护 k 条得分最高的候选序列，在贪心解码和穷举搜索之间取得平衡，能避免局部最优陷阱69% 相似待验证束搜索同时维护k条候选路径，能找到全局更优的序列，但计算开销随beam width线性增长67% 相似待验证经典DPLL算法通过分支和单元传播来求解SAT问题；对于Max 2-SAT的朴素扩展会遍历完整的二叉搜索树，最坏情况下需要检查2^n个赋值。66% 相似待验证精确最近邻搜索需要将查询向量与库中每一条向量逐一比对，复杂度为 O(N·d)；ANN 搜索以较高概率返回足够接近的结果，将查询复杂度降到亚线性。66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/817573API
curl https://kongchang.com/api/v1/knowledge/claims/817573MCP
get_claim(id=817573)