这页说中科院软件所王振宇教授的262页专著《树的枚举与算法复杂性分析》及相关计算机领域(这书1991年由国防工业出版社出版。而因这书绝大部分内容属于这里我的导师钟集教授开设的课程的3图的计数,如此,我们读了下面树的枚举的一些国内以及其它国外论文时王振宇教授这书还没有出版,并如这里的下面3)所说我也做了一些研究和写成一些论文,但似乎我毕业后我国还再仅有这一篇论文是这方面的,如此,其后我也不再做这方面的世界前沿研究工作,这似乎以前是白白攻读了。不过,打下它的基础还是有用处的,因这学科领域对计算机科学的许多领域都有重要作用-就如这《树的枚举与算法复杂性分析》一书的内容简介说“树的枚举不仅在图论,而且是对算法设计、程序语言、编译技术、程序设计方法学、数据处理等做算法复杂性分析的有力工具”;或如这书的第10页说“将树的枚举同计算机科学联系起来的系统论述当首推D. E. Knuth的巨著-这巨著指最下面的20世纪最佳12部学术专著之一的3卷书;更直接的就如D. E. Knuth的这计算机程序设计艺术》共3卷的《计算机程序设计艺术》“第一卷基本算法”的2章中[它每一卷都分为2章编写]1章基本概念占第1-191页、第2章信息结构占第192-382页并“”部分占从第259-355[356页之后是习题答案和附录等],足见“树”占全书的几乎全部最高级部分并这“树”部分的内容编排上和王振宇的上面专著有很大对应。此外,第三卷排序和查找”的第2章“查找”部分主要涉及“树”。如此,我不仅看王振宇的上面专著并也时常翻翻看看读读记记想想现代计算机之父D. E. Knuth(也有称D. E. Knuth算机鼻祖的这3卷巨著计算机程序设计艺术》这纯粹可能只是出于对曾经情怀的回味吧还有,似可也应再提的一点是D. E. Knuth首创拓展到与计算机联系的这学科领域-其正如从下面论文看到在我国最先是由2个有点传奇色彩的专家开拓并在他俩之后全中国只有由海南琼州大学2个导师柳和曹老师更深入更全面更前沿地推进发展…并柳老师也承认我在一千多年世界最悠久悬而未决领域的16个方向都是世界最先突破却说非惊世骇俗,还如在这里下面3)所说海南琼州大学也在1990年确实就已解决了这个虽仅起于60年代的现代计算机之父的“树的枚举算法的某些世界猜想但也极艰辛使从事这项工作的情景和过程至今仍历历在目

关于王振宇教授这书也如第一章开头说“树,在图论中是一类重要的研究对象,并已有了相当长久的历史。

第二段开头说“计算机科学和信息科学的出现极大地促进了树的研究和应用。实际上,连包括树的研究在内的整个图论学科在近几十年中迅猛发展也是主要由于受了计算机科学和信息科学的有力推动。总的来说,计算机科学和信息科学中的树是由图论中的树演变过来的,它主要用来表达各种分级结构。”。

第三段开头说“在计算机科学和信息科学中树的广泛应用表现在以下几个方面:

1树作为数据和信息结构。(这方面应用是基本的普遍的)

2表示代数公式。(这方面应用也易知其必要性)

3用于表示程序结构。(这方面应用也是很熟悉的)

4用于表是语法树。(语法树是句子结构的图论表示,它代表了句子的推导结果,有利于理解句子语法结构的层次。如此,语法树和“3用于表示程序结构”的树表示不同,它多半是是由编译程序从经由正文编辑程序的源程序中识别出来的)

5表示搜索过程和博弈策略。(在许多试探性算法特别是人工智能算法中,每前进一步都面临若干种选择,而选择策略和前进“路径”的最直观表示法就是树)

即这段就讲树的这5方面的应用,当然它这里只是用了8页分别说这5方面具体是什么,其广泛应用还得看各应用领域的文献。

王振宇教授这书的中外参考文献共43,其中的国内参考文献除了他自己和他的2个研究生孙潮一、赵一心外,就再只有2个国内专家即我的导师柳柏濂教授的论文和山东大学刘家壮教授的论文(在开博的海外科学家占很大比例的科学网博客总排行榜中全球第6的陈安博主写的博客“我硕士时的导师刘家壮先生”中说这刘家壮教授是中国第一批跟华罗庚大师做当时统领全国的统筹法优选法的人、并还说这刘家壮教授的妻子毕业后受到钱学森大师的教诲但因受不了北京的高物价和两地分居才来山东做浪潮集团副总工程师,当然刘家壮教授指导在2005年之前毕业的博士已有25,这在以前从事图论的专家中可说是较多的了)

图论与下面要说的计算机软件工程的密切关系,就如Shimon Even独撰1979年出版并多次在哈佛大学、伯克利分校为研究生用的《Graph Algorithms图论算法》(3页注它是Computer Software Engineering Series即计算机软件工程系列用书之一,并其应用是广泛的如之一见Graph500的简介的下面第一段最后总结说“Graph algorithms are a core part of many analytic workloads国际超级计算大会的Graph500是由国际计算机学会IEEE联合组织的国际上评价超级计算机图计算性能最权威…)

关于我国图论组合,其发端于这视频5分钟处见说组合数学包括两个方面:一个是图论、一个是组合,图论的是华南师范大学数学系钟集教授、徐(利治)先生搞组合的,他俩商量一下就成立中国组合数学研究会,如此我读研三年多的中国第一个组合数学研究室就起中国的火车头作用-就如这里说我的导师钟集教授开设“图的计数等多门课,图的计数主要参考现代图论之父Harary和其高徒Palmer合撰的Graphical Enumeration图的计数一书正文共九章,第十章是“Unsolved problem遗留问题”其一共列出八部分问题:第一部分、2个问题;二、6个;三、8;四、10;五、6;六、4;七、4;八、6一共46个问题,迄今为止这些问题绝大部分都还没有解决!!!甚至解决的还不到1/10--使各国科学家们极为灰心、泄气、消沉、悲观、失望--我也回海南后就没有条件能再搞研究并上面王振宇的专著《树的枚举与算法复杂性分析》就仅属于Harary图的计数一书的第3章“Trees树”-是拓展之--但只要“Trees树”这章学好了就易进行拓展工作。做为我读研三年多的中国第一个组合数学研究室其作用就如为使陆家羲能更好地从事前沿研究,华南师范大学已商调好他去任教(遗憾的是其后不久他就英年早逝),并被部分人评价为成就不输陈景润的陆家羲(至少陈景润的国家一等奖是和王元、潘承洞分享而陆家羲是独享)在此之前已引起国际上的极大反响和重视而象加拿大第一大学多伦多大学甚至哈佛剑桥等也都已或计划邀请陆家羲先生去讲学或合作研究等等(不仅我的导师钟集教授,多伦多大学图论大师系主任副校长Derek G. Corneil也促成该校帮助陆家羲-我有这副校长的博士生导师Gotlieb的名著《数据类型与结构》的序说“最初,数据结构几乎和图论是同义的-当然最初是指这门学科基本成熟时的/这图论大师Derek G. Corneil校长说他的硕士导师William Kahan即计算机诺贝尔奖得主

注:关于这方面论文即在我读研究生前从事王振宇的上面专著的课题并其论文引用现代计算机之父D. E. Knuth的巨著算机程序设计艺术》的我国专家的全部论文,似乎国内除了中科院软件研究所王振宇和他的研究生的外,全国就仅有山东大学刘家壮教授1篇(刘家壮有好几篇树方面的论文但只有这篇引用D. E. Knuth的巨著)和我的母校华南师大5篇(母校这5篇分别是我的2个导师柳柏濂教授和曹汝成教授的论文),并下面这些论文每篇都只有几个参考文献但每篇都引现代计算机之父D. E. Knuth的被世界各国奉为旷世巨著”、“法圣经American Scientist评选出20世纪最佳12部学术专著之一的算机程序设计艺术3卷或其中某2卷或1卷):

1、柳柏濂,具有给定叶数的有向树、自由树的计数,科学通报,1987年第4期;(王振宇的上面专著引用我的导师柳柏濂教授的这论文

2、刘家壮,论有序树次序列间的对偶,科学通报1983年第11期;(王振宇的上面专著也引用这论文)

3、柳柏濂,具有给定叶数的T叉树的组合参数,科学通报,1987年第18期;

4、柳柏濂,具有给定叶数的T叉树的组合参数,数学物理学报,1989年第4;(正文说“Knuth[1-2]曾广泛地讨论树结构的组合性质及其在计算机科学的应用。上述概念的定义均见[1][2],其中[1-2][1][2]都是现代计算机之父Knuth2本圣经)

5、柳柏濂,有向树的几个组合问题,数学物理学报,1991年第2期;

6、曹汝成,具有给定叶数的植树、自由树的计数,科学通报,1988年第20期;(曹汝成教授是我的副导师)

7、曹汝成,具有给定叶数的么根树、么树的计数,数学杂志,1990年第4期;

8、王振宇,T叉树的几个组合问题,科学通报1983年第3期;

9、王振宇,关于树的带次数径长度问题,科学通报1983年第14期;

10、王振宇,孙潮义,树的几个计数问题,科学通报1987年第8期;

11、王振宇,树上的可加枚举问题,数学物理学报,1984年第1期;

12、孙潮义,t叉树和有序树的几个计数问题,系统科学与数学1987年第1期(王振宇教授的研究生孙潮义教授,就是武汉大学计算机学院知名校友的第8孙潮义,孙于1996年入选国家“百千万”人才工程第一层次,2003年获“全国五一劳动”奖章、是中国船舶重工集团公司第七○九研究所总工程师等(共和国勋章至今9个得主之一核潜艇之父黄旭华曾是中国船舶重工集团公司第七一九研究所副总工程师);武汉大学计算机学院知名校友的第1个张效祥2015年已逝世但现在仍一直并似乎永远是中国计算机学会首席第一名誉理事长,当然该系校友肯定少不了雷军

13、孙潮义,树结构上算法的可加复杂性与树的遍历和搜索(学位论文),1984年(备忘录:孙潮义至今的最高学位仍是凭这篇学位论文获得的硕士学位;刚也见“中船重工709所马中所长、王小非书记、孙潮义总工、曹万华副所长”出席2012年“第四届中国信息融合大会”(孙潮义总工和曹万华副所长都确实是王振宇独立指导的不同届的硕士生,如曹万华22岁时的第一篇论文是和王振宇教授合作的并2003年王教授退休前曹有一半论文也是和王教授合作的,在网上见介绍孙潮义教授至今的最高学位仍是硕士并仅发表十余篇论文/曹万华副所长的最高学位也是硕士学历并也仅有近20论文-可见不容易,并这里看到论文多的所长马中、副所长曹万华的荣誉远远不及孙潮义。这篇2007年的博士论文“MANET环境中基于移动Agent的异常行为检测与防御”的导师王小非书记是《舰船电子工程》常务主任、主任吴传利中国舰船研究院中国船舶重工集团公司第七研究院院长,编委会委员也有上面马中、孙潮义、曹万华;另一杂志《计算机与数字工程》也有他们4人。再说点这中船重工709所:1965年中南五省计算所合并为中科院中南数学计算技术与自动化研究所,1967年授部队番号为国防部第七研究院709研究所,1975年再演变为机械工业部第七研究院709研究所,1982年撤销机械工业部后改为中国船舶工业总公司第七研究院709研究所(也叫武汉数字工程研究所)。马中所长只有一篇第一作者论文“98OFT86实时容错加固计算机多机通信系统的研究与应用-马中是工程师、另一作者袁由光是高级工程师(可参考“我国第一台全容错计算机系统诞生”),具体就如袁由光的“980FT86实时容错计算机的研制”,我有这2篇论文都参考的袁由光1992年的《容错与避错技术及其应用》一书,海南琼州大学居世界领先的哈密顿图主要研究的就有王世英写的容错嵌入书内容-王世英的做哈密顿图博士的原军刚又写可靠性与故障诊断--当然图论其它领域也研究容错性如我的师兄李乔良就写出我国第一篇图论的容错性和可靠性学位论文。我也有的我国第一本容错计算专著就是袁由光的最先2篇论文的合作者陈廷槐和哈工大计算机学科创始人陈光熙副校长合写的--期刊网见仅8篇论文2篇第一作者的陈光熙是哈工大历史第3人如《八百壮士》第三卷:陈光熙、洪晶、徐邦裕,《八百壮士》第一卷·马祖光卷,《八百壮士》第二卷·雷廷权卷)。

14、王振宇,赵一心,T叉树的一个计数问题,数学物理学报1985年第2期;(除了这孙潮义和赵一心,当然象我也有他和他的湖北省政协常委的同学合写的《计算机软件方法学》等的软件工程国家重点实验室总统徐宝文也是和前2人同届的王振宇教授独立指导的3个研究生。这徐宝文也是中国计算机学会信息系统专业委员会唯一荣誉主任,并中国计算机学会软件工程委员有梅宏院士和前面孙潮义,可这徐宝文成为软件工程大师多年的20年后的2002年才在职获李未院士的博士。徐宝文也是可信软件重点实验室第一届学术委员会主席-他的委员有华东师范大学副校长周傲英等,但徐宝文最近才从东南大学来南京大学但现在搞人工智能很火使70后的周志华都在他之上。他们虽都是武汉大学计算机专业毕业,但都是从数学系发展来的。而中国首批18个博士中唯一的计算机博士更是唯一的工学博士冯玉琳和上面王振宇教授就是武汉大学数学系本科毕业的,这武汉大学数学系是海南琼州大学的师爷黄际遇师独自一人创办的并他任教的首几届学生完胜北京大学(王振宇和中国首批18位博士中就有3位是他的博士的陈希孺院士、分去709所的吴学谋并称武汉大学数学三大才子,大学毕业时校长李达亲手颁给他“成绩优等”的证书-这是武大那一届全校唯一的),其后冯玉琳的博士生导师就是中国软件工程研究的先驱和开拓者唐稚松院士如此冯玉琳撰写和唐稚松院士主编的80年代的2本软件工程著作我也有,并如2007年的导师是这孙潮义、王小非、周永丰的博士生入学考试必考数据结构与程序设计,而其它组合数学8门课只需任选一门并其中的软件工程用齐治昌副校长的并齐说“软件产业已成为和石油、汽车等传统产业并驾齐驱的支柱产业--不过除了教学文章外他的第一作者论文仅几篇并都仅在该校主办的杂志发表-不过,齐的这书还是被很多权威专家写的软件方面的书引用的。关于这方面,上面孙潮义教授领衔招考硕士研究生的专业必考软件工程

15、王振宇,Monolingual: One way towards the integrated software development environment只用一种语言的:集成软件开发环境的一种方法”,J. Comput. Sci. Tech.1989年第4期(王振宇的上面专著除这篇偏近软件工程外的全部都属于我的导师的图的计数

王振宇的上面专著的全部中文参考文献都在上面列出了,并王振宇教授一共只收录或说引用他自己的这4篇中文论文-就是上面这4篇,此外,也收录他的一些英文论文;孙潮义的也是有包括合作的一共上面3篇论文被《树的枚举与算法复杂性分析》一书收录王振宇教授还是我国Ada程序开发和软件技术先驱,并我有王振宇教授独撰1987年出版的《Ada语言与程序设计》,并如在中国知网见我国最先的有点探讨性的论文如下:

王振宇Ada程序包及其在系统程序设计中的应用,计算机科学,1982王振宇教授在论文最后说“第三节所述的计算机系统软件工程的参加者还有许多同志。在形成以上看法的过程中”)

徐家福程序设计语言Ada简介(),小型微型计算机系,1983徐家福被誉中国软件事业奠基人中国软件的开创者并培出中国第一位计算机软件学博士-指他的博士许满武,但许满武1984年才在算机软件专业毕业,而上面冯玉琳1983年意毕业专业也是算机软件并计算机软件成就远大于许)

徐家福程序设计语言Ada简介(),小型微型计算机系统,1983徐家福说我国第一个用高级语言书写的操作系统的由来是1978我是该组的召集人,北京大学杨芙清、中科院计算所仲萃豪、709王振宇。其中的仲萃豪也是冯玉琳的导师,如“缅怀第一代知名软件科学家仲萃豪

汪成为院士,浅谈崭露头角的Ada语言,系统工程与电子技,1983

B.A.Wichmann;徐宝文PascalAda的比较,计算机科学1984

史忠植Ada语言族,计算机学报,1984

李未院士,实现Ada语言任务通讯的一个高效算法,中国科学(A),1984

麦中凡Ada的过去、现在和将来——Ada主要设计者Jean Ichbiah访问记,计算机科学,1985(我也有麦中凡1986翻译出版的Grady Booch的《Ada软件工程》)

Ada国际大会见闻和印象记,王振宇,计算机科学,1985

J.F.Judge,何新贵,Ada取得满意进展,系统工程与电子技术1986

Kuo-Chung TaiA graphical notation for describing executions of concurrent Ada programs描述并发Ada程序执行的图论表示法ACM SIGAda Ada Letters1986

Kuo-Chung TaiThe tree-to-tree correction problem. J. Assoc. Comput. Mach. 26 (1979), no. 3, 422--433.

徐宝文,王振宇,Ada分别编译及其实现,计算机学报1987

徐宝文,关于Ada语言的几点修正意见,南京航空航天大学学报,1987

何新贵院士,Ada语言和Ada程序设计环境,系统工程与电子技术,1988

关于上面Shimon Even计算机软件工程系列书之一Graph Algorithms图论算法》,再附作者在序言所言“This book is meant to be a textbook of an upper level undergraduate, or graduate course. It is the result of my experience in teaching such a course numerous times, since 1967, at Harvard, University of California at Berkeley etal.. However, in order to follow Chapters 9 and 10, additional background in necessary ,namely, in theory of computation. Specifically, the students should know about Turing machine and Church’s thesis …这本书是一本高年级本科生或研究生课程的教科书。这是我自1967年以来在哈佛、加州大学伯克利分校等地多次教授此类课程的经验的结果。…。然而,为了理解第9章和第10章,还需要额外的背景知识,即计算理论。具体来说,学生应该了解图灵机器和丘奇论题…;Shimon Even在序的致谢部分只感谢他8个曾经的同事I. CederbaumM. R. GareyJohn E. HopcroftRichard M. KarpAbraham LempelAmir PnueliAdi ShamirRobert E·Tarjan,其中5个是计算机诺贝尔奖图灵奖得主);国际工程与技术科学院主席至今有3个美国人电化专家N. Bruce Hannay1978年当选,工商管理专家H. Guyford Stever1985-1987软件工程专家Wm. A. Wulf2003-后者也是美国工程院院长我有他主编的《计算机科学的基本结构》1987年中文版内容简介说“本书可作为软件专业大学生和研究生的教材”(国家技术创新奖得主Mary Shaw及其博士合作)

我粗略读过的现代计算机之父Knuth的博士即普林斯顿大学计算机系创系系主任Robert Sedgewick教授的用Pascal语言描述的1983年出版的552Algorithms算法》1990用C语言写的《算法》670)在我研究生毕业后的90年代中后期用多种语言写的第3版改编为2卷出版:第一卷是《基础、数据结构、排序和搜索》、而第二卷就是Graph Algorithms图论算法》(这也足见“图论算法”在算法中的分量和地位,而关于算法就如中国计算机学会名誉理事长李国杰说“计算机科学成也算法,败也算法”,中国工程院院长人工智能的核心关键是算法);又Robert Sedgewick1987年毕业的博士Mark A. Weiss1992已出版Data Structures and Algorithm Analysis并虽他的大学不怎样但已获许多ACMIEEE的奖及Fellow还是该院2个全校杰出教授之一(另一人S. S. IYENGAR获欧美多个院士)其荣誉比他的导师Sedgewick还大还多

关于American Scientist评选出20世纪最佳12部学术专著之一的《算机程序设计艺术》全部3分别是《计算机程序设计艺术》第一卷基本算法;《计算机程序设计艺术》第二卷半数值算法;《计算机程序设计艺术》第三卷排序和查找(关于这书,比尔·盖茨曾经在一篇报纸专栏中评价道:如果你认为自己是一名优秀的程序员,那就去读《The Art of Computer Programming(计算机程序设计艺术)》吧如果你能读完这本书,请一定要给我发一份简历。不过,誉其为现代计算机之父似有些模糊混淆概念-因“现代”这个词在不同学科有自己的不同发展阶段历程的界定;称他为“计算机鼻祖”这没有年代界限之祖就更有些不确切;称他为“算法的上帝”还似乎更合乎一些;不论如何-能写出20世纪12本最佳之一应主要源于Hall大师指导的D. E. Knuth的博士论文射影平面属于这里海南琼州大学的导师钟集教授讲授的“5、射影几何”并如Hall大师的世界名著《组合理论》的序说对1966年第一版帮助的3个教授纳什的导师A. W. Tucker、诺贝尔奖得主Hartmanis的导师Dilworth和这D. E. Knuth授,其后Knuth才写出主要基于组合数学的这3卷“圣经”,并如他的博士Pratt的博士Harel在我读研前已出版《计算精髓如此我也读此书这Harel件工程大师并已是该国人文与科学院院长

关于这学科领域之意思正如计算机鼻祖Knuth在他的博士Sedgewick的书的前言所说People who analyze algorithms have double happiness. First of all they experience the sheer beauty of elegant mathematical pattern that surround elegant computational procedures. Then they receive a practical payoff when their theories make it possible to get other jobs done more quickly and more economically