待验证50% 置信事实精确时间

经典DPLL算法通过分支和单元传播来求解SAT问题；对于Max 2-SAT的朴素扩展会遍历完整的二叉搜索树，最坏情况下需要检查2^n个赋值。

1

来源数

50%

置信度

长期有效

时效性

2026/10/30

首次发现

来源

累积剪枝约束：Max 2-SAT的多项式空间精确新算法

涉及实体

DPLLconcept Max 2-SATconcept 单元传播concept

相关事实

待验证束搜索同时维护k条候选路径，能找到全局更优的序列，但计算开销随beam width线性增长66% 相似待验证Alpha-Beta剪枝在最优排序情况下可以将搜索的有效分支因子从b降低到√b，相当于将搜索深度翻倍66% 相似待验证树遍历是访问树形结构每个节点的算法，常见方式包括深度优先搜索（DFS）和广度优先搜索（BFS）。66% 相似待验证检索时，用户问题同样被编码为向量，系统通过余弦相似度等度量找出与问题向量最接近的top-K个块。65% 相似待验证区间树是一种以区间为键的增强平衡二叉搜索树，支持“与给定区间重叠的所有区间”查询在 O(log n + k) 时间内完成。65% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114604

API

curl https://kongchang.com/api/v1/knowledge/claims/1114604

MCP

get_claim(id=1114604)