1.本森的参加比赛
2.斯蒂芬·库克的个人经历
3.尼古拉斯·延纳里斯的参加比赛
本森的参加比赛
比赛日期比赛性质代表球队对手球队主客场胜负状态出场时间进球助攻得牌详情2015-04-15英乙卢顿达格内姆0:0首发38-- 2015-04-11英乙卢顿伯顿不列颠0:1首发90-- 2015-04-06英乙卢顿特兰米尔1:0首发83-- 2015-04-03英乙卢顿埃克塞特2:3首发90-- 2015-03-28英乙卢顿北安普顿1:2首发90-- 2015-03-24英乙卢顿海威科姆2:3首发90-- 2015-03-18英乙卢顿纽波特郡0:1替补30-- 2015-03-14英乙卢顿朴次茅斯0:2替补16-- 2014-11-29英乙卢顿曼斯菲尔德3:0首发291- 2014-11-22英乙卢顿伯顿不列颠0:1首发90-- 2014-11-15英乙卢顿特兰米尔1:0首发90-- 2014-11-08足总杯卢顿纽波特郡4:2首发901- 2014-11-01英乙卢顿埃克塞特1:1首发90-- 2014-10-22英乙卢顿达格内姆3:1替补37-- 2014-10-18英乙卢顿哈特尔浦联2:1替补20-- 2014-10-08英联锦卢顿克劳利0:1首发90-- 2014-10-04英乙卢顿斯蒂夫尼奇2:1首发70-- 2014-08-30英乙卢顿什鲁斯伯里0:2首发90-- 2014-08-23英乙卢顿阿克灵顿2:2首发90-- 2014-08-20英乙卢顿贝里1:1首发77-- 2014-08-16英乙卢顿新温布尔登0:1首发90-- 2014-08-13联赛杯卢顿斯温登1:2首发72-- 2014-08-09英乙卢顿卡莱尔联1:0首发90-1
斯蒂芬·库克的个人经历
斯蒂芬·库克实际上是美国科学家，1939年12月14日生于纽约州的布法罗(Buffalo)，他的父亲是一名
化学家，在著名的联合碳化物公司工作，同时在布法罗大学任教，有一份不错的收入。但库克的父亲喜欢农村的恬静生活和清新空气，因此在库克10岁时全家迁居到纽约州克拉伦斯的一个奶牛场。在这里，少年库克可以与牛羊为伴，还学会了挤奶。在乡村中学，库克的数学成绩比较好，但那时他并没有梦想当数学家。库克的另一个爱好是下棋，这帮助他发展了逻辑思维能力。在克拉克伦斯，当时出现了一位式的英雄，那就是威尔逊·格莱特巴郝(Wilson Greatbatch)，他发明了可植入式心脏起搏器，挽救了世界上无数人的性命，使他远近闻名。库克对这位发明家也很敬仰和崇拜，暑时曾到他手下去打工，帮他焊晶体管电路板。当时晶体管问世不久，是新鲜事物，库克对神奇的晶体管也很有兴趣，想当个电气工程师。 1961年库克获得学士学位以后，转入哈佛大学研究生院深造，第二年就取得了理科硕士学位。他接着攻读数学博士学位，原先的打算是研究代数学。然而这时他遇到了一些教师，对他产生了很大的影响，改变了他的兴趣和方向。首先是哈佛研究生院对新兴学科十分重视，虽然计算复杂性理论这一学科分支其时还处于萌芽与初创时期，它就邀请了这方面的一些先驱与奠基人，其中包括拉宾(M．Rabin，16年图灵奖获得者)、哈尼斯(J．Hartmanis)和斯坦恩斯(R．Steams，这两人是1993年图灵奖获得者)等人前来讲学或作报告。库克对他们所研究和探索的问题产生了极大的兴趣，从而把自己的研究也定在了这个方向。他的博士论文“论乘法的最小计算时间”(On the Minimum Computation Time for Multiplication)就是他涉足这一领域的初步尝试。但这个课题局跟性太大，无法从中找出一般规律。这时，在哈佛大学应用科学研究所任教的美籍华人学者王浩的研究工作引起了库克的注意和启发了他。王浩是国际知名的数理逻辑专家和计算机科学家，他曾对图灵的计算理论进行深入研究并提出了图灵机的一种变形叫B机器(Bmachine)。B机器的特点是总共只有4条指令，机器不能自我修改，即不能抹去带上的记号。B机器比图灵机更加接近于实际机器，它能计算的函数正好是部分递归函数。当时王浩正致力于研究自动定理证明，即由计算机自己去证明定理，具体而言是证明谓词演算中的定理，这就涉及到可满足性问题(Satisfiable)，即是否存在一个真值的赋值，使得给定的公式成立。如果存在，那么就称这个公式是可满足的，否则就是不可满足的。一般谓词演算公式的可满足性问题，图灵早就解决了，他指出，甚至在无限的时间里，要想确定谓词演算中的某个公式是否可满足，在计算上都是不可能的。因此，王浩是从复杂性的角度去研究谓词演算的可满足性的。
王浩的研究工作给了库克以极大的启发，他认识到，自动定理证明可以作为研究计算复杂性问题的一个很好的突破口。但是由于谓词演算涉及个体与群体，公式中包含所谓量词(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完全的。
在库克归约的基础上，其他计算机科学家又用其他各种计算模型定义了其他一些复杂性归约，如多一归约、对数空间归约、Y-归约、随机归约和真值表归约等。但库克归约仍然是最常用的归约方法之一。复杂性归约除了用于判定问题外，还可以用于函数和搜索问题。 姓名：斯蒂芬·库克
英文名：Stephen Cooke
外文全名:Stephen Lee Cooke性别：男
国籍：英格兰
出生城市：沃尔索尔(英格兰）
出生日期：1983年2月15日
身高：173cm
体重：62kg
惯用脚：右脚 比赛日期 比赛性质 代表球队 对手球队 主客场 出场时间 状态 进球 得牌 2007-05-05 英乙 托基联 赫里福德联 主场 0:0 71 首发 02007-04-28 英乙 托基联 波士顿联 客场 1:1 46 首发 02007-04-21 英乙 托基联 雷克瑟姆 客场 0:1 90 首发 02007-04-14 英乙 托基联 彼得伯勒联 主场 1:1 22 替补 02007-03-17 英乙 托基联 阿克灵顿 客场 0:1 46 首发 02007-03-10 英乙 托基联 海威科姆 主场 3:0 89 首发 02007-03-02 英乙 托基联 切斯特 客场 1:1 45 替补 02007-02-17 英乙 托基联 哈特尔浦联 主场 0:1 1 替补 02007-02-10 英乙 托基联 林肯 客场 0:1 17 替补 02007-02-03 英乙 托基联 巴尼特 主场 1:1 62 首发 02007-01-30 英乙 托基联 曼斯菲尔德 客场 0:5 65 首发 02007-01-26 英乙 托基联 格里姆斯比 主场 4:1 90 首发 02007-01-20 英乙 托基联 诺丁汉郡 客场 2:5 90 首发 12006-10-28 英甲 伯恩茅斯 特兰米尔 客场 0:1 28 替补 02006-10-06 英甲 伯恩茅斯 北安普顿 主场 0:0 38 替补 02006-09-23 英甲 伯恩茅斯 斯肯索普联 主场 1:1 59 首发 02006-09-16 英甲 伯恩茅斯 布伦特福德 客场 0:0 11 替补 02006-09-02 英甲 伯恩茅斯 奥尔德姆 主场 3:2 86 首发 02006-08-26 英甲 伯恩茅斯 唐克斯特 客场 1:1 90 首发 02006-08-22 联赛杯 伯恩茅斯 绍森德联 主场 1:3 74 首发 02006-08-19 英甲 伯恩茅斯 切尔滕纳姆 主场 2:1 86 首发 02006-08-12 英甲 伯恩茅斯 雷顿东方 客场 2:3 75 首发 12006-08-08 英甲 伯恩茅斯 约维尔 客场 0:0 90 首发 02006-08-05 英甲 伯恩茅斯 切斯特菲尔 主场 0:3 84 替补 02003-05-11 英超 阿斯顿维拉 利兹联 客场 1:3 18 替补 02003-03-15 英超 阿斯顿维拉 曼彻斯特联 主场 0:1 12 替补 02003-01-01 英超 阿斯顿维拉 博尔顿 主场 2:0 3 替补 02000-08-02 托托杯 阿斯顿维拉 维戈塞尔塔 主场 1:2 17 替补 0
尼古拉斯·延纳里斯的参加比赛
比赛日期比赛性质代表球队对手球队主客场胜负状态出场时间进球助攻得牌详情2015-05-02英乙海威科姆北安普顿3:2首发901- 2015-04-25英乙海威科姆莫克姆0:1首发90-- 2015-04-18英乙海威科姆新温布尔登0:0首发44-- 2015-04-15英乙海威科姆埃克塞特2:1首发90-- 2015-04-11英乙海威科姆切尔滕纳姆2:1首发90-- 2015-04-06英乙海威科姆伯顿不列颠0:1首发90-- 2015-04-03英乙海威科姆牛津联2:3首发90-- 2015-03-28英乙海威科姆达格内姆1:0首发90-- 2015-03-24英乙海威科姆卢顿3:2首发90-- 2015-03-18英乙海威科姆阿克灵顿2:2首发90-- 2015-03-14英乙海威科姆什鲁斯伯里1:0首发90-1 2015-03-07英乙海威科姆绍森德联2:2首发90-- 2015-03-04英乙海威科姆特兰米尔2:1首发90-- 2015-02-28英乙海威科姆斯蒂夫尼奇2:2首发90-- 2015-02-14英冠布伦特福德查尔顿运动0:3首发90-- 2015-01-03足总杯布伦特福德布赖顿0:2替补3-- 2014-08-13联赛杯布伦特福德达格内姆6:6首发21--
