待验证50% 置信事实精确时间
SETH断言：对于任意δ<1，存在一个足够大的k，使得k-SAT问题无法在O(2^{δn})时间内求解。
1
来源数
50%
置信度
长期有效
时效性
2026/10/26
首次发现
来源
涉及实体
相关事实
待验证对于长度为 n 的查询词和编辑距离 k，Levenshtein 自动机的状态数约为 O(n×(2k+1)^k)，随 k 增大呈指数级上升70% 相似待验证精确的 K 近邻搜索（KNN）时间复杂度为 O(n×d)，在数百万级别记忆条目下延迟不可接受，ANN 算法通过牺牲极小精度换取数量级速度提升63% 相似待验证k划分探测将计算开销从O(n)压缩到O(k)，其中k远小于序列长度n63% 相似待验证当位置间存在条件依赖时，乘积分布与真实联合分布的KL散度严格大于零，且依赖越强、写入位置越多，KL散度越大63% 相似待验证不缓存K和V时每次生成都要对整个上下文重新计算，时间复杂度是O(n²)62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1101458API
curl https://kongchang.com/api/v1/knowledge/claims/1101458MCP
get_claim(id=1101458)