迈克尔·拉宾 (科学家)

✍ dations ◷ 2025-04-26 11:58:00 #1931年出生,在世人物,图灵奖获得者,计算机科学家,以色列科学家,犹太科学家,普林斯顿大学校友,耶路撒冷希伯来大学校友,耶路撒冷希伯来大学教师,以色列犹太人,

迈克尔·O·拉宾(Michael Oser Rabin希伯来语:מִיכָאֵל אֹשֶׁר רַבִּין‎,1931年9月1日- )是一名以色列计算机科学家,1976年图灵奖得主。

拉宾出生于德国布雷斯劳(二战后成为波兰弗罗茨瓦夫),父亲是一个拉比。

1953年,他获得希伯来大学的理学硕士,1956年获普林斯顿大学博士学位。

1959年,拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”()的论文,提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖,并做“计算机复杂性”(Complexity of Computations)的演讲。图灵奖的引文是:

因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念,被证明是(计算理论科学研究中的)一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。

非确定自动机已经成为计算复杂度理论中的一个重要概念,特别是在描述P与NP问题的复杂度类时。

1969年,拉宾证明N successors的二阶逻辑是可判定的。证明的关键部分暗示了奇偶游戏(英语:Parity game)的确定性。1975年,拉宾发明了米勒-拉宾检验,这是一个相当快速的随机化算法(有较小的可能性错误),用于判断一个大数是否是素数。 快速素数检验是目前大部分公钥密码体系的关键。1979年,拉宾发明了第一个非对称密码系统——拉宾密码系统(英语:Rabin cryptosystem)。它的安全性被证明和整数因式分解的复杂度相同。1981年,拉宾提出了不经意传输技术。 1987年,拉宾和理查德·卡普提出了一个著名的字符串搜索算法——拉宾-卡普算法。

相关

  • 结晶紫结晶紫(英语:crystal violet)或称龙胆紫(gentian violet),也称“甲基紫10B”,是一种三苯甲烷系染料。使用于组织学染色,也用在革兰氏染色试验中以区别不同类的细菌。具有抗菌、抗真
  • 生物气体生物气体(英语:Biogas,亦称生化气体或生质气体),泛指包括粪肥、污水、都市固体废物及其他生物可降解的有机物质,在缺氧的环境下,经发酵或者无氧消化过程所产生的气体,这些气体主要包
  • 镁粉镁粉可以指:
  • 拿破仑时代拿破仑时代是欧洲和法国历史上的一个时期,大体涵盖了法国大革命的第四和最后一个阶段(法国大革命的第一阶段是国民大会时期,第二阶段是国民立法议会时期,第三阶段是督政府时期)。
  • 藏书癖藏书癖,是囤积病(英文: Compulsive hoarding,或称囤积症、强迫性囤积症、病态性囤积症、弃置恐惧症)的一种,指收藏书籍的行为已达到影响其日常社交或身体健康的强迫症。在许多有关
  • 猪传染性胃肠炎病毒猪传染性胃肠炎病毒(学名:Transmissible gastroenteritis virus、TGEV)是甲型冠状病毒属的一种病毒,与猫冠状病毒、犬冠状病毒同属甲型冠状病毒一型。此病毒可感染猪,造成猪传染
  • 塞德罗斯岛坐标:28°10′58″N 115°13′04″W / 28.18278°N 115.21778°W / 28.18278; -115.21778塞德罗斯岛是墨西哥的岛屿,位于太平洋海域,由下加利福尼亚州负责管辖,长39公里、宽18.6
  • 日本语言日本语言是对日本国土使用的所有语言的统称。日本全国最通用的一种语言是日语,在日本国内具有共通语的地位。然而,在琉球群岛,存在着一系列与日语难以互通的琉球语。而在北海道
  • 追击者追击者可以指
  • 格里旺克函数格里旺克函数(Griewank function)是数学上常用于测试优化程序效率的函数,定义如下: G ( x 1