这页简概计算理论、算法以及数据结构(现在已是算法统治世界的时代,就如仅存的中国计算机学会唯一名誉理事长李国杰院士说计算机科学“成也算法,败也算法”,更有“这个世界,一切皆可计算”—而与海南琼大所做学科有关的这里见几个计算机科学之父创造的就是这一切的主要基石大厦。还如我们读研时代的全球图论界学子学者们必定是以J. A. Bondy和U. S. R. Murty的《图论及其应用》为这学科首选用书而这《图论及其应用》的第一章第1篇参考文献就是下面要说的1986年计算机诺贝尔奖图灵奖得主John
Hopcroft等的《计算机算法的设计与分析》一书、这《图论及其应用》的第二章第2篇参考文献就是下面要说的现代计算机科学鼻祖Donald Knuth的被誉为“算法圣经”的《计算机程序设计艺术 第三卷》一书):
先讲这页附件下撰写“数据结构”圣经的海南琼州大学的导师柳柏濂教授去合作几年的威斯康辛大学的博士E.
Horowitz大师的《计算机算法基础》(邹海明85年版及崔国华等的书均说只有这书…,由冯博琴译它--刚见北大用的第1、2本书是它俩-但“专题选讲”仅讲简介).
这些领域公认的重要著作还有:哈佛学院院长的Harry
Lewis和Christos Papadimitriou院士的《Elements of the Theory of Computation计算理论基础》,这书只有3个结果以人名冠之,其中第1个是:这里来信表达很高兴(他的第2封信更知当时杂志仍…)担任我们海南琼州大学编委的美国数学会主席Anil Nerode的定理2.5.2 Myhill-Nerode定理(就如这页的第3说“哈佛学院院长Lewis和比尔·盖茨的老师Papadimitriou合写的《计算理论基础》一书中仅有Myhill-Nerode定理、计算机诺贝尔奖得主Cook等的3个定理结论是以人名命之”)。它的作者Harry
Lewis自不久前的1995年起担任Dean of Harvard College哈佛学院院长-也看到他的博士中有第2代博士的3人的论文题目全都做Combinatorics组合数学,这书另一作者Christos Papadimitriou的博士论文是组合数学优化的并是美国三院院士,他也是世界首富比尔·盖茨的老师并更和比尔·盖茨合作发表我们组合数学论文-这是比尔·盖茨创立微软前的唯一科学论文);
如此,除了Papadimitriou的上面这书,我们组合数学学人读研究生时还会读和世界首富比尔·盖茨唯一合作论文的美国三院院士Papadimitriou和普林斯顿大学前辈Kenneth Steiglitz合写的《组合最优化:算法和复杂性》这本世界名著(这名著的翻译者是来信高度评价我们海南琼州大学做出世界一流水平的我国哈密顿图主要开拓者中科院刘振宏大师-即于1988年翻译为中文版630页巨著)。
我也有这美国三院院士Papadimitriou以及计算机理论界的第二名师Umesh Vazirani和哈佛大学最优等本科毕业的他的博士S. Dasgupta最近合撰出版的《算法概论》。
还有博士论文做平面图论算法的1986年计算机诺贝尔奖图灵奖得主Robert
E Tarjan的名著《Data
structures and network algorithms》就是结合图论的许多些领域构建的书,他在图论算法和数据结构领域有很大的贡献,他的唯一华人博士就做极值图论问题
关于可计算理论,开头已说我也有另一支流是和海南琼州大学合作多篇SCI论文的Thulasiraman院士1981年出版的《图、网络与算法》第十五章的参考文献中5个文献的第一作者都是1986年图灵奖得主John
Hopcroft统帅的(这是1981年出版的-其后修改版的收入应更多),即他和Alfred Aho,Jeffrey
Ullman合写的《计算机算法的设计与分析》英文版书籍(即上面说的我们图论人以前用的Bondy和Murty的图论书的第一章第1篇参考文献就是书,并这书许多内容也与这里的20世纪最伟大的十大算法很有关系),其中作者Aho是2院院士兼美国工程院计算机与工程部主席,John
Hopcroft是1986年计算机诺贝尔奖图灵奖得主美国3院院士,Jeffrey Ullman是美国3院院士);我也有他们仨人合写的《数据结构与算法》,以及后2个作者John
Hopcroft,Jeffrey Ullman合撰前2版并第三版加入Rajeev
Motwani合写的《自动机理论、语言和计算导引》一书的1979年中文版和1986年中文版528页我都读了多遍并最近又再出新的中文版的内容仅微调读它应也没问题(就是新加入的第三作者Rajeev
Motwani,他的博士中培养博士最多的David Karger在哈佛读本科并在斯坦福的博士论文做图论优化--图论也应用于搜索引擎且图论还是理解大数据的关键[之关键就如Roy Marsten大师的文章第一行是全球第5名的Facebook创始人Zuckerberg正在展示图论搜索]--更有比他的这图论博士David Karger低几届的2个同系博士即多次居世界第一企业的搜索巨头Google的两个创办人就由这Rajeev
Motwani做创业顾问和导师,Rajeev
Motwani最近合撰《随机算法》,可惜英年早逝否则也获诺贝尔奖,如最近得4亿美元融资的美国两院院士“AI先驱”即a pioneer
in the field of machine learning的Daphne
Koller大师都以被授予Rajeev Motwani Professor为荣!)。
还有,我也有的现代计算机科学鼻祖Donald
Knuth在1985年前出版的前3卷包括中文版:《计算机程序设计艺术 第三卷》(就是上面说的Bondy和Murty的图论书引用的书)、《计算机程序设计技巧 第一卷:基本算法》、《计算机程序设计艺术 第二卷:半数值算法》(英文版)的部分内容也与这里的20世纪最伟大的十大算法有关系。进入21世纪Knuth好象又出版:计算机程序设计艺术:第4卷第0册组合算法与布尔函数导论; 第4卷第A册组合数学算法; 第4卷第2册生成所有元组和置换-(这是元组组合问题-每次置换也是一次组合); 第4卷第3册生成所有组合和划分; 第4卷第4册生成所有树-组合数学生成史--所以,这5本书竟然全是组合数学的;
王浩大师在哈佛大学的博士Shimon Even的为研究生教学用的著作《图论算法》(在前言说本书的工作受到1986年的图灵奖获得者John
Hopcroft、1985年的图灵奖获得者Richard
M. Karp、1986年的图灵奖获得者Robert
E·Tarjan等的影响)
再有一个支流-普林斯顿大学计算机系的创始人首任系主任Robert
Sedgewick和法国科学院院士Philippe
Flajolet的《算法分析导论》,正如计算机科学鼻祖Donald Knuth说“Sedgewick和Flajolet写的这本众人翘首以盼的教科书也因此备受欢迎。本书的作者不仅仅是这个领域的世界级专家,同时也是算法分析的布道大师。我坚信,这本书会让每一位细细品读的计算机研究人员从中获益。D.
E. Knuth”;普林斯顿大学创始系主任Robert Sedgewick还独撰《图论算法》一书,而法国院士Philippe Flajolet为第一作者撰写《Analytic
Combinatorics分析组合数学》一书(Philippe Flajolet的伟大工作可参考1978年博士毕业到1997年都在维也纳工业大学的Helmut
Prodinger和美国普渡大学Szpankowski教授1998年就已在Algorithmica算法杂志发表的介绍性论文“Philippe Flajolet's Research in
Analysis of Algorithms and Combinatorics”)。法国科学院院士总名额最多110名,不过这三本书中我只有前2本-法国院士的第3本要一千多元。
Donald Knuth的博士Vaughan Pratt的博士David Harel在80年代出版的《算法学》和上面528页等的都有些不同领域就象最后部分“更宏伟蓝图”共3章等可组成更强大广泛宏伟的蓝图(这个评论、这个评论、这个评论等等都高度评价这书,我们图论组合学科的计算机科学鼻祖Donald Knuth的这徒孙David
Harel已是美国三院院士英国皇家学会院士以色列科学院副院长刚见又担任以色列科学院院长,可别看以色列总人口仅约900万人--而我们海南省人口约1000万,可以色列的科技…就如分布在全球的以色列人总共获得162枚诺贝尔奖,约占全球诺贝尔奖总数的20%)。
当然, Thomas Cormen,Charles Leiserson,Ronald
Rivest,Clifford Stein的《算法导论》是最全面的算法书,专搞算法的或时间很充裕的就应全读,没时间就选读也行(其余作者都没甚名气但第3作者Ronald Rivest罗纳德·李维斯特的名气却震天并获得图灵奖-他的博士中最著名的Blum,Avrim的博士论文做图论着色-其父亲是诺贝尔奖得主但这小子是否志短怎跑去当一个小小的芝加哥丰田理工学院首席学术官-虽也算是全校第2号人但小地方难做大科学);还有,最近2个都是美国科学院、工程院、艺科与科学院的三院院士Jon
Kleinberg和Eva Tardos合写的《算法设计》被北京大学计算机系主任屈婉玲说这是我看到过的最好教材的并它一共12章每章都主要讲图论哈密顿图等(可知他们为啥全都成美国三院院士!这可能绝不仅有的,2个合写的都成三院院士,要知一个人既兼科学又兼工程已够难,其中第一作者Jon Kleinberg的博士论文做Disjoint Paths Problems其最长的是Disjoint哈密顿圈即哈密顿图;第二作者Eva Tardos的导师András Frank的导师László Lovász就是在这里的哈密顿图专家小Katona的导师)。
我也有麻省理工学院科学学院院长Michael Sipser的世界名著《计算理论导引》(这Michael Sipser的较年轻却是成就最大的博士Spielman,Daniel就做我的导师的图谱论而成为信息科学第8个诺贝尔奖获得者),等等:
正如图灵奖得主Nicklaus Wirth说:算法+数据结构=程序,如此,学了算法和数据结构,我就也早就有他的《算法+数据结构=程序》,以及Brian
W. Kernighan和图灵奖得主Dennis M. Ritchie的《C程序设计语言》,等等(不过, 因人生的时间有限,所从事工作在偏理论和偏动手之间,只能有所偏重,实为人生遗憾,就使你极喜好被评选为20世纪最佳12部学术专著之一的这里的我们现代哈密顿图先驱Ore的徒孙Donald
Knuth的巨著《计算机程序设计的艺术》)。
为什么我们海南琼州大学以前居世界领先的图论以及组合数学占有如此分量,这也就如施伯乐教授和蔡子经教授的《数据结构教程》共250页书中第五至第七章(第100-235页)占全书一半就专讲树和图论,树也是图论的主要领域--可见图论仅在数据结构中的应用就占其一大半作用,而图论仅是Combinatorics组合数学的一个主要分支。(而数据结构应用的广泛性就如北大许卓群等人在其《数据结构》说第十四到十八章在内容上与后续的操作系统、数据库系统课程会有一定的重叠)。 哈佛大学2个组合数学大师Andrew
Gleason和Gian-Carlo
Rota的组合数学博士Daniel I. A.
Cohen既独自写《组合数学理论基本技术》也独立撰写838页的《计算机理论导论》;并行计算-居于其核心的国家北大清华等都设有的高性能计算中心并参看全球超级计算机排行榜)。
这就因如各类计算机算法书籍等在讲算法复杂性都会优先讲中国科学院大学常务校长在这里区块链比特币的最后段的周游世界问题/以及旅行商问题/等等都是以前我们海南琼州大学居世界领先的哈密顿圈问题的一些特例问题
能举出比上面算法书更权威著名的吗?可见,深刻理解图论和组合数学,将是计算机和很多相关学科取得新的重要发展和突破的关键(也就,图论和组合数学的许多重要作用仍待人们去理解和发现,正如顶礼膜拜即算法如此之至上,是正如李国杰院士说计算机科学“成也算法,败也算法”,要知李国杰院士是中国计算机学会唯一一个在世的名誉理事长--另一名誉理事长张效祥院士2015年已逝世,可计算理论的作用也如这里见几个计算机科学之父都是主要基于它的工作而奠定他们的地位的)。
关于可计算理论和算法,可参考这个网页、以及这个网说到的3个获得图灵奖的师兄弟的计算理论书籍,及其这个网也说到另一些计算机理论书籍及其与图论关系,还有这个网的计算机理论书籍,也可参考这中国第一个组合数学研究室的下面部分的计算机理论书籍等等。