你还缺一个必须穷举才能验证的证明
比如上面的素数 如果是一个一个算上去的 用到的状态数应该超过围棋不少吧

【 在 zszqzzzf (炼狱天使——反者道之动) 的大作中提到: 】
: 已知的最大素数，只用来当作素数用。
: 361！，得一种一种地变现，数输赢。然后累加起来，合并路径。
: 而前面：“2003年，贝内特更是总结道： 任何逻辑上不可逆的信息操纵过程，例如擦除1比特的信息，或者是合并两条计算路径，一定伴随着外部环境或者是信息存储载体以外的自由度的熵增。”
: ...................
--
FROM 106.121.137.*