历史上的今天：苹果推出 System 7 系统；NP 完备领域开山论文发表；迈克菲的前身成立

文章图片
整理|王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是2022年5月13日，在2007年的今天，腾讯收购域名wenwen.com ，并把该域名指向其搜索网站互动业务“问问” 。而完成该域名的收购，腾讯只花了8万元。 wenwen.com创始人吕希文后来表示，当初购买域名的并不是腾讯公司，在域名被低价购买后，吕希文大呼上当。回顾互联网历史上的5月13日，这一天还发生过哪些影响深远的关键事件呢？
1971年5月：NP完备领域开创性论文发表

文章图片
图源：维基百科
1971年5月，计算机科学家、计算复杂度理论的重要研究者史蒂芬·库克（StephenCook）在自己的博士论文“TheComplexityofTheoremProvingrocedures”中定义了NP完备问题，并提出了库克定理，奠定了NP完备的理论基础，开启了该领域的快速发展。因对计算复杂度理论的贡献，史蒂芬·库克获得了1982年的图灵奖，现担任多伦多大学计算机科学教授。
NP完备（NP-complete）一词由贝尔实验室的研究者提出。 “完备”出自数学逻辑学，一个事实集合被称为完备的，就是说它能解释某些逻辑系统的所有真命题。类似地， “NP完备”表示这些NP问题的集合强大到能够用来解决任何其他的NP问题。在库克发表论文之后不久， 1972年，理查德·卡普提出了21个NP完备问题。卡普在知名论文“ReducibilityAmongCombinatorialProblems”中证明了分割难题、旅行推销员、哈密顿回路、地图填色等21个难题均为NP完备问题。卡普的研究直接推动了P/NP问题成为计算机领域的研究焦点。
资料来源：维基百科、百度百科1986年5月13日：NetworkGeneral公司成立

文章图片
图源：维基百科
1986年5月13日， LenShustek和HarrySaal创立了NetworkGeneral公司，该公司是计算机网络管理解决方案的主要供应商，直到1997年，该公司与McAfeeAssociates合并，成为NetworkAssociates 。 NetworkGeneral最大的贡献是开发了原始的网络数据包处理工具，也就是该公司的第一款产品：“TheSniffer” ，一种用于分析局域网中通信协议问题的诊断工具。
在2004年年中，合并后的NetworkAssociates公司以2.75亿美元现金将SnifferTechnologies业务出售给SilverLakePartners和TexasPacificGroup ，组建了NetworkGeneral 。 2006年初，这家新生的NetworkGeneral公司收购了FideliaTechnology ，将NetVigil业务服务监控技术添加到他们的网络和应用程序性能分析工具中。 2007年9月， NetworkGeneral同意以2.05亿美元被NetScoutSystems收购。
子公司的故事彻底告一段落，让我们继续回到母公司上面。 1999年，迈克菲（McAfee）首次上市，成为母公司NetworkAssociates的在线部门；事实上，作为全球第一家杀毒软件，迈克菲曾多次易主，这也让它在开源软件领域具有很大的影响力，让Linux、FreeBSD和Darwin操作系统等等都能体验到完善的网络解决方案和病毒防护。
2011年2月， McAfee公司成为英特尔旗下的全资子公司，隶属于英特尔安全（IntelSecurity）部门的一部分，英特尔在2014年宣布将在未来停止使用McAfee的品牌名称。 2016年9月7日，英特尔与TPG资本达成协议，将IntelSecurity转变为一合资公司，并重命名为McAfee 。由英特尔掌握49%股份，而TPG资本则拥有51%股份，该交易于2017年4月3日完成。 2021年11月8日，公司宣布私有化。