待验证50% 置信事实精确时间
SCAFFOLD、FedProx等技术的关键前提是算子F本身是某函数的梯度场，可借助函数值下降构造Lyapunov势能证明收敛，而一般单调算子不存在此势函数
1
来源数
50%
置信度
长期有效
时效性
2026/9/29
首次发现
来源
涉及实体
相关事实
待验证等变性的数学定义为：对于函数f和变换g，若f(g·x) = g·f(x)则称f关于g等变；若f(g·x) = f(x)则称f关于g不变65% 相似待验证Hardy在1933年证明：如果函数f(x)和其傅里叶变换都以高斯函数e^{-πx²}速率衰减，则f必须是高斯函数的常数倍；衰减更快则f≡064% 相似待验证拉格朗日对偶通过引入拉格朗日乘子将约束吸收进目标函数，再利用 KKT 条件转化为对偶问题，引出支持向量和核技巧的理论基础64% 相似待验证作者用Schauder不动点定理证明共轭矩量测度分解方程有解，证明需要紧性假设（ρ绝对连续、支撑于紧凸集）63% 相似待验证基于势函数的奖励塑形（Ng 等人，1999）经理论证明不会改变最优策略，其形式为 F = γΦ(s') - Φ(s)62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/958167API
curl https://kongchang.com/api/v1/knowledge/claims/958167MCP
get_claim(id=958167)