刷!寫完最後一個字元,方文只感覺神清氣爽,通體舒暢。
他做到了!
困擾了他一個月的問題,他只花了一個晚上就解決了!看了看電腦上的時間,凌晨三點十七分。
抬頭向窗外看去,校園中一片寧靜,只有路燈灑下昏黃的光芒無無邊的夜色。
你見過凌晨三點的蓉城大學嗎?方文可以驕傲的說,他見過了!當然,他以前玩遊戲時也沒少見。
但熬夜玩遊戲的見過,跟熬夜寫論文的凌晨三點,帶給人的成就感是根本沒有可比性的。
興奮勁頭過去後,深深的疲倦湧上心頭,也顧不上洗漱,方文拿著手機就往床上爬。
然而,讓方文後悔莫及的是,他在睡覺前按下鎖屏鍵看了眼時間。
然後,他就看到了手機上的微信訊息。
是陳輝發來的,就在幾分鐘前。
“他都不睡覺的嗎?”
帶著這個疑問,方文點開微信訊息。
“學長的論文非常有意思,不過我有幾個地方有些疑惑,
在證明過程的步驟二中,將自同構表示為矩陣時,預設係數l,與gl(1,p)的作用相容,但未驗證l mod p非零的必然性。
是不是可以透過嵌入引數約束條件l≡0mod p確保交換子生成Φ的最小生成元。透過反證法證明若 l≡0mod p,則[a,b]∈Φp[a,b]∈Φp,導致冪零類下降,與原假設矛盾。
然後構造伴隨表示驗證,將自同構對生成元的作用寫為矩陣透過直接計算驗證矩陣乘法與群運算的一致性,特別是對關係式b^p=a^(kp^n-2)的保持需滿足m≡1mod p^,從而限制m∈gl(1,p)。”
“嗯?”
方文嗖的一下從床上爬起來,再次開啟電腦,開啟自己的論文,翻到證明過程的步驟二。
花了十幾分鍾時間,有了陳輝的提醒,他果然發現自己的證明過程真的存在漏洞,至少是不夠嚴謹的。
他腦子是怎麼長的?
從無到有的發現問題,跟經過提醒才發現問題,其中的難度是不可同日而語的。
這在數學上就是著名的p對np問題。
比如你在一場宴會上,從參加宴會的345個人中找到自己的高中同學,這是很難的,但如果有人給你指了個人,問你那個人是不是你高中同學,這就簡單多了。
這就是他現在跟陳輝的差距!
他可是研究生啊!方文大腦有些混亂,已經不敢把陳輝當成高中生看待了。
也不知道劉導看論文的時候發現沒有?沒有多想,他繼續帶著陳輝的解決方案去思考,演算,半個小時後,方文眼中滿是明亮的光芒。
可行!
陳輝給的解決方案完全可行!
甚至可以說是非常巧妙!
如果說對frattini商群提升完備性的證明讓這篇畢業論文變得完整,那麼解決了矩陣表示的係數相容性漏洞後,這篇論文都已經算得上是優秀論文了。方文甚至都在幻想自己是不是可以去競爭一下明年的優秀畢業生?原來跟著大佬混這麼爽!