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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/10 20:12:09
为什么用机器证明四色猜想就行·?我记得百度里说·机器作了100亿次判断···但是·这并不代表就可以说是所有的数啊·为什么就可以说被证明了呢·?

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

为什么用机器证明四色猜想就行·?我记得百度里说·机器作了100亿次判断···但是·这并不代表就可以说是所有的数啊·为什么就可以说被证明了呢·?
四色定理的机器证明,不是说证明所有的数.而是首先将所有可能的图映射到一千多个构型上,然后用机器证明了这一千多个构型全都是可4染色的.