(ZT)科普一下西塔潘猜想

來源: wxcfan123 2011-10-29 20:12:46 [] [舊帖] [給我悄悄話] 本文已被閱讀: 次 (1485 bytes)

引言:從網上的介紹看出,劉嘉憶破解“西塔潘猜想”就是腦筋急轉的結果。轉來此文,希望來此壇的數學家門好運。以下是正文。

根據劉嘉憶的文章題名和其它相關資料做出推測“西塔潘猜想”的內容 .最近中國學生證明“西塔潘猜想”的新聞很火,但很多報道都沒說清楚“西塔潘猜想”是什麽。我一直很好奇,維基百科上也搜不到,隻能根據劉的文章題名和其它兩篇相關資料做出推測:

劉嘉憶的論文名叫“RT_2^2 does not imply WKL”,為了理解他的工作,首先要知道“RT_2^2”和 “WKL”分別代表什麽。

“RT_2^2”代表一個定理:假設有一個無限圖,它的頂點對應全體自然數,任何兩個頂點有一條邊,現在對這些邊任意二染色,該定理斷言,無論怎麽染色,必然能找到無窮個頂點,它們之間的邊都染同一種顏色。這是無限拉姆塞定理的特例。

“WKL”代表另一個定理(Weak Konig Lemma):每一棵無限的二叉樹必定包含一條無限長的分支。 解釋一下:二叉樹是指每個節點最多有兩個兒子節點的樹;無限二叉樹是指該樹有無限個節點;包含一條無限長的分支是指存在一條路徑,從該樹的根節點往子節點走,能無限地走下去。這個定理很好理解,不難想象如果二叉樹的任意分支都有限長,那麽樹的節點必定是有限的。

劉的工作顧名思義,就是證明定理“RT_2^2”推不出定理“WKL”。所謂的西塔潘猜想估計就是指猜測“RT_2^2能推出WKL”。

本文轉自

http://www.cnbeta.com/articles/158406.htm

劉的論文

http://wenku.baidu.com/view/85d84bc14028915f804dc2e3.html Jiayi Liu, RT_2^2 does not imply WKL

所有跟帖: 

西塔潘不出名,好象離開學界了. -jinjing- 給 jinjing 發送悄悄話 (194 bytes) () 11/05/2011 postreply 11:09:28

加跟帖:

當前帖子已經過期歸檔,不能加跟帖!