在整理第23题的求证过程中，沈奇遇到了新课题，他需要一种新方法，以解决线性不等式约束的广义非线性互补问题。
这个问题沈奇考虑三天三夜，无果，没有思路。
孙二雄出的第23题原题不难，无非就是求证一个雅可比行列式。
在48小时的疯狂刷题中，沈奇经历了第一次思想飞越，他突发奇想假设了一种新证法，证明这种新证法成立后，再去求证题设的雅可比行列式。
最近三天三夜，沈奇经历了第二次思想飞越，他认为之前自创的新证法还需进一步完善，解题是ok的，写成论文值得推敲的地方有不少。
不断的推翻、重建，否定、肯定，沈奇在燕大某个角落一坐就是一天，连坐三天三夜，除了吃饭睡觉上厕所。
困扰沈奇最大的课题是，基于广义互补问题构成的半光滑方程组的广义雅可比矩阵，是否存在一种算法，从而形成一个带椭球约束的线性化二次模型？
原本不难的一道高代题，被沈奇越整越复杂，越思考越深刻，深刻到他自己都没有办法解答。
数学以及一切自然科学，正是在不断的推翻与重新论证中向前发展。
有人成功了，名垂青史。
有人发疯了，送去精神病院。
沈奇饿了，他要吃饭。
恍恍惚惚的飘到食堂
133章 逻辑(3/6)