您现在的位置:主页 > www.wap666.net >
斯蒂芬·库克的个人经历
发布日期:2019-08-13 22:58   来源:未知   阅读:

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  斯蒂芬·库克实际上是美国科学家,1939年12月14日生于纽约州的布法罗(Buffalo),他的父亲是一名

  化学家,在著名的联合碳化物公司工作,同时在布法罗大学任教,有一份不错的收入。但库克的父亲喜欢农村的恬静生活和清新空气,因此在库克10岁时全家迁居到纽约州克拉伦斯的一个奶牛场。在这里,少年库克可以与牛羊为伴,还学会了挤奶。在乡村中学,库克的数学成绩比较好,但那时他并没有梦想当数学家。库克的另一个爱好是下棋,这帮助他发展了逻辑思维能力。在克拉克伦斯,当时出现了一位传奇式的英雄,那就是威尔逊·格莱特巴郝(Wilson Greatbatch),他发明了可植入式心脏起搏器,挽救了世界上无数人的性命,使他远近闻名。库克对这位发明家也很敬仰和崇拜,暑假时曾到他手下去打工,帮他焊晶体管电路板。当时晶体管问世不久,是新鲜事物,库克对神奇的晶体管也很有兴趣,想当个电气工程师。 1961年库克获得学士学位以后,转入哈佛大学研究生院深造,第二年就取得了理科硕士学位。他接着攻读数学博士学位,原先的打算是研究代数学。然而这时他遇到了一些教师,对他产生了很大的影响,改变了他的兴趣和方向。首先是哈佛研究生院对新兴学科十分重视,虽然计算复杂性理论这一学科分支其时还处于萌芽与初创时期,它就邀请了这方面的一些先驱与奠基人,其中包括拉宾(M.Rabin,1976年图灵奖获得者)、哈特马尼斯(J.Hartmanis)和斯坦恩斯(R.Steams,这两人是1993年图灵奖获得者)等人前来讲学或作报告。库克对他们所研究和探索的问题产生了极大的兴趣,从而把自己的研究也定在了这个方向。他的博士论文“论乘法的最小计算时间”(On the Minimum Computation Time for Multiplication)就是他涉足这一领域的初步尝试。但这个课题局跟性太大,无法从中找出一般规律。这时,在哈佛大学应用科学研究所任教的美籍华人学者王浩的研究工作引起了库克的注意和启发了他。王浩是国际知名的数理逻辑专家和计算机科学家,他曾对图灵的计算理论进行深入研究并提出了图灵机的一种变形叫B机器(Bmachine)。B机器的特点是总共只有4条指令,机器不能自我修改,即不能抹去带上的记号。B机器比图灵机更加接近于实际机器,它能计算的函数正好是部分递归函数。当时王浩正致力于研究自动定理证明,即由计算机自己去证明定理,具体而言是证明谓词演算中的定理,这就涉及到可满足性问题(Satisfiable),即是否存在一个真假值的赋值,使得给定的公式成立。如果存在,那么就称这个公式是可满足的,“土星5号”火箭的影像被投射到华盛顿,否则就是不可满足的。一般谓词演算公式的可满足性问题,图灵早就解决了,他指出,甚至在无限的时间里,要想确定谓词演算中的某个公式是否可满足,在计算上都是不可能的。因此,王浩是从复杂性的角度去研究谓词演算的可满足性的。

  王浩的研究工作给了库克以极大的启发,他认识到,自动定理证明可以作为研究计算复杂性问题的一个很好的突破口。但是由于谓词演算涉及个体与群体,公式中包含所谓量词(quantifier),即全称量词d1(universal quantifier,用“∨”表示)和存在量词exists(existential quantifier,用“∧”表示),使研究变得复杂而困难。因此库克改从比较单纯和简单的命题演算公式的自动证明人手研究计算复杂性,果然获得成功。 库克在建立NP完全性理论时,为研究复杂性类之间的关系提出的方法,叫“复杂性归约”(complexity reduction),用以比较问题的计算难度。库克所用的归约方法是多项式时间图灵归约,有时直接把它叫做库克归约。其要点如下:假设所考虑的问题都已编码成字母表∑上的语言(实例的集合)。设Ll、整形医院空气护理艾仕特香氛优惠L2是∑上的两个语言,若存在以上:为oracle集的多项式时间图灵机M,其接受的语言为Ll,则称L1,多项式时间图灵归约到L2,记为i1≤PTL2。这时,对x是否属于L1的判别可转化为至多,x的多项式个元素是否属于i2的判别,因此L2∈p便导致L1∈p。从这种相对的意义上说,i1的计算不比L2难。≤;可以是定义在任何语言类D上的一种二元前序关系,如果存在L∈D,对于任何L∈D,都有L≤PtL,则L就是D中(在多项式时间图灵归约下)“最困难的”,称其为D-T完全的。

  在库克归约的基础上,其他计算机科学家又用其他各种计算模型定义了其他一些复杂性归约,如多一归约、对数空间归约、马经图库300双方将建立电子商务合作机制,,Y-归约、随机归约和真值表归约等。但库克归约仍然是最常用的归约方法之一。复杂性归约除了用于判定问题外,还可以用于函数和搜索问题。 姓名:斯蒂芬·库克

  • Power by DedeCms