大概要涉及一万个不同构形
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，用计算机终于在1976年6月成功地证明了四色定理
对于这种“暴力解决”的证明方式，数学界很多知名人士并不赞同，他们认为应该用数学逻辑推理上证明它而不是选择了这种“暴力”的解决办法
这就像有人问怎么把一头大象放入冰箱，答案很简单，第一步，打开冰箱门第二步把大象推进冰箱，第三步关上冰箱门只要冰箱门够大，什么样的大象都能放入这种简单是方法就是一种“暴力”的解决办法，它并没有从逻辑上解决问题
计算机的穷举不是真正的数学证明，数学并不是一门注重结果的科目，不然也不会有那么对著名的猜想吸引着无数全世界的数学人了
看来解决“四色猜想”需要用到图论和拓扑的知识，李默看着四色猜想的证明历程，在心中盘算
1个小时...2个小时...3个小时，李默盯着眼前那内容简单的题目他终于知道为什么那么多年过去了，无数的数学家都在它身上折戟沉沙了
不知不觉已经晚上十点了，李默还是没有一点头绪，他抬起头茫然的环顾四周发现旁边座位上的那个头发有点花白的年轻人依然打着哈欠查阅着文献
“难道这就是几年后我的样子？”李默有点害怕的想到
他把书本胡乱的塞进书包，离开了图书馆外面已经漆黑一片，只有路边的小路灯放射出点点暖人的光芒
十月底的深夜已经有丝丝寒意，李默沿着小路漫无目的的散着步，旁边不时的有学生们匆匆路过
前面好像有一个湖泊，湖面上波光荡漾，一轮明月好像在湖中升起李默看着湖面，感觉到了一片平静
“滴滴...”微信上有新的消息
李默打开微信，顶着狐狸头像的英飒飒发来了消息：“李默同学你好，明天下午4：00将在自习教室501，举行你的迎新大会，望准时参加”
看来这位班长的执行效率很强，李默回复道：“收到，我将准时参加，谢谢班长（笑脸）”
李默刚打开宿舍的门，就看到胖子从床铺上探出一个脑袋，他眼睛盯着李默李默看了好久
“胖子，有事情吗”李默实在忍受不了被人这样的盯着，他直接的问道
只听胖子幽幽的问:“你什么时间和英飒飒这么熟了，她竟然为了你的迎新会跑到学工办借了教室”
李默有点摸不着头脑，只得敷衍到:“我是线性代数课才和英班长认识的，至于她专门借教室，我想是因为她是个热心的人吧”
胖子撇了李默一眼，带着一副不相信的表情钻进了被窝
宿舍里一片寂黑，李默躺在床铺上瞪着双眼
“帕杰罗”，李默在心中轻轻呼唤
灰雾弥漫，粉色的学习机出现在他眼前
点击读下一页,继续阅读 向南向东看 作品《我绑架了一个外星文明》第27章 四色猜想