迈克尔·拉宾 (科学家)

✍ dations ◷ 2025-04-04 20:55: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年,拉宾和理查德·卡普提出了一个著名的字符串搜索算法——拉宾-卡普算法。

相关

  • 星期三星期三,又称礼拜三或周三。是指一周中星期二之后、星期四之前的那一天。星期三是一周的第四天,星期三的拉丁语名字是dies Mercurii,即水星日或墨邱利日;法语是mercredi,西班牙语
  • MoOsub2/sub(NOsub3/sub)sub2/sub硝酸双氧钼是一种无机化合物,化学式为MoO2(NO3)2。可由无水硝酸和钼酸反应得到;或者由五氯化钼和五氧化二氮在四氯化碳中的反应制得。它和石墨加热可以反应。
  • 迫击炮迫击炮(英语:mortar)是一种炮身短、射角大、弹道弧线高、以座钣承受后座力、发射带尾翼弹的曲射火炮。其名称来源由于它可以“迫近射击”。射角大(一般为45°~85°),弹道弯曲,初速小
  • 菹草菹草(学名:Potamogeton crispus),又名马藻、虾藻、虾柳,为眼子菜科眼子菜属下的一种多年生沉水草本植物,原产于欧亚大陆。叶条形,边缘有锯齿。穗状花序顶生,花果期为4-7月。
  • 水星凌日 (天王星)水星凌日是水星运行到太阳和天王星之间时,看见水星横越过太阳前方的一种罕见天文现象。当水星从天王星和太阳之间穿越时,从天王星上可以看到一个黑色的小圆盘从太阳表面划过。
  • 山长山长,又称院长、山主、洞主、主洞、掌教等,古代书院的负责人,主持教学与行政,类似今日文学院院长。山长之名始于五代,五代时蒋维东隐居衡岳,受业者号曰山长,书院历任山长大多是德高
  • 刘注刘注(?-前115年),汉朝宗室,西汉楚王。其曾祖父楚元王刘交是汉高祖刘邦的弟弟。前129年,其父刘道去世。刘注继位,一共在位十四年。前115年,刘注去世(据史记,汉书作前117年去世,在位12年),谥
  • 鲤齿鳉科鲤齿鳉科,又称鳉科,为辐鳍鱼纲鲤齿目的其中一科。鲤齿鳉科下分8个属,如下:
  • 一青窈一青窈(1976年9月20日-),本名颜窈,为日本女性流行音乐歌手、作词家和演员。其姊一青妙具有医师、作家双重身份,亦从事舞台剧演出。一青窈的父亲颜惠民(1928年-1985年)是台湾日治时期
  • 2020年艾米利亚-罗马涅大奖赛2020年艾米利亚-罗马涅大奖赛(英语:2020 Emilia Romagna Grand Prix),官方名称为2020年一级方程式赛车阿联酋航空艾米利亚-罗马涅大奖赛(意大利语:Formula 1 Emirates Gran Premio