對(duì)AI、以及整個(gè)計(jì)算領(lǐng)域影響深遠(yuǎn)的十位算法大師

算法是整個(gè)計(jì)算機(jī)科學(xué)的基石，是計(jì)算機(jī)處理信息的本質(zhì)。 從開創(chuàng)算法分析這一領(lǐng)域的高德納、Amazon的“首席算法官”烏迪·曼伯爾，到發(fā)明快速排序算法托尼.霍爾，本文介紹了對(duì)AI、以及整個(gè)計(jì)算領(lǐng)域影響深遠(yuǎn)的十位算法大師。

Don E.Knuth 高德納

算法和程序設(shè)計(jì)技術(shù)的先驅(qū)者。Oh,God!一些國(guó)外網(wǎng)站這樣評(píng)價(jià)他。一般說(shuō)來(lái)，不知道此人的程序員是不可原諒的。其經(jīng)典著作《計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)》更是被譽(yù)為算法中“真正”的圣經(jīng)，像KMP和LR(K)這樣令人不可思議的算法，在此書比比皆是。難怪連 Bill Gates都說(shuō)：“如果能做對(duì)書里所有的習(xí)題，就直接來(lái)微軟上班吧！”

對(duì)于Don E.Knuth本人，一生中獲得的獎(jiǎng)項(xiàng)和榮譽(yù)不計(jì)其數(shù)，包括圖靈獎(jiǎng)，美國(guó)國(guó)家科學(xué)金獎(jiǎng)，美國(guó)數(shù)學(xué)學(xué)會(huì)斯蒂爾將（AMS Steel Prize），以及發(fā)明先進(jìn)技術(shù)榮獲的極受尊重的京都獎(jiǎng)（KyotoPrize）等等，寫過(guò)19部書和160余篇論文，每一篇著作都能用影響深遠(yuǎn)來(lái)形容。 同時(shí)也是世上少有的編程達(dá)到40年以上的程序員之一。他除了是技術(shù)與科學(xué)上的泰斗外，更是無(wú)可非議的寫作高手，技術(shù)文章堪稱一絕，文風(fēng)細(xì)膩，講解透徹，思路清晰而且沒有學(xué)究氣，估計(jì)這也是《計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)》被稱為圣經(jīng)的原因之一。

Udi Manber 烏迪·曼伯爾

他是首席算法官，世界上還有如此奇怪的職位？但是對(duì)于Amazon乃至Google來(lái)說(shuō)，這一點(diǎn)也不奇怪。Udi Manber，這位前Amazon的“首席算法官”，現(xiàn)在是Google負(fù)責(zé)工程事務(wù)的副總裁。他研究WWW的應(yīng)用程序、搜索以及隱藏在這背后的算法設(shè)計(jì)。在此期間，他與其他人共同開發(fā)了Agrep、Glimpse和Harvest等Unix上的搜索軟件。1998年，Udi成為了Yahoo!的首席科 學(xué)家。2002年，Amazon創(chuàng)造性地給了Udi“首席算法官”的職位，和Udi為Amazon的“SearchInside the Book”搜索項(xiàng)目所做的工作相得益彰。

Edsger Wybe Dijkstra 艾茲格·迪科斯徹

1930年出生于荷蘭阿姆斯特丹，2002年逝世于荷蘭紐南。他在祖國(guó)荷蘭獲得數(shù)據(jù)和物理學(xué)學(xué)士，理論物理博士學(xué)位，2000年退休前一直是美國(guó)Texas大學(xué)的計(jì)算機(jī)科學(xué)和數(shù)學(xué)教授。以發(fā)現(xiàn)了圖論中的最短路徑算法（Dijkstra算法）而聞名于世，1972年因?yàn)锳LGOL第二代編 程語(yǔ)言而獲得圖靈獎(jiǎng)?！癎o To StatementConsidered Harmful”(EWD215)也是被廣為傳頌的經(jīng)典之作。除了科學(xué)研究之外，他最喜歡做的事情就是教學(xué)，被人稱作“一天教學(xué)24小時(shí)”的教授。

且不說(shuō)Dijkstra算法對(duì)計(jì)算科學(xué)，網(wǎng)絡(luò)科學(xué)發(fā)展的深遠(yuǎn)影響，單從他在1972年獲得圖靈獎(jiǎng)時(shí)的演講“The Humble Programmer”就不得不肅然起敬，在獲得計(jì)算機(jī)科學(xué)中至高無(wú)上的獎(jiǎng)項(xiàng)時(shí)，Edgs Wybe Dijkstra仍然稱自己不過(guò)是一個(gè)謙遜普通的程序員，何等胸襟，舉世之中幾人可比。

George Dantizig 喬治·伯納德·丹齊格

運(yùn)籌學(xué)大師，由他父親一手培養(yǎng)出的天才。George的父親是俄國(guó)人，曾在法國(guó)師從著名的科學(xué)家Henri Poincar e。他曾經(jīng)這樣回憶自己的父親：“在我還是個(gè)中學(xué)生時(shí)，他就讓我做幾千道幾何題……解決這些問(wèn)題的大腦訓(xùn)練是父親給我的最好禮物。這些幾何題，在發(fā)展我分析能力的過(guò)程中，起了最最重要的作用?！?/p>

在伯克利學(xué)習(xí)的時(shí)候，有一天George上課遲到，只看到黑板上寫著兩個(gè)問(wèn)題，他只當(dāng)是課堂作業(yè)，隨即將問(wèn)題抄下來(lái)并做出解答。六個(gè)月后，這門課的老師 ——著名的統(tǒng)計(jì)學(xué)家Jerzy Neyman——幫助他把答案整理了一下，發(fā)表為論文，George這才發(fā)現(xiàn)自己解決了統(tǒng)計(jì)學(xué)領(lǐng)域中一直懸而未決的兩個(gè)難題。

George后來(lái)在運(yùn)籌學(xué)建樹極高，獲得了包括“馮諾伊曼理論獎(jiǎng)”在內(nèi)的諸多獎(jiǎng)項(xiàng)。他在Linearprogramming and extensions一書中研究了線性編程模型，為計(jì)算機(jī)語(yǔ)言的發(fā)展做出了不可磨滅的貢獻(xiàn)。天妒英才，他于2005年5月13日去世。

James Cooley

美國(guó)數(shù)學(xué)家，哥倫比亞大學(xué)的數(shù)學(xué)博士，以他所創(chuàng)造的快速傅立葉變換(FFT)而著名，不能不說(shuō)是意義極其重大，F(xiàn)FT的數(shù)學(xué)意 義不光在于使大家明白了傅立葉(Fourier)變換計(jì)算起來(lái)是多么容易，而且使得數(shù)字信號(hào)處理技術(shù)取得了突破性的進(jìn)展，對(duì)于現(xiàn)在的網(wǎng)絡(luò)通信，圖形圖像處理等等領(lǐng)域的發(fā)展與前進(jìn)奠定了基礎(chǔ)。Fourier變化的意義在于將電能變?yōu)榱?a target="_blank">工業(yè)的命脈，而FFT的意義更是在于他推動(dòng)了整個(gè)社會(huì)信息化的進(jìn)程。在 IBM研究中心中主要從事數(shù)字信號(hào)處理的研究一直到1992年退休，同時(shí)他還是IEEE的數(shù)字信號(hào)處理委員會(huì)的成員。1980年獲得ASSP's Meritorious Service Award,1984年獲得ASSP Society Award以及IEEE Centennial Medal。

John Backus 約翰·巴克斯

FORTRAN之父，早年在Hill School學(xué)習(xí)的時(shí)候因?yàn)橛憛拰W(xué)習(xí)，成績(jī)一踏糊涂而不得不在暑假補(bǔ)課。1943年他在父親的要求下到維吉尼亞大學(xué)學(xué)習(xí)化學(xué)，隨后參軍、照顧頭部受傷的傷員、在醫(yī)學(xué)學(xué)校學(xué)習(xí)治療，可是最后又都放棄了。不過(guò)還好，戰(zhàn)后Backus進(jìn)入紐約哥倫比亞大學(xué)學(xué)習(xí)數(shù)學(xué)，并于1949年畢業(yè)。在畢業(yè)前夕，他跑到了麥迪遜大街的IBM計(jì)算機(jī)中心參觀。事情湊巧，和導(dǎo)游聊天的時(shí)候Backus談到自己正在找工作，在導(dǎo)游的鼓勵(lì)下，他和中心一位主管的面談，成為了一名IBM?的程序員。

在IBM，Backus的才華得到了施展，發(fā)明了人類歷史上第一個(gè)高級(jí)語(yǔ)言——FORTRAN。接著，又提出了規(guī)范描述編程語(yǔ)言語(yǔ)法的BNF。這位當(dāng)年的“差生”終于被整個(gè)計(jì)算機(jī)世界肯定——美國(guó)計(jì)算機(jī)協(xié)會(huì)于1977年授予John Backus圖靈獎(jiǎng)。

Jon Bentley

他寫作過(guò)三本編程書籍，其中最著名的就是涵蓋從算法理論到軟件工程各種主題的Programming Pearls(《編程珠璣》)，這其實(shí)是他發(fā)表過(guò)的文章的合集。在這些文章里，Jon從工程實(shí)現(xiàn)的角度出發(fā)，為程序員們提供了一個(gè)個(gè)艱難問(wèn)題的解決方案， 猶如一顆顆閃閃發(fā)亮的珍珠。Bentley的珍珠超出了可靠工程學(xué)的范疇，利用他的洞察力和創(chuàng)造力為那些惱人的問(wèn)題提供了獨(dú)特而巧妙的解決方案。

Nicklaus Wirth 尼古拉斯·沃斯

Pascal之父，如果說(shuō)有一個(gè)人因?yàn)橐痪湓挾玫搅藞D靈獎(jiǎng)，那么這個(gè)人應(yīng)該就是NicklausWirth，這句話就是他提出的著名公式“算法+數(shù)據(jù)結(jié)構(gòu)=程序”。這個(gè)公式對(duì)計(jì)算機(jī)科學(xué)的影響程度足以類似物理學(xué)中愛因斯坦的“E=MC^2”——一個(gè) 公式展示出了程序的本質(zhì)。

Nicklaus Wirth，1934年出生于瑞士，1963年在加州大學(xué)伯克利分校取得博士學(xué)位。取得博士學(xué)位后直接被以高門檻著稱的斯坦福大學(xué)聘到剛成立的計(jì)算機(jī)科學(xué) 系工作。在斯坦福大學(xué)成功的開發(fā)出Algol W以及PL360后，愛國(guó)心極強(qiáng)的Nicklaus Wirth于1967年回到祖國(guó)瑞士，第二年在他的母校蘇黎世工學(xué)院他創(chuàng)建與實(shí)現(xiàn)了Pascal語(yǔ)言——當(dāng)時(shí)世界上最受歡迎的語(yǔ)言之一。后來(lái)他的學(xué)生 Philipe Kahn畢業(yè)后和Anders Hejlsberg(Delphi之父)創(chuàng)辦了Borland公司靠Turbo Pascal起家，很快成為了將Borland發(fā)展成為全球最大的開發(fā)工作廠商，這一切都不得不說(shuō)要?dú)w工于PASCAL語(yǔ)言的魅力。PASCAL已經(jīng)影響 了整整幾代的程序員，Nicklaus Wirth的思想還將會(huì)繼續(xù)指引現(xiàn)在和以后的程序員前進(jìn)的方向。

Robert Sedgewick 羅伯特·塞奇威克

算法的講解者——是普林斯頓大學(xué)的計(jì)算機(jī)科學(xué)教授。他還是Adobe Systems的一名主管，也曾作為訪問(wèn)學(xué)者在Xerox PARC、IDA和INRIA工作。他在斯坦福大學(xué)獲得博士學(xué)位。他的著作包括Algorithm in C、Algorithm in C++、Algorithm in Java等系列書籍，這些都再版多次?！皼]有人能夠?qū)⑺惴ê蛿?shù)據(jù)結(jié)構(gòu)解釋得比Robert Sedgewick更清楚易懂了！”很多讀過(guò)他著作的程序員這樣說(shuō)。

目前Robert正在研究算法設(shè)計(jì)、數(shù)據(jù)結(jié)構(gòu)、算法分析等方面的基礎(chǔ)理論。他善于通過(guò)數(shù)學(xué)方法評(píng)估和預(yù)測(cè)算法性能，設(shè)法發(fā)現(xiàn)算法、數(shù)據(jù)結(jié)構(gòu)的通用機(jī)制，例如使用逼近方法尋找更快速更高效的算法。另外，他還將算法和圖形學(xué)結(jié)合 起來(lái)，例如使用可視化方法評(píng)估算法效率，算法的圖形化模擬，用于出版物的高質(zhì)量算法表現(xiàn)方法等等。

Tony Hoare 托尼.霍爾

計(jì)算機(jī)領(lǐng)域的爵士，1934年出生于英國(guó)，1959年博士畢業(yè)于俄羅斯莫斯科國(guó)立大學(xué)，獲得語(yǔ)言機(jī)器翻譯專業(yè)學(xué)士學(xué)位。1960年發(fā)布了使他聞名于世的快速排序算法（Quick Sort），這個(gè)算法也是當(dāng)前世界上使用最廣泛的算法之一。

Tony Hoare在取得博士學(xué)位后，就職于Elliott Brothers，領(lǐng)導(dǎo)了Algol 60第一個(gè)商用編譯器的設(shè)計(jì)與開發(fā)，由于其出色的成績(jī)，最終成為該公司首席科學(xué)家。從1977年開始，Tony Hoare博士任職于牛津大學(xué)，投身于計(jì)算系統(tǒng)的精確性的研究、設(shè)計(jì)及開發(fā)。因其對(duì)Algol 60程序設(shè)計(jì)語(yǔ)言理論、互動(dòng)式系統(tǒng)及APL的貢獻(xiàn)，1980年被美國(guó)計(jì)算機(jī)協(xié)會(huì)授予“圖靈獎(jiǎng)”。

1999年在牛津大學(xué)退學(xué)后，Tony Hoare博士被微軟劍橋研究院聘請(qǐng)擔(dān)任高級(jí)程序員，從事微軟劍橋研究院研究生成果的工業(yè)化應(yīng)用的工作，以及協(xié)助其它研究人員進(jìn)行服務(wù)于軟件產(chǎn)業(yè)及用戶的長(zhǎng)期基礎(chǔ)研究項(xiàng)目。2000年因?yàn)槠湓谟?jì)算機(jī)科學(xué)與教育上做出的貢獻(xiàn)被封為爵士。