^2的數獨來說，每一條分支的時間複雜度是o(n^2)，所以我可以說判定一個數獨是否合法，這對於非確定圖靈機來說，是一個Np完全問題。

Np完全問題的另一種定義是能被非確定圖靈機計算的問題。”

盧赫：“照你這麼說，生命體智慧宇宙最強，那我們還造什麼高效能運算機？只要是可計算的問題，自己悟悟總能悟出來？”

艾達否：“這不矛盾。計算機是生命體造的，是一個複雜問題的子問題而已，只是有點捨本逐莫了。總之，我的想法是，物種進化等於基因突變加自然選擇，現在只有基因突變但沒有自然環境壓力，群體卻依然做出瞭如此決絕的選擇，一定有重要原因在裡面，我們應該相信自己給出的這個最優解。”

盧赫：“先不管你的理論靠不靠譜，你的意思是，基因編輯行不通，一大幅編輯就早晚幾代人一起死，介面更跟個毒藥一樣，一沾上就是慢性中毒。明知道那屎山程式碼裡有bug卻什麼都做不了，眼見著人被折磨？”

凌晨4點半的一切都令人討厭，不論是咕咕叫的肚子，還是艾達否牛啤哄哄卻沒有任何應用價值的理論。盧赫的心完全冷了下來。

可對面的人依然神采奕奕的，“你怎麼這麼死板呢？大幅編輯行不通可以小幅編輯，找到靠譜的界限就行了。介面拿去禍害經濟物種，別往自己身上用。

而且，人辛苦進化到生態位最頂端，被自然奴役了幾十萬年終於可以奴役一下自然了，為什麼要對自己動刀子？

在體外使用基因組語言，服務於科技的方方面面，它不香嗎？”

—————————————

[1-2]見下章