三百二十六節 查錯的數學理論

錢羽之的眼神最早開始恍惚,李加奈堅持到這裡也開始走神了,只有馮珊還在聽。

“二分查找從一個有序表裡找特定值,本質是一種分治策略,也就是把一個大問題分割爲若干相似的子問題,然後要麼直接求解,要麼繼續分割。它爲什麼要求有序表?是爲了確保每次運算能夠同時求解全部子問題。舉個例子,如果升序表的中位值小於被查找值,我可以同時確保兩個結論,一,被查找值不在有序表的前一半中,二,被查找值在有序表的後一半中——那麼接下來我在有序表的後一半中重複上述操作就行了。”

“我們的問題是類似的,從概率上,首先我們可以合理地假設有且僅有1張卡是錯誤的。然後,我們每次統計已知的包含錯誤卡片的所有卡片中的一半,如果統計結果表明錯誤卡片不在這一半中,那麼一定在另一半中,反之亦然。於是我就縮小了一半的錯誤卡片‘嫌疑範圍’。我反覆進行折半操作縮小嫌疑範圍、縮小到一定程度時,問題也就不再是問題了。”

“我以前和你說過,我們現在做的穿孔卡計算機,其實際能力並不限於眼前看到的這些。剛纔我的折半操作很機械吧――總是分出一半、輸入,然後檢查結果,把包含錯卡的那疊拿來重複操作。”

“那麼如果有一天,我們設計一臺機器來代替我剛纔的重複機械操作,與製表機聯合起來就能夠完成更多的事情,很多大問題將被分解爲小問題,然後採用同一個操作流程解決。”

“把看似複雜的問題層層分解爲與原問題相似的規模較小的問題,反覆用類似的一系列機械性操作求解,讓計算機也能夠完成,這樣的思想叫做‘遞歸’。這是我們利用計算機很本質的一種思路,你們要好好思考。特別是,在思考這類問題時,不要把現有機械計算機的運行速度考慮進去,覺得還不如人力快。關鍵要想一想,在人不加以干涉的情形下,計算機僅依照規則運行能夠求解什麼問題。也就是,什麼樣的問題是計算機可以解決的,我們叫‘可計算問題’。至於速度,那不是問題――麪包會有的。”

馮諾停了下來,讓馮珊仔細咀嚼這段話,對她來說,這樣的思維模式與數學類似,但又與以前學習的數學相當不同。而李加奈和錢羽之的數學也就是四則運算的水平,要他們理解實在是有點勉爲其難。因爲昨晚都沒睡好,這時已經十分迷糊了,這番話不啻於催眠曲――迷糊間錢羽之還在納悶這事和麪包有什麼關係。

“好了,你倆睡覺去吧。我看看這張卡片究竟是怎麼回事。”馮諾把還在呆呆思考的馮珊撇在一邊,對錢羽之和李加奈說道,他一指裡間,“可以在那張牀上睡。”說完,他拿起了桌上打錯了孔的卡片。

李加奈從牀上醒來,發現錢羽之還坐在椅子上,靠着牆邊睡得正香。她環顧了一下,馮珊在工作臺邊看書邊計算着什麼,而馮元老不在房間裡,估計又去哪兒開會了。

她打着呵欠下了牀,捅了捅錢羽之,說了聲:“上牀去睡吧。”沒想到他只是哼了一聲又不動了。李加奈便用力把他拖到了牀上——說是兩人輪班,其實昨天晚上錢羽之熬夜值班的時間比她長得多。

大概是感覺到了牀上殘留的體溫,錢羽之翻了一個身,似乎想蜷進李加奈剛剛睡出的凹陷裡,繼續呼呼大睡起來。

李加奈走到了工作臺邊倒了一杯水喝。這時她看到馮珊放下書揉了揉眼睛,似乎是打算休息一會,就和她閒聊了起來。不一會,她們就說定下星期一起去參加李加奈和文理學院同學的聚會――據說還有幾位前輩也會參加。

攻關小組之後的幾天對複製機進行了反覆改進與測試,應馮諾的要求,又在複製機的穿孔機構那一排增加了一套讀卡機構,這個改動不大,但卻可以使複製機兼有部分驗證機(Verifier)的功能。複製完成後,可以改接少量配線,使機器功能變爲自動檢查兩疊卡片的穿孔是否一致,並在發現穿孔不一致時停機亮燈報警。

二分查找再快,總也比不得直接過一遍機器更快。

此外,改進後的版本還可以固定一張母卡在讀卡機構中,穿孔及驗證一疊卡片。在實際應用中,這項功能可以把一批卡片的共通孔位預先打好,減小人工打孔的工作量。

不過,雖然複製機經過改進,也修復了打錯孔的問題,卻仍會偶爾出現漏打孔的現象。最後,攻關小組降低了卡片傳動和處理速度,發現問題消失了。

“看來是繼電器反應速度的問題了。”孫立把手中的筆扔到了桌面上,“降速運行吧。”

所有人都“唰”地看向馮諾,馮諾只好無言地點了點頭。但元老們現在都練得臉皮頗厚――大家水平半斤八兩,誰也別笑話誰。尷尬很快恢復了過來,他又提出了開發譯碼機的方案。

按計劃,製表機本應集成打印和彙總穿孔的功能,出於簡化單臺機器複雜性的目的,現階段製表機沒有包含這些部分。因此馮諾打算先搞個最基本的數字譯碼機,由於不考慮拉丁字母的打印,甚至已經不能稱之爲“譯碼”,單純只是打印,其機械結構與複製機類似,無非是檢孔後激活繼電器驅動弧形字排把0-9的數字打印在卡片頂端。現在複製機算是開發完成了,譯碼機不過是水到渠成的事。

機械口的元老們覺得問題不大,答應儘快製造一臺樣機送過去。

會到這裡就散了,馮諾回到了辦公室:他想着今天還得再備備課――隨着機械計算機的進展,他覺得得深入的講授一些與軟件工程有關的數學問題了――第一代的程序員幾乎都是數學家。

他在辦公室裡處理了數據中心的日常公文,循例到機房走了一圈,做了日常的設備維護。又把“待修目錄”瀏覽了一遍,用紅鉛筆在幾個“火燒眉毛”級別的項目上打了鉤,這些只能等上完課之後犧牲睡眠時間來修理了――自從他弄了機械計算機的項目,原先的工作壓下來不少。現在徐老五已經幫他做了大多數的文書工作,本職再荒廢下去可就說不過去了。

好不容易把手頭的事情逐一處理完,他才起身到了工作間。

現在“工作間”裡已經塞的滿登登的。從機械廠製造的各種“工程樣機”塞滿了這個車間,有的則根本不是“技術會議”上的產物,而是某些動手能力強的元老的腦洞的產物――要說完全是腦洞也不盡然,因爲這些東西大致就是當年機械計算機發展過程中的不同技術思路。

工程樣機自然是不太考究的,因爲時間緊,又多是僅僅驗證設計思路是否具有工程可行性,所以在設計和製造上沒做什麼優化,秉承機械廠產品一貫的傻大黑粗不說,許多設備的零件也是外露的,一來節約製造時間,二來便於隨時查障調試。

車間裡滿是鐵嘴鋼牙的機器,地上也有不少散落的物料零件。所以馮諾一直關照自己的這三個幫工,進工作間一定要做好防護。他自己以身作則,頭戴藤編安全帽,身穿粗布工作服,腳穿勞保皮鞋。

穿過設備區,車間的另一頭是研究區,一張笨重的大號“聖船牌”12人會議桌矗立正中,桌面上堆滿了圖紙、文檔和草稿計算紙,周圍放着七八張摺疊椅。牆角是碩大的黑板架,黑板上滿是粉筆書寫的公式和數字。靠牆是一排開放式的書架,層層疊疊的塞滿了各種技術資料和參考材料――不過幾個月的時間,就累積起了這麼多的文書材料。這些材料按照企劃院的規定,都由馮珊和李加奈按類別整理裝訂起來――都是要存檔的,爲將來的技術工作者提供參考。

可是要是沒有一套高效的檢索設備的話,這些技術資料恐怕只會沉寂在大圖書館的某個角落最後被人慢慢的遺忘。想到這裡,馮諾愈發感到自己的重任在肩。

研究區的地上滿是散落的計算草稿,搞得如同老電影炮黨敗逃時候一樣。研究小組整天廢寢忘食,自然也顧不上打掃衛生。總算他們的便當盒還是每個人都洗乾淨帶走的,不然就這邋遢程度非招來老鼠不可。

馮諾一屁股在椅子上坐下,拿出一本關於離散數學的專業教材――這是臨高本地翻印的,經過真理辦公室的審覈,所以無需保密措施,可以直接插在書架上。

剛想打開,忽然看到桌子底下的字紙簍塞滿了碎紙片――不是一般的碎紙片,而是撕的粉碎的碎紙片,這不是他們常用的計算紙張,而是信紙。上面似乎還密密麻麻的寫滿了字跡。

------------------------------------------------------------------------

下次更新第七卷兩廣攻略篇53節

第四百三十三節 機構改革的風聲第2846章 村中漫步第一百七十三節 夜襲大崀圩(一)第八十七節 甜港風雲--特戰裝備二百零三節 廣州站的人們第一百零一節 民政工作第二百零八節 使者降臨第三百三十四節 廣雷合流第四百零七節 醫務科長第五十二節 新幣制第二百六十三節 秋賦(二十八)第二百八十八節 挑釁第五十六節 處理意見第二百一十一節 各懷心思第一百一十六節 賴大來了第九十一節 成果和展望二百四十一節 除舊佈新(四)第2720章 京師(七十三)第七十二節 高定客戶的異樣第2804章 岳父和女兒第一百八十八節 小商人們第二百二十六節 被捕第一百五十三節 四娘還鄉第二百一十六節 拔刀相助第一百零一節 硅鋼工作第一百二十七節 巡邏第八十三節 甜港風雲--人頭第四百一十節 東窗事發第三百節 登州城下第一百九十六節 甜高粱和海英菜第六十三節 甜港風雲--廣州的銀子二百三十六節 縣教諭二百三十六節 縣教諭第一百五十九節 非買不可第二百零五節 遲來的警示第三百六十八節 格鬥術第四百零三節 薩拉熱窩事件的延續第五十一節 黎區工作(一)第五十節 信用(二)第2805章 借宿第一百零七節 H-800型第三十節 索尼亞(九)第六十五節 進剿方略三百九十七節 相親大會(一)第四百六十一節 拍賣第二十節 兵分兩路第一百七十八節 專案組第三百四十八節 濟州新貌(一)第三十九節 於鄂水的研究第四百七十五節 小三峽第一百二十一節 騷動第八十八節 大太監第四百五十八節 特殊待遇第二百七十四節 新來的藥丸黨第一百八十三節 折衷三百四十一節 調整第二百七十四節 返回軌跡第一百二十五節 三江圩會師第一百七十二節 三良市的準備第一百一十節 埋伏(四)第二百五十六節 去梧州(五)2752.第2752章 京師(一百零五)第三十二節 點火第一百四十四節 佛山之行(十)第三百四十五節 質詢會第一百五十六節 養蠶第一百七十三節 巡航支隊第三十一節 索尼亞(十)第二個五年計劃第六十六節 甜港風雲--陰招第四百四十六節 跳幫第二十節 北美分舵第二百四十七節 京師(四)第一百九十一節 招供第一百九十八節 初到南日島第七十一節 甜港風雲--黑雲壓頂第二十四節 毒蘑菇二百零六節 海上party(三)第一百四十八節 佛山之行(十四)第一百七十二節 瓊山縣辦事處三百八十五節 初露端倪第一百二十二節 兩個縣令第一百九十八節 博鋪造船廠2757.第2757章 京師(一百一十)二百零四節 海上party(一)第十七節 澎湖第一百四十節 袼褙三百八十七節 彩排第一百五十三節 教案第二百二十八節 東南亞公司第三十九節 於鄂水的研究第八十九節 土堤激戰第四十八節 出城第2708章 京師(六十一)第二百零二節 屺母島第七十節 佔領第三十八節 下鄉筆記抄三第四十一節 食品廠續第七十一節 重建第八十八節 大太監
第四百三十三節 機構改革的風聲第2846章 村中漫步第一百七十三節 夜襲大崀圩(一)第八十七節 甜港風雲--特戰裝備二百零三節 廣州站的人們第一百零一節 民政工作第二百零八節 使者降臨第三百三十四節 廣雷合流第四百零七節 醫務科長第五十二節 新幣制第二百六十三節 秋賦(二十八)第二百八十八節 挑釁第五十六節 處理意見第二百一十一節 各懷心思第一百一十六節 賴大來了第九十一節 成果和展望二百四十一節 除舊佈新(四)第2720章 京師(七十三)第七十二節 高定客戶的異樣第2804章 岳父和女兒第一百八十八節 小商人們第二百二十六節 被捕第一百五十三節 四娘還鄉第二百一十六節 拔刀相助第一百零一節 硅鋼工作第一百二十七節 巡邏第八十三節 甜港風雲--人頭第四百一十節 東窗事發第三百節 登州城下第一百九十六節 甜高粱和海英菜第六十三節 甜港風雲--廣州的銀子二百三十六節 縣教諭二百三十六節 縣教諭第一百五十九節 非買不可第二百零五節 遲來的警示第三百六十八節 格鬥術第四百零三節 薩拉熱窩事件的延續第五十一節 黎區工作(一)第五十節 信用(二)第2805章 借宿第一百零七節 H-800型第三十節 索尼亞(九)第六十五節 進剿方略三百九十七節 相親大會(一)第四百六十一節 拍賣第二十節 兵分兩路第一百七十八節 專案組第三百四十八節 濟州新貌(一)第三十九節 於鄂水的研究第四百七十五節 小三峽第一百二十一節 騷動第八十八節 大太監第四百五十八節 特殊待遇第二百七十四節 新來的藥丸黨第一百八十三節 折衷三百四十一節 調整第二百七十四節 返回軌跡第一百二十五節 三江圩會師第一百七十二節 三良市的準備第一百一十節 埋伏(四)第二百五十六節 去梧州(五)2752.第2752章 京師(一百零五)第三十二節 點火第一百四十四節 佛山之行(十)第三百四十五節 質詢會第一百五十六節 養蠶第一百七十三節 巡航支隊第三十一節 索尼亞(十)第二個五年計劃第六十六節 甜港風雲--陰招第四百四十六節 跳幫第二十節 北美分舵第二百四十七節 京師(四)第一百九十一節 招供第一百九十八節 初到南日島第七十一節 甜港風雲--黑雲壓頂第二十四節 毒蘑菇二百零六節 海上party(三)第一百四十八節 佛山之行(十四)第一百七十二節 瓊山縣辦事處三百八十五節 初露端倪第一百二十二節 兩個縣令第一百九十八節 博鋪造船廠2757.第2757章 京師(一百一十)二百零四節 海上party(一)第十七節 澎湖第一百四十節 袼褙三百八十七節 彩排第一百五十三節 教案第二百二十八節 東南亞公司第三十九節 於鄂水的研究第八十九節 土堤激戰第四十八節 出城第2708章 京師(六十一)第二百零二節 屺母島第七十節 佔領第三十八節 下鄉筆記抄三第四十一節 食品廠續第七十一節 重建第八十八節 大太監