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

论文提出了一类确定性的多项式空间算法，用于精确求解Max 2-SAT问题。

1

来源数

50%

置信度

长期有效

时效性

2026/10/30

首次发现

来源

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

涉及实体

Max 2-SATconcept 多项式空间算法concept

相关事实

待验证论文引入了两种度量雅可比矩阵结构的指标来量化体验的丰富程度61% 相似待验证针对 F₂ 上的线性源库，论文给出了最优精度的闭式表达，且预算轮廓可以在 2^{O(h²)}·poly(J, k+h) 时间内计算，其中 J 为源数量、h 为干扰维度。61% 相似待验证研究者设计的多项式程序融合了解析对称性、目标格式舍入和打包算术三个技巧61% 相似待验证论文的核心技术贡献之一是对有界次多项式球的 L^2 括住熵给出了尖锐上界，该结果具有独立价值。60% 相似待验证论文指出量子态层析算法的计算复杂度是否多项式时间仍有待分析。60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114600

API

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

MCP

get_claim(id=1114600)