接下来就是最后的计算输出论证了。

计算输出论证，是核心算法后的逻辑完善问题，也就是论证“没有特殊因素影响下，输出为一条直线”以及“有特殊影响，输出则会出现跳转性波动”。

这一部分的逻辑并不复杂，但要证明逻辑完善却非常的困难。

在讲核心内容的时候，他已经做了基本的介绍，后续要讲解也相对简单，但是要证明逻辑完善却是一个漫长的过程。

很多理解内容的学者，也知道这一部分的论证能够很轻松的找出问题。

这就像是检查卫生。

在把学校全部打扫一遍以后，怎么确保每一个地方都是干净的？

提问者可以随意的指着一个房间，问房间是否打扫过？

除非是带着所有人，看过学校每一个房间、每一个角落，否则总会有人能提出问题。

这就是最麻烦的地方。

会议主持宣布休息二十分钟，张硕走下了讲台，卡尔瓦赫马上让出了位置，“坐下休息一会儿，接下来才是最难的。”

“但不要担心，如果提问的太多，我们会分别做回答，而且，他们不可能一直提问。”

“如果没有难住我们，会议就会接受论文。”

“虽然不能完全证明算法是正确的，但会议后相信的人会越来越多，我们可以把代码公开，就让他们去找问题吧……”

张硕轻轻点头，脑子里一直思索着。

他们都相信算法没有问题，但一直被质疑、被提问也会很被动，想要短时间证明算法的正确性，或许能用……

数学手段？！

他思考着眼睛一亮，马上想到了一个内容——跳跃方程！

跳跃方程，是一个极为特殊的偏微分方程组。

这个方程组是以利普洛斯-帕米尔方程为基础推导出