迈克尔·拉宾

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

相关

神经元神经元（英语：neuron），又名神经原或神经细胞（英语：nerve cell），是神经系统的结构与功能单位之一。神经元能感知环境的变化，再将信息传递给其他的神经元，并指令集体做出反应。神经元占了
炼金术师炼金术是中世纪的一种化学哲学的思想和始祖，是当代化学的雏形。其目标是通过化学方法将一些基本金属转变为黄金，制造万灵药及制备长生不老药。现在的科学表明这种方法是行不通
电分析化学法电化学分析是分析化学的重要组成部分。电化学分析法是利用测量样品的电位(potential)、电流和电阻(或导电度)，以分析样品中待测物组成及浓度的方法。电化学分析法测定结果是
谚文日谚文日（한글날），又称“韩文日”、“朝鲜语字母日”或“韩国语字母日”，是朝鲜民族纪念训民正音发明的纪念日。韩国订于10月9日，称为韩字日（한글날，Hangullal）；朝鲜则订于1月15日，称为
宇宙兄弟 (动画)《宇宙兄弟》，是在日本电视台的读卖电视台制作的日本电视动画作品，改编自日本漫画家小山宙哉的同名原作漫画作品《宇宙兄弟》。自2012年4月1日起至2013年3月31日于每周日7点00
仁安羌镇仁安羌镇（缅甸语：ရေနံချောင်းမြို့နယ်，英语：Yenangyaung Township）为缅甸马圭省马圭县的镇区。2014年人口134,227人，区域面积1,024.0平方公里。该镇下分86个村
鲍里斯拉夫·斯坦科维奇鲍里斯拉夫·斯坦科维奇（塞尔维亚语西里尔字母：Борислав "Бора" Станковић，1925年7月9日－2020年3月20日）是塞尔维亚篮球运动员和教练，第二任国际篮联秘书长
王明时《松江邦彦画像》之王明时像王明时（？－？），字治甫，号后阳，明朝政治人物，直隶松江府华亭县（今上海市松江区）人。万历五年（1577年）进士。历知冀州、莒州，境内大治。晋刑部郎中，出任岳州、南安、
白痴白痴（英语：Idiot）或“智障”，是被认为缺少智慧或做出愚蠢行为的某个人。在医学当中，指的是重度智能障碍的人。英文Idiot，源自希腊语：Idiotos，意指无法在公共生活上承担责任的人。学
金珉奎金珉奎（朝鲜语：김민규 ，1997年4月6日－），艺名珉奎（朝鲜语：민규 ，日语：ミンギュ），韩国男艺人。 Pledis娱乐旗下的13人男子流行音乐团体SEVENTEEN成员，同时也是分队Hip-hop Team的成员。