待验证50% 置信事实精确时间
分配问题的约束矩阵具有完全单模（totally unimodular）性质，使线性松弛的最优解天然为整数解
1
来源数
50%
置信度
长期有效
时效性
2026/8/17
首次发现
来源
相关事实
待验证自动微分通过将程序分解为基本运算序列精确应用链式法则，既无数值微分的舍入误差，也无符号微分的表达式膨胀问题67% 相似待验证雅可比矩阵的计算是反向传播算法的数学基础，捕获完整的一阶线性近似关系，能刻画输入空间任意方向扰动对输出的影响63% 相似待验证蒙特卡洛PDE求解器的可微性来自其估计量本身是参数的光滑函数，可通过重参数化技巧或似然比方法直接获得无偏梯度估计，无需回溯大规模线性系统的中间状态62% 相似待验证哈达玛矩阵满足正交性条件 H_n · H_n^T = n · I_n，使哈达玛变换可逆且不丢失信息61% 相似待验证线性表示假说认为概念以近似线性方式编码在向量空间中，可用向量运算操控语义61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/765110API
curl https://kongchang.com/api/v1/knowledge/claims/765110MCP
get_claim(id=765110)