牛叉
【 在 hbo 的大作中提到: 】
:  
: 2020年7月出版的《计算机科学》（中国计算机学会会刊）发表了国防科技大学教授、湘潭大学计算机学院特聘教授姜新文题为《哈密顿图判定问题的多项式时间算法》的论文，这标志着在数学和计算机科学领域中最为重要的难题之一 “NP=P？”得到科学证明，论文刊出几天后下载量近千次，引发有关学术群体热议。  
:  
: 发自「今日水木 on iPhone X」  
: --  
:

发自「今日水木 on VKY-AL00」
--
FROM 202.201.12.*