“進入20世紀以來，科學家們對四色猜想的證明根基上是遵循肯普的設法在停止。1913年，美國聞名數學家、哈佛大學的伯克霍夫操縱肯普的設法，連絡本身新的假想；證瞭然某些大的構形可約。厥後美國數學家富蘭克林於1939年證瞭然22國以下的輿圖都能夠用四色著色。1950年，溫恩從22國推動到35國。1960年，有人又證瞭然39國以下的輿圖能夠隻用四種色彩著色；隨後又推動到了50國。這類數量上的推動速率真可謂非常遲緩。”

固然孔繼道儘量說的淺近，還是不自發會引入一些數學上比較專業的觀點，這些觀點，即便冇打仗過，劉猛還是一聽就懂，不過，跟著孔繼道在便利食堂二樓開講，倒是吸引了幾個其他學院的門生在旁偷聽。

“而後，四色猜想一向停頓遲緩，直到1880年，聞名的狀師兼數學家肯普和泰勒兩人彆離提交了證明四色猜想的論文，宣佈證瞭然四色定理。大師都以為四色猜想今後也就處理了，但實在肯普並冇有證明四色題目。”

“好，那我就從處理的前厥後講，先說說這四色猜想，淺顯的說法是：每個平麵輿圖都能夠隻用四種色彩來染色，並且冇有兩個毗鄰的地區色彩不異。”

就是神經病的推論。

這會兒，幾個同窗竊保私語，大抵都猜到了和神級學霸劉猛同窗坐在一起談天的老頭兒就是孔繼玄門員，曉得本相的同窗不由得狠狠地瞪了孔繼道，看那模樣殺人的心都有了。

“追根究底是數學家的賦性。一方麵，五種色彩已充足，另一方麵，確切有例子表白三種色彩不敷。那麼四種色彩到底夠不敷呢？這就像一個淘金者，明顯曉得某處有很多金礦，成果卻隻挖出一塊銀子，你說他情願就如許歸去嗎？”

孔繼道笑嗬嗬看著劉猛，眼睛一眯，傲然地說道：“當然是采取啦，不過你小子也彆歡暢的太早，明天上午黌舍學位評定位會員的統統成員將召開一次集會，針對禮聘你為研討員的事最後一次籌議，到時候你也要插手，最好是籌辦一下。”

“1872年，英國當時最聞名的數學家凱利正式向倫敦數學學會提出了這個題目，因而四色猜想成了天下數學界存眷的題目，天下上很多一流的數學家都紛繁插手了四色猜想的大會戰。今後，這個題目在一些人中間傳來傳去，當時，三平分角和化圓為方題目已在社會上臭名昭著，而四色瘟疫又悄悄地傳播開來了。”

“得了，那我就來跟你說道說道。”孔繼道笑的很鎮靜，對於愛好數學的人來講，冇有比神侃這些數學界的八卦還風趣的事情了。

“肯普提出的另一個觀點是可約性。可約這個詞的利用是來自肯普的論證。他證瞭然隻要五色輿圖中有一國具有四個鄰國，就會有國數減少的五色輿圖。自從引入構形、可約的觀點後，慢慢生長了查抄構形以決定是否可約的一些標準體例，能夠尋求可約構形的不成製止組，是證明四色題目的首要根據。但要證明大的構形可約，需求查抄大量的細節，這是相稱龐大的。”