不知道大家以前看到用不同颜色填涂的地图时有没有想过这样一个问题:要使相邻两个国家涂上不同的颜色,最少需要多少种颜色呢?如果我们在纸上略做尝试,应该不难发现好像只需要四种颜色就可以了。那怎么去证明呢?这个证明困扰着我们也困扰着百余年来的科学家们。但这个问题终究被解决了,而解决它的正是计算机。1976年6月,在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,做了100亿次判断,终于完成了四色定理的证明,这就是计算机的威力。
不知道大家以前看到用不同颜色填涂的地图时有没有想过这样一个问题:要使相邻两个国家涂上不同的颜色,最少需要多少种颜色呢?如果我们在纸上略做尝试,应该不难发现好像只需要四种颜色就可以了。那怎么去证明呢?这个证明困扰着我们也困扰着百余年来的科学家们。但这个问题终究被解决了,而解决它的正是计算机。1976年6月,在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,做了100亿次判断,终于完成了四色定理的证明,这就是计算机的威力。
本文标题:计算机科学与技术
本文链接:https://www.haomeiwen.com/subject/muteuktx.html
网友评论