楚皓再次前往了上京。

這次的選拔將會確定出國家隊的最終人選。

因為某些原因,去年的IMO華夏並沒有參賽,而今年在羅瑪利亞舉行的比賽華夏隊自然不會再缺席。

華夏在參加IMO以來,成績一直都十分不錯。

尤其是在進入千禧年之後,全國更是掀起了一陣奧數熱。

而華夏的國家隊也是一路披荊斬棘,各種喜訊不斷傳回。

第二階段選拔的流程和上一次不能說是一模一樣,只能說是完全相同了。

開幕式之後的第二天依舊是考試。

但現在的這些題對於楚皓而言實在沒什麼難度。

想不考滿分都難。

雖然自習課講座楚皓還是會按時參加,但他卻永遠在做著自己的事。

在臨近考試的前三天,眾人就沒見過楚皓的身影了。

此時的他正在全力證明西塔潘猜想。

經過幾個月的研究,他終於將思路理順,並且正在嘗試將其證明。

酒店房間中,楚皓正不斷轉著筆桿,他的眉頭緊皺,似乎被什麼難住了。

其實西塔潘猜想提出的時間並不長。

但在這不到十年的時間裡卻無一人能將其解決。

這也自然而然的成為了一個數學界的難題。

西塔潘猜想其實就是反推數學領域關於拉姆齊二染色定理證明強度的猜想。

在組合數學上,拉姆齊定理是要解決這樣一個問題:

要找這樣一個最小的數n,使得n個人中必定有k個人相識或l個人互不相識。

是不是很拗口?

大多數人連題目都很難理解,就不用說將其解開了。

而此時此刻,楚皓正在做的就是解開這道困擾了世界數學界將近十年的難題!

其實說是解決並不嚴謹。

楚皓現在真正要做的是否定這個猜想。

當西塔潘猜想被否定,那麼也就不攻自破,這個困擾數學家已久的猜想也就被解開。

楚皓此時坐在桌面前,似乎想到了什麼,於是指尖上旋轉的筆桿驟停,開始奮筆疾書了起來。

……

R(1,s)=1,R(2,s)=s,R(i1,i2……),R(3,3,3)=17R(3,3)=6的證明。

證明:首先在一個K6的完全圖內,每邊塗上紅或藍色,必然有一個紅色的三角形或藍色的三角形。