但他盯著這三行看了將近一分鐘。
因為這三行的意思，己經不再是手寫排序，而是讓機器自己搜尋排序程式。
第一個要解決的問題是，機器怎麼知道自己試對了？
這恰恰是這條路最乾淨的地方。
五個數，所有可能的亂序，一共只有一百二十種。
一百二十種，小到可以一種不漏地全列出來。
所以機器根本不需要猜某套走法對不對。
它可以把這一百二十種亂序全部丟進去，讓那套走法挨個跑一遍，只要有一種沒被捋順，這套走法就當場判死，扔掉。
這是數學意義上的乾淨。
不是我覺得它應該對，而是我把所有可能都試過了，它就是對的。
人靠首覺，會漏，會錯。
機器靠窮舉，一種都不會放過。
凌晨，第一版找程式的程式跑了起來。
它很笨，幾乎不會偷懶，只是從所有該比哪兩個的選擇裡，一層一層往下試。
每走一步，就回頭看看那一百二十種亂序，還剩多少沒被捋順。
哪條路讓混亂減少得最多，就順著那條往下走。
江臨給它定了個樸素的評判標準。
剩多少沒排對，用了幾次比較，有沒有引入岔路，有沒有破壞兩個數相等時保持原順序的規矩，有沒有把缺失的資料提前隔離出去。
沒有什麼玄乎的智慧模型。
只有最原始的三樣東西：挨個試，及時砍掉死路，把所有可能都驗一遍。
這是他這臺機器現在跑得動的全部。
第一輪結果出來，螢幕上打印出一串走法。
江臨先驗證。
一百二十種亂序，全過。
兩個數相等的情況，過。
缺失資料的隔離，過。
然後才看速度。
沒比他自己手寫的快多少，某個設定下甚至更慢。
。氣口了鬆長長而反他
。常正才這
。驗經的夜整一了熬人個一碾就來出一能可麼怎，式程的式程找版一第
。事的要重最件那了明證經己它但
。式程的確正到找己自以可，機
。題問的層一下是，快不快
。開沒開門扇這是才，到找能不能
。西東的笨很還個這養餵點點一臨江，裡間時的來下接
。對不對清分它讓是，階臺個一第
。行就舉窮，單簡最個這
。完驗地不種一能都機，種萬幾的數個八，種十二百一的數個五
。值不值清分它讓是，階臺個二第
。的好樣一是不們它，法走的同不套幾十有能可，對排數把能樣同
。間空時臨多更用佔要的有，多路岔的有，多數次較比的有
。個那的算划最出挑，裡法走的對都堆一在它讓，裡準標判評的機進寫項項一價代些這把得臨江
。煩麻最，階臺個三第
。認不認機白明它讓
。樣一不會然竟慢快，式方譯翻種一換，腦電臺一換，來起跑的真旦一可，多不差著看上紙在寫，法走套一樣同
。令指串長一的層底更的譯翻它把機是而，字行幾那上紙是不，的行執正真終最為因
。個那的快最得跑是就必未，裡機到譯翻，法走的最數次較比來起看套一
。效失底徹覺首和筆紙，層一這了到
。快更會裡機的實真在法走套一哪，清不算本人
。在所值價的大最式程找去式程讓是恰恰，這而
。量去錶秒用，跑真地套一套一以可機，事的清不算人
。你訴告後然，遍一跑個挨法走選候套萬上千把要需只它，快麼什為解理要需不它
。快最，套一這
。敵天的路條這了上撞快很也臨江但
。炸
。翻上往地倍再倍就法走的能可，點一多微稍字數
。路的有所完不試也，頭盡宙宇到試地停不刻一機怕哪，模規的大更了到，試全能還數個五
。了要重更試比就砍，候時這
。題賽競道一的過解前之起想臨江
。找裡圍範小的下剩在只，掉劃地批整批整後然，的好最是能可不本案答些哪明證先是而，遍一算都案答的能可有所把是不，鍵關的題道那
。樣一是也尋搜
。了好更能可不定註就始開步一某從，路批大一，明證先以可它但，路的有所完走能可不機
。掉扔批整，試必不都試連，路些這是於
。棄放的明聰更是而，機的快更是不的要需，好幹事件這把
。頭掉刻立，案答的有經己裡手如不還限上個這現發旦一，度程個這到能只也好最，走邊這往出算前提，口路岔個一每在
。功用無的般字數文天是，的下省
。了現出，果結的量分有正真個一第，夜深個某
。序排數個五的的矩規料資髒著帶
。後先的來原持維數的等相，後之完排證保要還，空的失缺有許允，數的等相有許允
。樣一全完不，的寫手親臨江和，法走套那的來出找機
。多樣一數次較比
。整規更構結，更路岔但
。驗去進喂種種一況髒的有所把他
。過全
。錶秒上再
。幾點二之分百了快版寫手比
。失消有沒但，了小變度幅的先領，式方譯翻種一換，機臺一換
。幾點二之分百
。掌鼓字數個這為會誰有沒，憐可點有至甚來起聽
。告報證驗的生自份一著附邊旁，案檔小的眼起不個一是只也，的裡盤在留後最，上實事
。七點二之分百快數位中度速，異差零法做準標與，過值失缺，過值等相，過序有所
。西東點麼這就
。別區質本的版寫手個那天昨和它楚清裡心臨江但
。的寫人是不，法走的亮漂套那，次一這
。的來出撈，裡能可的茫茫從，己自機是
。年多很過磨打師程工數無被，程流用通的裡庫準標
。去下了比被，裡景場的定特個一在它，在現而
。掌鼓人沒怕哪，點點一是只怕哪
。機的遍一試都能可有所把肯臺一是而，子腦的才天個某是再不也，的手
。眉起皺快很而反，久多興高幾點二之分百這為有沒他
。了小太
。事件一他訴告在果結個這是而，果結個這棄嫌是不
。小太面盤的玩它讓能，弱太事本的棄放它讓，單簡太則規戲遊的定機給他。很還法方，的對是向方
。手新的試頭埋會只，則規會學剛個像在現機
。拙笨得贏但，贏能它
。裡哪在頭盡的正真路條這了到看經己臨江而
。試去矩規死按是，機的在現
。學去頭回，裡法走套萬上千的過試去過己自從能它，天一有果如但
。了手新的試頭埋是再不就它那，慢卻來起跑，數次較比著看類一哪，歡喜別特機類一哪，快易容構結類一哪
。覺首有始開會它
。好偏的己自出長，裡局一每的過玩從再，玩去機，戲遊義定人
。齒牙了出長正真算才，事件這式程找去式程讓，候時那到
。步一那去刻立有沒臨江但
。早太還在現
。告報試測份幾，案檔小的二之分百了快個一，式程的式程找的拙笨個一有只裡手他
。門是只，果是不這
。笑可得弱都，始開一，西東的切一變改會終最多很可
