九十六章 四色猜
“知文，瞄干嘛？参加ACM世界编程赛？”吴哲沈知文玩笑。
沈知文回话，两眼直直盯吴哲。被沈知文盯，吴哲投降。
“知文，找帮忙态度？快赶威胁。”吴哲笑。
正笑间，汪潮骂句：“挖槽。”见电脑死机黑屏。
“汪少，干什？电影？纪，别弄？”黄明海调笑汪潮。
虽玩笑话，几很奇。毕竟电脑沈知文高配，配置高，且宿舍防护沈知文吴哲编写陈序，且汪潮电脑水平低。电脑病毒被黑，汪潮连点反应。
“呸，才电影呢？运写程序，刚运。找原因。”汪潮脸色通红。妈，坏算才吧！写程序宕机，汪潮脸红才怪。
“知文帮，什鬼？”实找原因，汪潮找沈知文。
沈知文凑，仔细检查。敲确认键运，电脑依宕机。
外外检查，找毛病。运汪潮编写程序，宕机，沈知文检查代码，逻辑通，编码问题。系统报错，运。象次碰。
“汪潮，先别弄，校选拔考试快始。吴哲先考，知文先帮怎回？”黄明海间。
“嗯，先考试。“汪潮知轻重。
转身招呼吴哲：”走，阿哲！”
“吧！。”吴哲笑回。
几脸疑惑吴哲，？算什？水木放话。吴哲参加，几脸见其高校。
吴哲其几神色，知再玩笑。笑：“两院通知参加选拔考试，怕耽误网，直接参加丘赛。汪潮需，考，哟！”
“MMP！”汪潮骂声。
沈知文黄明海见吴哲参加丘赛，悬放。始调笑汪潮。
汪潮门做竖指势。
吴哲等汪潮门，始查汪潮写程序，代码问题。吴哲慢慢，逻辑洽。吴哲皱眉头思考。
“嗯？方像很眼熟啊！”吴哲眼光亮亮，找汪潮笔记本，建模思路，脑高速运转。
“知文，别忙活。应该知问题。”吴哲口。
“什问题？”沈知文问。
“呵呵，汪潮太，四指标。涨—跌—整理—震荡，再带入其它参数，其渲染结果做判断。判断像什？
“四色猜？”沈知文立马反应。“艹，汪潮怎。机器宕机怪。”
“估计反应，认逻辑洽。宕机怪。计算量太，需超算才完。”吴哲笑。
“且光搞四色问题世界性难题，涉及图论块搞西塔潘猜。知才蠢材。两证明猜拿运，且逻辑洽。回逼给证明。”吴哲狠狠。
“证明怎，1+1=2证明呢？照。再四色问题已经计算机证明吗？”黄明海旁边。
“四色问题算100亿次错已，数逻辑给证明完。”完吴哲倒兴趣，拿笔草稿纸始证明。
——————
1852，毕业伦敦格斯，科研单位搞图色工，每幅图四颜色色。象数加证明呢？吃太饱闲，格斯弟弟真研究，拉弟弟老师、著名数德·摩尔根，死几研究。
直1872，英著名数凯利正式向伦敦数提问题，四色猜世界数界关注问题，世界许流数纷纷参加四色猜战。1880候，数利归谬法证明：果张正规五色图，存张数少“极正规五色图”，果极正规五色图邻数少六，存张数较少正规图仍五色，极五色图数，存正规五色图。肯普认已经证明“四色问题”，错。
1922 费兰克林证明每至25图四颜色色。1926雷诺德将结果推广27，1938费兰克林创造31纪录。1940 温恩证明35形，方研究停滞，直1970，奥尔史坦普尔至包含40图证明四色定理。哈肯阿佩尔终证明四色定理使类结果黯失色，数字曾经达96。
1950德数希许曾估计，证明四色猜概涉及万构形。虽证明估计分夸，它却正确指明，四色问题许借助处理巨量数据强力计算装置才获解决。
1972哈肯与阿佩尔联，经整整四紧张工，终19766月三台计算机花费1200计算机，处理两千构形，才算验证四色问题立。数肯定满。
——————
吴哲先色判定问题入：设已知图g准使m颜色g结点色况，否使图任何相邻两结点具颜色呢?
【认识十老书友给推荐追书app，野果阅读！真特，车、睡靠朗读听书打间，载 www.yeguoyuedu.com 】
再m-色优化问题则求图g色整数m。整数称图g色数。求图少色问题，求m值。
for(i = 1m= n; i++)
a＾r/(a-b)(a-c)+b＾r/(b-c)(b-a)+c＾r/(c-a)(c-b)
r=0，1式值0 r=2值1 r=3值a+b+c
……
V+F-E=X§，V体P顶点数，F体P数，E体P棱条数，X§体P欧拉示性数。
果P胚（通俗理解吹胀绷球），X§=2，果P胚接h环柄，X§=2-2h。
……e-ix=x，采两式相加减方法：sinx=(eix-e-ix)/(2i)，cosx=(eix+e-ix)/2.
eix=xx取∏： e^i∏+1=0.
~~~~~~