待验证50% 置信事实精确时间
变分不等式的基本形式是寻找向量x*使得对所有可行点x满足⟨F(x*), x-x*⟩≥0，其中F是一个算子
1
来源数
50%
置信度
长期有效
时效性
2026/9/29
首次发现
来源
涉及实体
相关事实
待验证单调性是VI分析中对应于凸性的核心条件，若⟨F(x)-F(y), x-y⟩≥0对所有x,y成立则称算子F单调72% 相似待验证Deep Sets论文证明任何对集合的排列不变函数f(X)在满足可数集合等条件下可分解为ρ(Σφ(x_i))的形式70% 相似待验证INT8量化将浮点数x映射为 q = round(x/s) + z，其中s是缩放因子，z是零点69% 相似待验证导数的数值近似公式为 (f(a+h)-f(a))/h，源自微积分中极限的定义69% 相似待验证Crouzeix猜想表述为：对于任意复数矩阵A和其数值域上的复解析函数f，有‖f(A)‖ ≤ 2·sup{|f(z)| : z ∈ W(A)}，猜测常数2是精确值69% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/958159API
curl https://kongchang.com/api/v1/knowledge/claims/958159MCP
get_claim(id=958159)