個圖,隻有31個頂點,獨立數怎麼可能大於42?”
簡瑤下意識地問,隨即反應過來,“哦,你說的是拉姆齊數R(5,5)!
我們現在構造出的這個圖,它甚至連R(4,5)的反例都算不上!”
她的思維,已經被許燃徹底帶到了一個全新的高度。
許燃搖了搖頭。
“這個模型,隻是一個玩具。
一個讓我們理解‘代數圖論’思想的玩具。”
“但這個思想,可以推廣。”
他的筆尖,在PG(2,q)的那個q上,重重一點。
“如果,我們把這個q,換成別的數字呢?
比如,q=41?
一個素數?”
“PG(2,41)……它的點數是412+41+1=1723個!”簡瑤倒吸一口涼氣。
“沒錯,所以簡單的射影平麵不夠。”
許燃的目光,變得如同黑洞般深邃,“我們需要更複雜的代數結構。
看本書最新章節,請到oop.tw
比如,用‘二次剩餘’去定義‘相鄰’關係。”
他開始在草稿紙上,寫下一連串簡瑤聞所未聞的概念。
【佩利圖P(q)】
“這又是什麼?”
簡瑤感覺自己像個好奇寶寶,完全被許燃牽著鼻子走,但她心甘情願。
“一個更純粹的代數怪物。”
許燃的眼睛裡閃著光。
“它的構造更簡單粗暴。取一個素數q,並且要求q模4餘1。”
“圖的頂點,就是有限域GF(q)裡的q個元素,從0到q-1。”
“兩個頂點x和y之間有沒有邊,隻看一件事。”
他頓了頓,用紅筆重重寫下兩個字。
“‘差值’。”
“如果x-y是GF(q)裡的‘二次剩餘’,那麼它們之間就有邊。
”。有沒就,是不果如
”?餘剩次二“
。方平的數個一另成寫被能,下義意的q模在數個一指是就,道知瑤簡詞個這
。23=22=4,24=21=1為因,餘剩次二是就4和1,下義意的5模在如比
”。對“
。圖的階14個一造構,界下的)5,5(R擊攻接直們我,如比“,頭點燃許
”。1+01*4=14且,數素個一是它為因,14=q取
”。)14(P圖利佩造構們我“
”。04,...,2,1,0是就,點頂的它“
。瑤簡向看燃許”?邊有沒有間之5點頂和2點頂“
。易容不並這現發卻,算心速迅瑤簡”……餘剩次二的14模是不是3斷判要需們我,3=2-5“
”?吧對,算難很“
。算去個一個一要需不們我,於在妙美的學數但“,笑了笑燃許
”。路了好鋪們我為就早斯高