迈克尔·拉宾 (科学家)

✍ dations ◷ 2025-11-08 17:05:46 #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年，拉宾和理查德·卡普提出了一个著名的字符串搜索算法——拉宾-卡普算法。

相关

大楼炭经《起世经》，又称《起世因本经》，为佛陀解说宇宙形成、发展、组织和灭亡的经书。《起世经》分十二品，包括阎浮洲品、郁单越洲品、转轮圣王品、地狱品、诸龙金翅鸟品、阿修罗品、
草粿草粿可以指：
弘治弘治（1488年至1505年）为中国明朝第九个皇帝明孝宗朱祐樘的年号，前后共十八年。弘治年间，明朝政治清明，经济持续发展，史称弘治中兴。弘治十八年五月明武宗即位沿用。出自《北齐书》
北艾尔北艾尔郡（英语：North Ayrshire），是英国苏格兰的32个一级行政区之一。地处苏格兰中部大西洋沿岸，辖区还包括克莱德河湾第一大岛阿然岛（Isle of Arran）。面积885km²，人口135,817。地
四山群岛四山群岛（Islands of Four Mountains）是阿留申群岛中的一个群岛，由美国阿拉斯加州管辖。所有岛屿都无人居住。四山群岛主要岛屿由西向东分别是阿穆克塔岛、查古拉克岛、尤纳斯
陈家伟陈家伟可能指以下人物条目中的一个：
2012年9月逝世人物列表2012年9月逝世人物列表，是用于汇总2012年9月期间逝世人物的列表。
匈牙利苏维埃共和国匈牙利苏维埃共和国（Magyarországi Tanácsköztársaság），是一个匈牙利的社会主义政权，由匈牙利共产党和匈牙利社会民主党共同组成。成立于1919年3月21日至8月6日，由库恩·贝
穆斯塔法巴德穆斯塔法巴德（Mustafabad），是印度德里North East县的一个城镇。总人口89117（2001年）。该地2001年总人口89117人，其中男性47579人，女性41538人；0—6岁人口17988人，其中男9615人，女8373
缑氏镇缑氏镇，是中华人民共和国河南省洛阳市偃师市下辖的一个乡镇级行政单位。缑氏镇下辖以下地区：缑氏村、化寨村、盆窑村、程子沟村、崔河村、郑窑村、夫子庙村、南家村、双泉村、