待验证50% 置信事实精确时间
库恩-塔克（KKT）条件在1951年将最优性判据推广至非线性情形，构成非线性规划的核心理论基础
1
来源数
50%
置信度
长期有效
时效性
2026/7/14
首次发现
来源
相关事实
待验证KL散度最早由Solomon Kullback和Richard Leibler在1951年提出，具有非对称性即KLD(P||Q) ≠ KLD(Q||P)66% 相似已验证正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论66% 相似已验证KL散度由Solomon Kullback与Richard Leibler于1951年提出，最初用于统计推断中比较两个概率分布的相似性65% 相似待验证有限状态机的数学基础最早由图灵奖得主 Stephen Kleene 在 1950 年代正式化64% 相似待验证有限状态自动机（FSA）由数学家Stephen Kleene在1956年形式化提出，与正则表达式在表达能力上完全等价64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/507049API
curl https://kongchang.com/api/v1/knowledge/claims/507049MCP
get_claim(id=507049)