然而台下的其他学生和老师们则是一脸懵逼，每一个单词他们都能听懂，可是连在一起又是什么意思？

到了这一步，似乎已经没有再待下去的必要了？

有了第一个人提前退场离开，后面陆陆续续地也有不少学生离开了学术报告厅，而这一幕他们并没有放在心上。

也还有一些出于素质和礼貌的学生并没有提前退场。

“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”

苏一的声音忽然戛然而止。

正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。

“抱歉，我好像……似乎有思路了。”

思路？

什么思路？

所有人都一头雾水。

苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。

她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。

if程序输出一个完整的数学证明

and证明的每一步合法

and结论是s确实有（或者没有）一个和为0的子集

then