第161章 都說了要開通風櫥！(3/4)
第160章 都說了要開通風櫥！(3/4)
兩個小姑娘興致勃勃地讓岑言去買了一堆模具和材料。
「這些是側墊片，夾板和配套的螺絲螺母，備份的在這邊，小心點用哈，這些模具可不便宜————」
岑言把快遞里的模具和耗材都取出來。
還好自己是回到2015年，網購已經很火熱了，這時候啥都能在網上買到。
實驗器材自然也可以。
正負極材料，隔膜，模具等等，就連用來給梁曉鷗他們配置6MKOH電解液的KOH粉末都能買得到。
這條件。
也虧國內沒有多少人喜歡拉瓦錫和諾貝爾的，不然輕輕鬆鬆自製新型土炸彈。
自己要是回到05年。
想採購這些東西，可就得跑東跑西了。
也不對。
回到05年，自己個半大孩子能幹嘛？
拋開雜念。
岑言看著跟拿到了新玩具的小孩一樣歡天喜地的梁曉鷗和白棠，又忍不住多交代了幾句。
「做實驗的時候記得在通風櫥里做啊，要開，電極要保證乾燥清潔，別短路了，做的時候得確認正負極————」
岑言覺得自己又回到了當帶教牛馬大師兄的時代，婆婆媽媽的囉嗦得很。
「知道了，知道了，我們沒問題的！」
梁曉鷗已經迫不及待的想要驗證由她親手設計的實驗流程了。
能做實驗。
不管是什麼實驗。
白棠都是充滿興趣的。
她也很想知道，在沒有岑言演示的情況下，由自己來親自上手從零開始做實驗會是什麼樣的？
然後————
（由於緩存原因，請用戶直接瀏覽器訪問 TW 看書網藏書廣，𝓼𝓱𝓾.𝓽𝔀超實用 網站，觀看最快的章節更新）
岑言坐在電腦前。
他正在給自己準備對拍程序。
對拍是一種自動化測試方法，簡單來說就是通過生成隨機輸入數據，同時運行暴力程序和優化程序，來比較兩者輸出結果是否一致。
這樣在競賽賽場上能夠自動生成大量的測試數據，也可以針對性的生成邊界數據，進行自動化驗證，減少失誤。
畢竟在比賽的時候。
手動輸入數據找bug的效率很低，尋找邊界情況的時候也容易遺漏。
再加上競賽的壓力和平時練習的壓力完全不一樣，很容易因為緊張而出現很基礎的易錯點。
最基礎的小學生級對拍，就是先準備一個慢辦法程序，例如從1數到100，每個數都驗證一下，這樣能保證正確，但是很慢，再準備一個快辦法程序，測試你想測試的優化解法，最後再加個數據生成器。
用批處理腳本運行，一旦快辦法出錯，程序就會自動停止報錯。
而競賽級別的對拍程序。
則是會用專業級的數據生成器和。帶時間控制的Linu對拍腳本。
使用for循環實現多組數據測試，timeout命令實現超時檢測，ulimit—v限制實現內存檢測，最後用分段生成加合併的方式完成大數據生成。
這在NOIP和ACM這樣標準賽事裡都是完全通用的。
競賽隊的教練們為隊員們準備的對拍程序一般就是這樣的。
不過岑言自己做了點優化。
首先是對對拍策略的優化。
通過先測試小程序，再逐步增大的優先級測試，和專門生成讓程序崩潰的定向爆破測試，來快速尋找漏洞。
並且通過同時對比三個版本程序的多程序對拍，來降低錯驗可能。
最後通過自動bisect找出最小出錯樣例，完成自動化調試。
甚至針對交互題，他也編寫了交互腳本，針對SPJ題（SpecialJudge答案不唯一的特殊評測程序），也有修改比較腳本，調用SPJ程序判斷。
總而言之。
岑言幾乎是以一己之力，點對點級別地完成了一個自帶的評測系統。
雖然他還沒有完全投入使用。
甚至還沒完全寫完。
但是基本上，目前的幾組題目測試來看，他的思路是正確的。
這就相當於岑言自帶答案驗證器。
也意味著他有另一種比賽取巧的手段。
暴力破題。
當一道算法題擺在你面前，你一時間想不起最正確的解決方案的時候。
你應該怎麼做？
正確的答案是。
只要讓程序輸出你想讓它輸出的答案即可。
但這又涉及了計算機編程比賽賽制的不同。
ACM賽制和0I賽制是不同的。
以ICPC為代表的ACM賽制，比賽時會有提交反饋，實時排名，計分方式只有全有或全無，以正確題數和時間給分。
而以N0I為代表的0I賽制，則是沒有提交反饋和實時排名，計分方式按點給分，以分數來決定排名。
也就是oi賽制的每道題都有多個測試點，答對了幾個測試點，就給相應百分比的分數。
而對拍程序，在兩種賽制中都有用。
因為ACM賽制的答案提交報錯會導致罰時扣分，而0I賽制的答案提交沒有得分反饋，一旦出錯，很有可能整題爆「0」。
岑言的優化版對拍解決了這個問題。
他想要暴力破題的話。
只需要讓自己的程序在對應的測試點能夠輸出對應的測試內容，那他就有分。
他完成這樣的對拍程序。
靠的倒不是自己的題庫模型。
在算法競賽的題庫模型這一塊，其實有人走得比岑言更早，也更專業。
這也是岑言把人家洛谷題庫的題和錯誤案例給扒了的理由。
正當岑言在繼續完善自己的對拍，陶醉在自己N0I斬金的美夢時。
「砰！」
在白棠和梁曉鷗做實驗的地方，突然發出了一聲悶響。
把岑言嚇了一跳。
「怎麼了怎麼了？！發生了什麼？」
那可是兩位寶貝疙瘩啊。
萬一出了什麼事情，他們的家長不得把自己的皮給扒了呀？
岑言立馬起身，把身下的椅子都撞倒了。
他急匆匆的跑到通風櫥那邊。
只看著白棠和梁曉鷗嚇得一動不動。
一眼掃過去。
她們倆戴著護目鏡和耐鹼手套，還穿著實驗服，看樣子沒什麼大礙。
可實驗台上竟然冒出了煙霧。
臥槽？！
她們兩幹了什麼？
可實驗台上的煙霧並沒有流動，而是在原位緩慢的升騰。
通風櫥呢？！
都說了要開通風櫥！
岑言拳頭都硬了，但這個時候並不是給這兩個憨貨一人一拳的時候。
他立馬把兩人拉到身後。
快速地處理起這起特殊事故。
>
兩個小姑娘興致勃勃地讓岑言去買了一堆模具和材料。
「這些是側墊片，夾板和配套的螺絲螺母，備份的在這邊，小心點用哈，這些模具可不便宜————」
岑言把快遞里的模具和耗材都取出來。
還好自己是回到2015年，網購已經很火熱了，這時候啥都能在網上買到。
實驗器材自然也可以。
正負極材料，隔膜，模具等等，就連用來給梁曉鷗他們配置6MKOH電解液的KOH粉末都能買得到。
這條件。
也虧國內沒有多少人喜歡拉瓦錫和諾貝爾的，不然輕輕鬆鬆自製新型土炸彈。
自己要是回到05年。
想採購這些東西，可就得跑東跑西了。
也不對。
回到05年，自己個半大孩子能幹嘛？
拋開雜念。
岑言看著跟拿到了新玩具的小孩一樣歡天喜地的梁曉鷗和白棠，又忍不住多交代了幾句。
「做實驗的時候記得在通風櫥里做啊，要開，電極要保證乾燥清潔，別短路了，做的時候得確認正負極————」
岑言覺得自己又回到了當帶教牛馬大師兄的時代，婆婆媽媽的囉嗦得很。
「知道了，知道了，我們沒問題的！」
梁曉鷗已經迫不及待的想要驗證由她親手設計的實驗流程了。
能做實驗。
不管是什麼實驗。
白棠都是充滿興趣的。
她也很想知道，在沒有岑言演示的情況下，由自己來親自上手從零開始做實驗會是什麼樣的？
然後————
（由於緩存原因，請用戶直接瀏覽器訪問 TW 看書網藏書廣，𝓼𝓱𝓾.𝓽𝔀超實用 網站，觀看最快的章節更新）
岑言坐在電腦前。
他正在給自己準備對拍程序。
對拍是一種自動化測試方法，簡單來說就是通過生成隨機輸入數據，同時運行暴力程序和優化程序，來比較兩者輸出結果是否一致。
這樣在競賽賽場上能夠自動生成大量的測試數據，也可以針對性的生成邊界數據，進行自動化驗證，減少失誤。
畢竟在比賽的時候。
手動輸入數據找bug的效率很低，尋找邊界情況的時候也容易遺漏。
再加上競賽的壓力和平時練習的壓力完全不一樣，很容易因為緊張而出現很基礎的易錯點。
最基礎的小學生級對拍，就是先準備一個慢辦法程序，例如從1數到100，每個數都驗證一下，這樣能保證正確，但是很慢，再準備一個快辦法程序，測試你想測試的優化解法，最後再加個數據生成器。
用批處理腳本運行，一旦快辦法出錯，程序就會自動停止報錯。
而競賽級別的對拍程序。
則是會用專業級的數據生成器和。帶時間控制的Linu對拍腳本。
使用for循環實現多組數據測試，timeout命令實現超時檢測，ulimit—v限制實現內存檢測，最後用分段生成加合併的方式完成大數據生成。
這在NOIP和ACM這樣標準賽事裡都是完全通用的。
競賽隊的教練們為隊員們準備的對拍程序一般就是這樣的。
不過岑言自己做了點優化。
首先是對對拍策略的優化。
通過先測試小程序，再逐步增大的優先級測試，和專門生成讓程序崩潰的定向爆破測試，來快速尋找漏洞。
並且通過同時對比三個版本程序的多程序對拍，來降低錯驗可能。
最後通過自動bisect找出最小出錯樣例，完成自動化調試。
甚至針對交互題，他也編寫了交互腳本，針對SPJ題（SpecialJudge答案不唯一的特殊評測程序），也有修改比較腳本，調用SPJ程序判斷。
總而言之。
岑言幾乎是以一己之力，點對點級別地完成了一個自帶的評測系統。
雖然他還沒有完全投入使用。
甚至還沒完全寫完。
但是基本上，目前的幾組題目測試來看，他的思路是正確的。
這就相當於岑言自帶答案驗證器。
也意味著他有另一種比賽取巧的手段。
暴力破題。
當一道算法題擺在你面前，你一時間想不起最正確的解決方案的時候。
你應該怎麼做？
正確的答案是。
只要讓程序輸出你想讓它輸出的答案即可。
但這又涉及了計算機編程比賽賽制的不同。
ACM賽制和0I賽制是不同的。
以ICPC為代表的ACM賽制，比賽時會有提交反饋，實時排名，計分方式只有全有或全無，以正確題數和時間給分。
而以N0I為代表的0I賽制，則是沒有提交反饋和實時排名，計分方式按點給分，以分數來決定排名。
也就是oi賽制的每道題都有多個測試點，答對了幾個測試點，就給相應百分比的分數。
而對拍程序，在兩種賽制中都有用。
因為ACM賽制的答案提交報錯會導致罰時扣分，而0I賽制的答案提交沒有得分反饋，一旦出錯，很有可能整題爆「0」。
岑言的優化版對拍解決了這個問題。
他想要暴力破題的話。
只需要讓自己的程序在對應的測試點能夠輸出對應的測試內容，那他就有分。
他完成這樣的對拍程序。
靠的倒不是自己的題庫模型。
在算法競賽的題庫模型這一塊，其實有人走得比岑言更早，也更專業。
這也是岑言把人家洛谷題庫的題和錯誤案例給扒了的理由。
正當岑言在繼續完善自己的對拍，陶醉在自己N0I斬金的美夢時。
「砰！」
在白棠和梁曉鷗做實驗的地方，突然發出了一聲悶響。
把岑言嚇了一跳。
「怎麼了怎麼了？！發生了什麼？」
那可是兩位寶貝疙瘩啊。
萬一出了什麼事情，他們的家長不得把自己的皮給扒了呀？
岑言立馬起身，把身下的椅子都撞倒了。
他急匆匆的跑到通風櫥那邊。
只看著白棠和梁曉鷗嚇得一動不動。
一眼掃過去。
她們倆戴著護目鏡和耐鹼手套，還穿著實驗服，看樣子沒什麼大礙。
可實驗台上竟然冒出了煙霧。
臥槽？！
她們兩幹了什麼？
可實驗台上的煙霧並沒有流動，而是在原位緩慢的升騰。
通風櫥呢？！
都說了要開通風櫥！
岑言拳頭都硬了，但這個時候並不是給這兩個憨貨一人一拳的時候。
他立馬把兩人拉到身後。
快速地處理起這起特殊事故。
>