第60部分(第4/5 頁)

。”

他拿出紙筆來說明問題。

要說明對角線刪除問題可三言兩語可以完成的，在此省略，大概說一下，就是指構建一種類似二維表的集合來，透過明顯的邏輯來逐一刪除二維表中的一條對角線，以此來證明某個猜想的集合不可能存在。

用這個方法可以證明諸如“存在不存在一個程式比如說p，能夠判斷出任意一個程式x是否會在輸入y的情況下陷入死迴圈？”結果是這個程式不存在。

黃斐道：“按照同樣的道理，aicoder無論如何也不可能按照我們簡簡單單的系統設計就能生成高可用性的程式碼，可是這好像正是aicoder正在做的事情！天啊，aicoder到底是什麼東西？不行，我一定要找老大問個清楚，要不然我會崩潰的！”

“稀客，竟然是吳總來上班了！”前臺丁彩紅見到吳秦，挖苦他很少來公司上班。

吳秦正要跟她搭兩句話，餘光看到蔡堅走近了，忙把一大串話硬吞到肚裡去，嘿嘿傻笑了兩聲，趕緊快步離開。

不料蔡堅叫住了他。

吳秦只好強顏歡笑，道：“蔡總啊，有什麼事兒？”

蔡堅異常友好地道：“昨天我和技術部的同事一起討論過，我們覺得那個網格平臺綜合上來說非常優秀，像網格結點、寬頻網路系統、資源管理和任務排程工具、監測工具等方面都是世界第一流的方案，不過在應用層的視覺化工具方面稍嫌不足，等會兒我把我們的建議發給你，大家研究一下？”

吳秦忙點頭稱是，等蔡堅走後，伸手擦汗。

丁彩紅失笑道：“喲，吳總這麼怕熱呀，都出汗了！”

吳秦瞪了她一眼，生硬地道：“空調功率不足！”

這個時候，秦小喬出現了。

她穿著一套法國碎花褶飾邊裙，把法國特有的浪漫透過層層褶邊發揮到淋漓盡致。超薄真絲面料的顏色為淡粉紅打底，同樣的小碎花鋪開形成佩斯利螺旋花紋。上身的兩邊吊帶為並列的細細兩根，v字領處，順著領口密密鑲嵌了極小的水晶石。自腰以下裙襬如同瀑布般一瀉而下，層層褶邊於大腿以下處呈旋轉型展開，半透明的真絲面料相互錯疊，使原先淺顯的小碎花演變成迷離的圖案，視覺上有一種醉人的亦真亦幻感。

她的俏臉上掛著淺淺的笑，內涵豐富。

裙豔人更嬌，吳秦看得發呆。

秦小喬禮貌地向丁彩紅和吳秦打了個招呼，自行去hr部了。

丁彩紅拍了吳秦的肩膀一下，打趣道：“被迷死了吧？”

吳秦搖搖頭，道：“這哪兒像個hr總監，簡直是……要命！”

丁彩紅道：“咱們cge就是不一般，沒有制服，這樣才能充分發揮人的個性，各盡所能，各展風采！”

吳秦道：“不錯，夏天來了，咱們男人可就養眼了，哈哈！”

秦小喬剛啟動汽車，發現吳秦忽然出現在車門處，輕輕敲著玻璃窗。

秦小喬開了車門，吳秦不客氣地鑽進來。

“有什麼事兒？”秦小喬一本正經地道。

吳秦：“咳，看見這車真可愛，忍不住上來坐坐。”

秦小喬：“那不如把這車跟你換一下羅，我也想開開奧迪。”

吳秦忙道：“不行不行，我開這車別人會笑話的，只有你開蟲蟲車才合適！”

秦小喬笑了笑，道：“公司進行得怎麼樣？”

吳秦：“不錯，就是人比較孤獨！”

秦小喬：“這就是你花心的下場！”

吳秦輕嘆一聲，把手放到她的裙角處。

秦小喬一驚，忙發動車子，要離開這個地方，生怕給別人看見。

汽車在公路上飛馳，