“kkt條件，我覺得在這一小個區域里是可以用的。”相曉桐左手撐著額頭，右手的筆輕敲打草本。
“廣義化拉格朗日乘數太笨拙了，這個地方老師你第一遍算的沒錯啊，干嘛又要回來自找麻煩呢hjx的值已經可以估出來了”宋河掏出筆唰唰書寫，“計算的偏導數設為零”
“最佳解落在k2的邊界，是個邊界解，約束應該是有效的。”相曉桐把筆伸過去，龍飛鳳舞地快速寫步驟，“最小化g，梯度g應該指向k2的內部”
“滿足對偶可行性，這條路徑等于零恒成立啊，是可以切掉的”宋河接話。
“不不，我算的不是這個。”相曉桐繼續寫，“這里禁用子圖是不是會影響哈密頓圈的結果”
“為什么會影響呢”宋河皺眉，“沒見過有影響啊”
“沒見過不行，趕緊算一遍”相曉桐捶他，“別擺爛”
宋河嫌麻煩地嘆氣一聲，這幾天小鼠實驗的預期效果遲遲不顯，相老師像得了什么焦慮癥一樣，疑神疑鬼地一遍遍驗算重算，偏偏每次驗算的地方都賊復雜，算的他頭都要大了。
沒辦法，師命難違，宋河從兜里摸出一罐心流膠囊，往嘴里塞了一粒，抬筆驗算。
心流膠囊這東西對他作用不算大，因為平時學習他就能輕松進入心流狀態，甚至還容易走火入魔。
不過最近幾天吃藥，他發現這東西有緩解腦疲勞的效果，長時間計算后的燒腦感會少很多，于是習慣了天天吃。
“這里存在一個哈密頓回路，那么頂點真子集s至少存在b的兩條邊，分別是入邊和出邊”宋河寫的飛快。
“你這里用分支切面法”相曉桐忽然抬手指著打草紙。
“對啊，不行嗎”宋河一怔，不明白如此小兒科的問題還較真什么。
“換一下分支定界法。”相曉桐說。
“沒意義啊老師，這里無論用分支切面還是分支定界，線性規劃求解之后都會誕生一個附加約束嘛”宋河懶得不想動筆。
“快算”相曉桐拍他腦門。
宋河發出一聲絕望的嘆息，乖乖計算起來。
師徒倆并肩坐在電腦前，忙著算來算去，宋河懶得不想算，相曉桐也懶得不想算，但她會靠拍腦門來逼迫學生計算，于是宋河不得不滿嘴怨言地忙活。
不知不覺，一道細長的白光照在實驗臺上。
宋河回頭一看，發現居然天亮了，陽光正透過窗簾縫隙射進來。
桌面上鋪滿打草紙，已經是不知道第幾遍驗算了。
宋河放下筆抗議，“老師啊，你要自信做實驗之前咱們一起驗算過兩回了，這幾天又反反復復的驗算，這要是還能錯，數學就不存在了”
相曉桐也有些疲乏了，用手搓搓臉，嘆氣道，“那到底是哪里出了問題呢”
“哪里都沒問題，只是腦神經生長需要時間你想啊老師，倆不同的腦子，不同基因的神經元，即便被強行連接在一起，最初也得有個接觸適應的過程啊”宋河費心勸說。
“就像生騾子的過程，一匹馬和一頭驢關在一起，也不是一見面立馬就騎上去了，得等過一段時間兩頭牲口彼此熟悉了，才能放心大膽地結合啊”宋河又舉例。
相曉桐有點被說服了，起身就走，“吃飯吃完飯回來再算。”
宋河如蒙大赦，連忙跟上，他早就餓的前胸貼后背了。
兩人穿越一張張實驗臺，往大門口走去。
宋河目光漫不經心地掃過整個實驗室。
突然，他猛地停步，像瞥見什么似的扭頭定住，臉色驚疑地望向遠處。