待验证50% 置信事实精确时间
k-CNF 是命题逻辑公式的一种标准形式：由若干子句的合取构成，每个子句最多包含 k 个字面量（变量或其否定）的析取。
1
来源数
50%
置信度
长期有效
时效性
2026/10/28
首次发现
来源
涉及实体
相关事实
待验证任意布尔组合逻辑都可以通过引入辅助变量转化为等可满足的 CNF，因此 CNF 常被用作硬件与软件形式化验证的中间表示。73% 相似待验证SharpLogic 的 k-CNF 编码与 #F 计数能覆盖路由与重试逻辑的有限状态空间，前提是图被正确建模；如果智能体行为依赖不可枚举的外部状态（如工具返回的开放文本），形式化模型只能抽象处理，可能产生误报或漏报。68% 相似待验证Q 乘以 K 的转置得到 N × N 的相关性矩阵，每个元素代表两个词之间的关系强度61% 相似待验证K-means 是一种无监督学习算法，通过反复迭代初始化质心、将数据点归入最近质心、重新计算组均值作为新质心，直到质心不再显著移动60% 相似待验证k-NN是无参数方法，要求嵌入空间本身具备良好的语义聚类结构；Linear Probe在冻结特征上添加可训练线性分类层，能重新校准特征空间的几何结构60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1105731API
curl https://kongchang.com/api/v1/knowledge/claims/1105731MCP
get_claim(id=1105731)