待验证50% 置信事实精确时间
Meir 与 Moser 于1968年系统提出了正方形装箱类问题
1
来源数
50%
置信度
长期有效
时效性
2026/10/7
首次发现
来源
涉及实体
相关事实
待验证1969年Minsky和Papert证明了单层感知机无法解决XOR问题55% 相似待验证Marčenko和Pastur在1967年建立了样本协方差矩阵特征值分布的渐近理论，随机矩阵理论最初由Eugene Wigner在1950年代发展54% 相似待验证结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑54% 相似已验证Shor 算法由 Peter Shor 于 1994 年提出，可利用量子傅里叶变换以 O((log N)³) 多项式时间复杂度解决整数分解问题53% 相似待验证Hoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/984794API
curl https://kongchang.com/api/v1/knowledge/claims/984794MCP
get_claim(id=984794)