【历史上的今天】5 月 13 日:NP 完备领域开山论文发表;苹果推出 System 7 系统;迈克菲的前身成立

整理 | 王启隆

透过「历史上的今天」,从过去看未来,从现在亦可以改变未来。

今天是 2022 年 5 月 13 日,在 2007 年的今天,腾讯收购域名 wenwen.com,并把该域名指向其搜索网站互动业务“问问”。而完成该域名的收购,腾讯只花了 8 万元。wenwen.com 创始人吕希文后来表示,当初购买域名的并不是腾讯公司,在域名被低价购买后,吕希文大呼上当。回顾互联网历史上的 5 月 13 日,这一天还发生过哪些影响深远的关键事件呢?

1971 年 5 月:NP 完备领域开创性论文发表

【历史上的今天】5 月 13 日:NP 完备领域开山论文发表;苹果推出 System 7 系统;迈克菲的前身成立_第1张图片

图源:维基百科

1971 年 5 月,计算机科学家、计算复杂度理论的重要研究者史蒂芬·库克(Stephen Cook)在自己的博士论文“The Complexity of Theorem Proving rocedures”中定义了 NP 完备问题,并提出了库克定理,奠定了 NP 完备的理论基础,开启了该领域的快速发展。因对计算复杂度理论的贡献,史蒂芬·库克获得了 1982 年的图灵奖,现担任多伦多大学计算机科学教授。

NP 完备(NP-complete)一词由贝尔实验室的研究者提出。“完备”出自数学逻辑学,一个事实集合被称为完备的,就是说它能解释某些逻辑系统的所有真命题。类似地,“NP 完备”表示这些 NP 问题的集合强大到能够用来解决任何其他的 NP 问题。在库克发表论文之后不久,1972 年,理查德·卡普提出了 21 个 NP 完备问题。卡普在知名论文“Reducibility Among Combinatorial Problems”中证明了分割难题、旅行推销员、哈密顿回路、地图填色等 21 个难题均为 NP 完备问题。卡普的研究直接推动了 P/NP 问题成为计算机领域的研究焦点。

资料来源:维基百科、百度百科

1986 年 5 月 13 日:Network General 公司成立

【历史上的今天】5 月 13 日:NP 完备领域开山论文发表;苹果推出 System 7 系统;迈克菲的前身成立_第2张图片

图源:维基百科

1986 年 5 月 13 日,Len Shustek 和 Harry Saal 创立了 Network General 公司,该公司是计算机网络管理解决方案的主要供应商,直到 1997 年,该公司与 McAfee Associates 合并,成为 Network Associates。Network General 最大的贡献是开发了原始的网络数据包处理工具,也就是该公司的第一款产品:“The Sniffer”,一种用于分析局域网中通信协议问题的诊断工具。

在 2004 年年中,合并后的 Network Associates 公司以 2.75 亿美元现金将 Sniffer Technologies 业务出售给 Silver Lake Partners 和 Texas Pacific Group,组建了 Network General。2006 年初,这家新生的 Network General 公司收购了 Fidelia Technology,将 NetVigil 业务服务监控技术添加到他们的网络和应用程序性能分析工具中。2007 年 9 月,Network General 同意以 2.05 亿美元被 NetScout Systems 收购。

子公司的故事彻底告一段落,让我们继续回到母公司上面。1999 年,迈克菲(McAfee)首次上市,成为母公司 Network Associates 的在线部门;事实上,作为全球第一家杀毒软件,迈克菲曾多次易主,这也让它在开源软件领域具有很大的影响力,让 Linux、FreeBSD 和 Darwin 操作系统等等都能体验到完善的网络解决方案和病毒防护。

2011 年 2 月,McAfee 公司成为英特尔旗下的全资子公司,隶属于英特尔安全(Intel Security)部门的一部分,英特尔在 2014 年宣布将在未来停止使用 McAfee 的品牌名称。2016 年 9 月 7 日,英特尔与 TPG 资本达成协议,将 Intel Security 转变为一合资公司,并重命名为 McAfee。由英特尔掌握 49%股份,而 TPG 资本则拥有 51%股份,该交易于 2017 年 4 月 3 日完成。2021 年 11 月 8 日,公司宣布私有化。

资料来源:维基百科、百度百科

1991 年 5 月 13 日:苹果推出了 System 7 操作系统

【历史上的今天】5 月 13 日:NP 完备领域开山论文发表;苹果推出 System 7 系统;迈克菲的前身成立_第3张图片

图源:维基百科

System 7 是一个使用 Macintosh 电脑的单用户图形用户界面的操作系统,在苹果内部代号“Big Bang”,也被称为 Mac OS 7。System 7 于 1991 年 5 月 13 日首次发布。它是 System 6 的后继版,它是当时最受欢迎的 Macintosh 操作系统,直至 Mac OS 8 于 1997 年发布。“System 7” 从 7.6 版本开始被苹果电脑公司改名为 Mac OS,这个名称最早出现在 System 7.5.1 的启动屏幕上。

System 7 是第一个以光盘形式提供的 Apple 操作系统;System 7 版本中添加的功能包括虚拟内存、个人文件共享、QuickTime、 QuickDraw 3D 以及改进的用户界面。直到 System 6 的 Macintosh 系统软件的开发进展相当顺利,随着时间的推移添加了新功能以及相对较小的更改和升级,所以主要增加的内容相当有限。这些有限的变化意味着最初的 Macintosh 系统在很大程度上保持了最初引入时的样子。

在那个普通人还不知道电脑为何物的年代,System 7 引进了多任务处理功能,而不是像 System 6 之前的版本,只能运行独立的单一软件程序。当时的人们思维已经形成了定式,认为如果一次只使用一个应用程序,反而可以更加专注,提高工作效率。System 7 成为经典 Mac OS 版本中使用时间最长的版本,一直持续到 1997 年的 System 7.6.1。你可以在如今的 Mac OS 上看到 System 7 的影子,这是它作为初代 Mac OS 打下的坚实基础。

【欢迎投稿】以史为镜,可以知兴替。计算机科学发展至今,有许多至关重要的事件、人物,欢迎所有朋友一起共建「历史上的今天」,投稿邮箱:[email protected]

你可能感兴趣的:(历史上的今天,历史上的今天,np问题,mac,McAfee,intel)