待验证50% 置信观点精确时间

据作者所知，这是首个针对非平凡稠密Max 2-SAT实例类且具有如此运行时间的多项式空间算法。

1

来源数

50%

置信度

长期有效

时效性

2026/10/30

首次发现

来源

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

涉及实体

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

相关事实

待验证ColBERT v2引入了向量压缩技术（残差压缩编码）来缓解多向量表示的存储空间问题57% 相似待验证梅森旋转算法使用624个32位整数的状态数组，共占用约2.5KB内存56% 相似待验证6GB显存可运行基础模型如SD 1.5，生成512×512常规尺寸图像，单张生成时间在数秒到十几秒56% 相似待验证2bit量化将每个参数用2个二进制位表示，相比FP16压缩8倍，是目前实用化量化中压缩比最高的档位，通常只适用于MoE等具备冗余结构的大参数模型56% 相似待验证两个 SDF 的并集、交集、差集可以通过对数值取 min/max/取反实现，无需网格裁剪56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114608

API

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

MCP

get_claim(id=1114608)