這……這就和‘兩點確定唯一一條直線’的公理矛盾了!”
她激動得臉頰通紅,指著自己的推導,像個得到了糖果的孩子。
“所以,任意五個點,必然有至少三個點是共線的!
既然有三點共線,那它們在我們的圖G裡,就必然不是一個K5子圖!
因為共線的點之間沒有邊!”
“結論:我們的圖G,無K5子圖!”
當她得出這個結論時,一種前所未有的,巨大而純粹的成就感,淹沒了她。
這比她過去解出任何一道難題,都要快樂!
因為這不是她一個人的勝利,這是她和許燃,兩個人思想碰撞、共同鑄劍的結果!
她抬起頭,看向身邊那個平靜的少年,美眸中,水光流轉,異彩漣漣。
“下一個,證明它的獨立數,不大於42……”
許燃的聲音沒有停歇,將她從那異樣的情緒中拉了回來,帶入了下一個更深邃的挑戰。
“這個圖,只有31個頂點,獨立數怎麼可能大於42?”
簡瑤下意識地問,隨即反應過來,“哦,你說的是拉姆齊數R(5,5)!
我們現在構造出的這個圖,它甚至連R(4,5)的反例都算不上!”
她的思維,已經被許燃徹底帶到了一個全新的高度。
許燃搖了搖頭。
“這個模型,只是一個玩具。
一個讓我們理解‘代數圖論’思想的玩具。”
“但這個思想,可以推廣。”
他的筆尖,在PG(2,q)的那個q上,重重一點。
“如果,我們把這個q,換成別的數字呢?
比如,q=41?
一個素數?”
“PG(2,41)……它的點數是412+41+1 = 1723個!”簡瑤倒吸一口涼氣。
“沒錯,所以簡單的射影平面不夠。”
許燃的目光,變得如同黑洞般深邃,“我們需要更復雜的代數結構。
比如,用‘二次剩餘’去定義‘相鄰’關係。”
。念概的聞未所聞瑤簡串連一下寫,上紙稿草在始開他
】)q(P圖利佩【
”?麼什是又這“
。願甘心但,走子鼻著牽燃許被全完,寶寶奇好個像己自覺瑤簡
”。怪數代的粹純更個一“
。著閃裡睛眼的燃許
”。1餘4模q求要且並,q數素個一取。暴單簡更造構的它“
”。1-q到0從,素元個q的裡)q(FG域限有是就,點頂的圖“
”。事件一看只,邊有沒有間之y和x點頂個兩“
。字個兩下寫重重筆紅用,頓了頓他
”。’值差‘“
。邊有就間之們它麼那,’餘剩次二‘的裡)q(FG是y-x果如“
”。有沒就,是不果如
”?餘剩次二“
。方平的數個一另寫被能,下義意的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“
”?吧對,算難很“
。算去個一個一要需不們我,於在妙的學數但“,笑了笑燃許
”。路了好鋪們我為就早斯高








