[控场AI]
待验证50% 置信事实精确时间

ETH的基本形式断言:对于3-SAT问题,任何算法在最坏情况下的时间复杂度至少为2^{δn},其中n为变量数,δ为某个正常数。

1
来源数
50%
置信度
长期有效
时效性
2026/10/26
首次发现

来源

涉及实体

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/1101255
API
curl https://kongchang.com/api/v1/knowledge/claims/1101255
MCP
get_claim(id=1101255)