穿书后，系统偏要逼我当学霸 第237节（5 / 7）

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

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

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

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

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

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

  思路？

  什么思路？

  所有人都一头雾水。

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

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

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

  and证明的每一步合法

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

  then
↑返回顶部↑