宋河被她搞得有点紧张，马上右键后退，观察前一个脑波监测数据。
相晓桐皱眉，沉思良久，“拿纸笔来！”
宋河起身，小跑去拿来中性笔和打草纸本子，放在老师腿上。
相晓桐拿起笔迟疑片刻，哗哗地写推算，转眼间写出半页，拍在学生腿上。
宋河拿起来端详，“老师你又在验算啊？”
“KKT条件，我觉得在这一小个区域里是可以用的。”相晓桐左手撑着额头，右手的笔轻敲打草本。
“广义化拉格朗日乘数太笨拙了，这个地方老师你第一遍算的没错啊，干嘛又要回来自找麻烦呢？hj（x）的值已经可以估出来了……”宋河掏出笔唰唰书写，“计算L的偏导数设为零……”
“最佳解落在K2的边界，是个边界解，约束应该是有效的。”相晓桐把笔伸过去，龙飞凤舞地快速写步骤，“最小化g，梯度g应该指向K2的内部……”
“满足对偶可行性，这条路径等于零恒成立啊，是可以切掉的！”宋河接话。
“不不，我算的不是这个。”相晓桐继续写，“这里禁用子图是不是会影响哈密顿圈的结果？”
“为什么会影响呢？”宋河皱眉，“没见过有影响啊？”
“没见过不行，赶紧算一遍！”相晓桐捶他，“别摆烂！”
宋河嫌麻烦地叹气一声，这几天小鼠实验的预期效果迟迟不显，相老师像得了什么焦虑症一样，疑神疑鬼地一遍遍验算重算，偏偏每次验算的地方都贼复杂，算的他头都要大了。
没办法，师命难违，宋河从兜里摸出一罐心流胶囊，往嘴里塞了一粒，抬笔验算。
心流胶囊这东西对他作用不算大，因为平时学习他就能轻松进入心流状态，甚至还容易走火入魔。
不过最近几天吃药，他发现这东西有缓解脑疲劳的效果，长时间计算后的烧脑感会少很多，于是习惯了天天吃。
“这里存在一个哈密顿回路，那么顶点真子集S至少存在B的两条边，分别是入边和出边……”宋河写的飞快。
“你这里用分支切面法？”相晓桐忽然抬手指着打草纸。
“对啊，不行吗？”宋河一怔，不明白如此小儿科的问题还较真什么。
“换一下分支定界法。”相晓桐说。
“没意义啊老师，这里无论用分支切面还是分支定界，线性规划求解之后都会诞生一个附加约束嘛！”宋河懒得不想动笔。
“快算！”相晓桐拍他脑门。
宋河发出一声绝望的叹息，乖乖计算起来。
师徒俩并肩坐在电脑前，忙着算来算去，宋河懒得不想算，相晓桐也懒得不想算，但她会靠拍脑门来逼迫学生计算，于是宋河不得不满嘴怨言地忙活。