頁碼。
文章很長,洋洋灑酒占了三十多頁的篇幅。
作者是英國一所高校的教授,陳拙靜下心,順著第一部分的引言開始往下看。
作者的思路很傳統,也很正統。
為了證明那個下界,他採用了純正的組合構造法,文章裡定義了大量的子圖結構,然後把這些結構像拚圖一樣,一塊一塊地拚接在一起。每拚接一塊,就需要用一個引理去證明這種拚接在邏輯上是成立的,不會破壞原有的圖論性質。陳拙看著那一頁頁密密麻麻的子圖分類和條件限製。
第一種情況,假設頂點度數大於某個值。
第二種情況,假設存在某個特定的循環。
第三種情...….
作者寫得非常嚴謹。
他的每一步推導都是對的,每一個引理的證明都無懈可擊,他就像是一個極其有耐心的泥瓦匠,用磚塊和水泥,一點一點、一層一層地把這麵牆給砌了起來。沒有走捷徑,全是硬橋硬馬。
陳拙把這一段看完,靠在椅背上揉了揉眉心。
在學術界,這種踏踏實實把一個問題用窮舉構造法徹底釘死的文章,絕對夠資格發在核心期刊上。隻是,他在順著作者的思路往下走的時候,腦子裡卻控製不住地跳出了另一個畫麵。
這幾天,他腦子裡裝滿了代數矩陣的工具。
他看著那些在幾何空間裡被分成了幾十種情況去討論的複雜圖形,忽然冒出了一個想法。
圖形的本質是什麼?
是點,以及點與點之間的連接關係。
如果把這些錯綜複雜的連接關係,直接抽象成一個由0和1組成的鄰接矩陣呢?
一旦把圖形變成了矩陣,那在這三十頁紙裡被反覆討論的那些圖論性質。
比如連通性、二分性、甚至是那個讓人頭疼的下界數值。
是不是就變成了求這個矩陣的特徵值問題?
陳拙的眼神微微亮了一下。
他並不是覺得自己比那個教授聰明,他隻是恰好在這個夏天,把離散代數的思維練到了某種本能的程度。那個教授是用純粹的組合數學眼光在看這個問題,所以他隻能去一塊一塊地拚圖。
而陳拙現在,手裡剛好有一把跨學科的尺子。
他重新坐直身子,把那本《離散數學》往旁邊推了推,拿過一張乾淨的A4紙。
他隻是單純地想試一試。
試試用代數的工具,能不能把這個笨重的構造過程稍微簡化一點。
他拿起黑色的水性筆,在紙的頂端寫下了一個基礎的圖論定義,然後直接在下麵畫了一個對應的矩陣。筆尖落在紙上,發出均勻的沙沙聲。
陳拙寫得很專注。
他甚至沒有察覺到蘇微是什麼時候走到他桌邊的。
這一下午的推演,其實並不像想像中那麼一蹴而就。
請前往oop.tw閱讀本書最新內容
把一個純粹的組合圖形問題,強行跨界轉換到代數矩陣的維度,第一步的映射確實很順暢。原本需要用大段文字去描述的連通性,被他很輕易地塞進了一個對稱矩陣裡。
但這僅僅是個開始。
那篇三十多頁的論文裡,原作者為了證明那個下界,羅列了極其繁雜的邊界條件。
陳拙想要把這些條件全部無損地壓縮進矩陣的特徵值範圍內,還需要構建幾個非常精巧的不等式來進行放縮。這就不是喝口水的功夫能憑空捏出來的了。
它需要時間去反覆比對,去嘗試不同的代數工具。
陳拙的筆尖懸在半空,停在了一個特徵根的取值範圍前。
他在腦子裡緩慢地搭著腳手架。
蘇微本來是去走廊儘頭的水房洗杯子的,回來的時候,順路看了一眼陳拙。
這幾天,陳拙看書的速度都很快,往往是翻幾頁,在本子上記一行字,然後繼續翻,但今天下午,他在這張桌子前已經保持著寫字的姿勢快一個小時了。她停下腳步,目光落在陳拙手底下的草稿紙上。
紙上沒有平時那種零散的句子,全是一行接一行,排布得極其工整的矩陣推導。
從上到下,雖然推到一半停住了,但前麵的邏輯咬得很死,像是一道正在被沉下心來慢慢解開的密碼。「今天不看了,開始實踐一下了?」
。句一了問口隨邊桌在站,杯水的淨乾洗著端微蘇
。來下了停筆的裡手拙陳
。腕手的酸發些有甩了甩,旁一在放手隨,上蓋帽筆把是而,寫下往著急有沒他
」。題做算不「。容笑的和溫很個一了出露上臉,微蘇的邊旁在站著看,腕手的酸發些有甩了甩,頭起抬他
。吻口的笑玩開點著帶,和隨氣語,》學數散離《的開翻本那邊旁指了指手伸他
。刊期的文英全本那眼一了看頭低微蘇」。去過墊麵上在,板木塊拿接直能不能試了試就,著閒是也著閒我,拚地塊一塊一,苦辛太得搭木積搭人別看「
。距差大巨的上量體在者兩這白明看能她但,淺深的論圖懂不看她。稿草陣矩的半一了演推張那拙陳眼一了看又她,眉皺了皺地識意下她讓支分件條和形圖合組的麻麻密密麵上
。體刷印的頁多十三
。稿草寫手的頁兩到不
」?嗎了去過墊板木「
。樣一麼什吃飯晚天今問在是像就,瀾波麼什有沒然依氣語,水涼的裡子杯口一了喝微蘇
」。沒還「
。遍一了看光著對,來起拿紙稿草張那把拙陳
。在存實確也感潔簡的來帶維降,題問何任有沒向方大,了來起立經已架框數代的麵上
。滿填隙縫的間中把去夫工磨水點一要需還,明證學數的縫合絲嚴篇一成變它把正真要但
」。來出裁狀形的板木把剛「
。笑了笑,下放紙把拙陳
」。了完不敲天今,活細個是,下一定固去上敲子釘的適合根幾找得還「
。問多再沒微蘇
繼,上位座的己自了到回杯水著端,頭點了點她