创作后记 邹欣 现任微软亚洲研究院技术创新组研发主管。他从1996年至2003年在微软Outlook产品团队从事开发工作,2003年至2005年,在微软Visual Studio Team System产品团队负责软件质量管理工具的开发。加入微软前,邹欣从事过商用Unix系统、GPS/GIS软件开发以及软件测试工作。他在2007年出版了《移山之道...
2.1 厄巴纳算法 2.1 厄巴纳算法 2016年,捷克数学家米莱娜·帕维尔用邮件转发了一个她认为理论上能有效解决NP问题的算法。计算机科学和数学界经过仔细验证,一致认为米莱娜所言不虚,算法确实解决了伟大的P/NP问题。米莱娜将算法发表成论文,文章本身的名字很低调,叫做“论一个库克没有解决的问题”(On an Open Problem of Cook...