Unverified50% confidenceFactExact time
Meir 与 Moser 于1968年系统提出了正方形装箱类问题
1
Sources
50%
Confidence
Long-term
Relevance
10/7/2026
First Seen
Sources
Related Entities
Related Claims
Unverified1969年Minsky和Papert证明了单层感知机无法解决XOR问题55% similarUnverifiedMarčenko和Pastur在1967年建立了样本协方差矩阵特征值分布的渐近理论，随机矩阵理论最初由Eugene Wigner在1950年代发展54% similarUnverified结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑54% similarVerifiedShor 算法由 Peter Shor 于 1994 年提出，可利用量子傅里叶变换以 O((log N)³) 多项式时间复杂度解决整数分解问题53% similarUnverifiedHoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/984794API
curl https://kongchang.com/api/v1/knowledge/claims/984794MCP
get_claim(id=984794)