为什么用机器证明四色猜想就行·?我记得百度里说·机器作了100亿次判断···但是·这并不代表就可以说是所有的数啊·为什么就可以说被证明了呢·?

来源:学生作业学帮网 编辑:学帮网 时间:2024/06/25 12:32:36

为什么用机器证明四色猜想就行·?
我记得百度里说·机器作了100亿次判断···但是·这并不代表就可以说是所有的数啊·为什么就可以说被证明了呢·?

四色定理的机器证明,不是说证明所有的数.而是首先将所有可能的图映射到一千多个构型上,然后用机器证明了这一千多个构型全都是可4染色的.