迈克尔·拉宾

✍ dations ◷ 2025-07-30 10:14:30 #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年,拉宾提出了不经意传输(英语:Oblivious transfer)技术。 1987年,拉宾和理查德·卡普提出了一个著名的字符串搜索算法——拉宾-卡普算法。

相关

  • 儿茶酚-O-甲基转移酶儿茶酚-O-甲基转移酶抑制剂或 COMT抑制剂(英语: Catechol-O-methyl transferase inhibitor或COMT inhibitor)是抑制儿茶酚-O-甲基转移酶的药物。这个酶参与神经递质的降解。CO
  • 卡托普利卡托普利(Captopril)是一种血管紧张素转化酶抑制剂(ACE inhibitor或ACEI),被应用于治疗高血压和某些类型的充血性心力衰竭。作为第一种ACEI类药物,由于其新的作用机制和革命性的开
  • 阳萎勃起功能障碍(Erectile dysfunction,缩写:ED),为男性性功能障碍的一种,其特征在于阴茎在性行为期间无法勃起或维持勃起:538-39。勃起功能障碍可能会产生心理上的后果,因为它与关系
  • 2000年悉尼奥运第二十七届夏季奥林匹克运动会(英语:the Games of the XXVII Olympiad,法语:les Jeux de la XXVIIe Olympiade),于2000年9月15日至10月1日在澳大利亚悉尼举行,此乃奥运史上,继1956年
  • 中莫诺省坐标:7°01′23″N 1°36′54″E / 7.02306°N 1.61500°E / 7.02306; 1.61500中莫诺省(法语:Préfecture du Moyen-Mono),是多哥的30个省份之一,位于该国中南部,由高原区负责管辖,
  • LQR控制器最优控制理论主要探讨的是让动力系统以在最小成本来运作,若系统动态可以用一组线性微分方程表示,而其成本为二次泛函,这类的问题称为线性二次(LQ)问题。此类问题的解即为线性二次
  • 方徽石方徽石,字世培,纵鹤拳法创办祖师,福建省人,生于1834年。20岁那年,典试高中武举,以无意于仕途,乃云由各方,寻师访友探研各派武艺中,深觉鹤法原本猛杀,若复求轻柔震弹,则尽善者美矣!之后,
  • 米奇·阿尔博姆米奇·阿尔博姆(Mitch Albom, 1958年5月23日-),美国体育记者、小说家、《底特律自由报》(Detroit Free Press)专栏作家。阿尔博姆毕业于布兰戴斯大学和哥伦比亚大学。他撰写报纸专
  • 牛顿·D·贝克小牛顿·迪尔·贝克(Newton Deihl Baker, Jr.,1871年12月3日西弗吉尼亚州马丁斯堡-1937年12月25日俄亥俄州凯霍加县),美国律师、政治家,美国民主党成员,曾任美国战争部长(1916年-1921
  • 金堂县金堂县位于中国四川省成都市东北部,沱江上游。面积1156平方公里,人口90.3万人。邮政编码610400。县人民政府驻赵镇街道。金堂因有山川之利,自古即为川西水陆交通枢纽,是成都东部