第74章 有沒有可能,你說的那個人就是我?
聽店家這麼說,徐曉也是有些哭笑不得。
想必他一定覺得,自己也是一個愛玩遊戲的孩子,只是徐朗不讓他玩而已。
徐曉索性也不再解釋什麼,反正就算他說自己是為了用電腦查論文,對方也未必會相信。
確認電腦沒有問題,徐曉這才讓徐朗支付了尾款。
臨走的時候,店家忍不住對徐朗說道:
「你家的孩子培養的太好了,才這麼大就什麼都明白。
「我聽說育才今年有個也像他這麼大的孩子,好像拿到什麼競賽的滿分,直接保送水木燕大了。
「我看你家孩子,也不比那孩子差啊!」
聽到店家的這番話,徐曉心說,有沒有可能,我們倆就是同一個人?
徐朗聞言也是有些心花怒放,有一種想要馬上公開徐曉真實身份的衝動。
不過他們倆終究都沒有真的這樣做,以免因此而帶來一些不必要的麻煩。
回去的路上,徐朗好奇的向徐曉詢問了起來。
「曉曉,你什麼時候對電腦的知識這麼了解的啊?」
如果今天不是有徐曉在的話,徐朗不知道都要被這些奸商坑多少回了。
「之前在書上和網絡上了解過一些,今天正好就用上了。」
徐曉確實用汪澤辦公室的電腦,查詢過這個時代的硬體配置,但更多的肯定還是要依靠前世的經驗。
「是嘛?果然要是腦瓜好使的話,做什麼都比普通人厲害啊。」
此時徐朗只覺得,得子如此,夫復何求。
將電腦送到家後,徐朗緊接著又找人給家裡裝了寬帶,算是讓他們家提早進入到網絡時代了。
而徐曉在查看電腦文件的時候,果然發現了店家給自己裝的幾個遊戲。
《紅色警戒》。
《帝國時代》。
《仙劍奇俠傳》。
《三國群英傳》……
這些很多都是徐曉小時候很喜歡玩的遊戲,現在看到也感覺非常懷念。
只是現在,徐曉確實沒什麼興趣再玩遊戲了。
將遊戲文件夾關掉,徐曉打開QQ,登錄了自己的帳號。
這個號如今還沒有任何一個好友,不過在成功登錄帳號過後,徐曉還是很快看到了郵箱消息的提示。
「袁教授……果然又給我回郵件了。」
徐曉敏銳的注意到,袁季陽給自己回郵件的時間,就是自己發郵件的當天,中間甚至也只隔了一個小時而已。
看著郵件中的內容,徐曉的心情還是比較愉悅的。
「看來袁教授對我的這個選題和研究進度,都是比較肯定的。」
只是徐曉並不太清楚,這其中是否有一定的鼓勵成分。
或許袁季陽看在自己年齡還小的份上,並不會真的像對研究生一樣去要求自己。
不過對袁季陽所說的,可以試著回歸初等方法的提議,徐曉還是覺得非常值得考慮。
最近這段時間,他嘗試過使用不少高級的理論去證明,可這反而會有一種刻意炫技的感覺,實際效果並不算好。
雖然一開始徐曉也確實使用了一些初等方法,但並沒有在這上面下特別大的工夫。
既然使用高級理論並沒有什麼頭緒,徐曉完全可以試著把問題想得簡單一些。
「先考慮一下a=b=1的特殊情況吧,如果可以證明出來的話,再去推廣其他的情況。」
將問題進行簡化之後,徐曉先是對前面的一些素數進行了數值計算,很快便發現了其中的規律,證明的思路也隨之出現。
利用傅立葉展開、帕塞瓦爾正交性、van der Corput差分法等方法,徐曉順利的完成了證明。
正當徐曉想要繼續如法炮製的時候,卻逐漸意識到了一個新的問題。
如果只是對某個特殊情況進行數值計算的話,確實比較容易發現其中的規律。
但實際的情況,a和b可都是變量,想要計算出足夠多的數值結果,計算量是非常巨大的。
無論是手工計算還是用計算器計算,這至少都是幾個月才能完成的工作。
不過這個問題,終究還是難不倒徐曉。
「直接寫個程序就可以了,以這台電腦的配置來看,應該也是完全可以帶得動的。」
編程可是徐曉的專業,哪怕前世他未必算是個特別優秀的程式設計師,這種小問題還是完全可以解決的。
這個時代還沒有NumPy、SymPy這些科學計算庫,但只要利用C語言把計算核心寫出來,再用Python寫調度和分析腳本的架構,所有的底層運算就都可以自主實現了。
「先用C語言把底層數論運算庫構造出來,大概一百多行代碼應該就夠了。」
確定了編程的思路之後,徐曉很快便行動了起來。
其實如果是相對簡單的一些計算,直接拉個Excel表格也是可以解決的。
只是Excel並不算是非常專業的計算工具,特別是現在最新的Excel 2003版,最多只支持六萬多行而已。
想要擁有比較好的數值計算效果,最好能夠將1000以內所有素數的組合都計算完畢。
但即便只是一個大一些的素數,涉及到的組合數量也會超過Excel的行數上限了。
另外,Excel 2003也沒有原生大整數支持,在進行大整數運算時會自動轉成雙精度浮點數,導致精度的丟失。
再加上Excel對公式的運算速度很慢,完全無法勝任這種科研級別的計算工作。
大約寫了150行C語言底層庫,徐曉便順利的構造出了研究課題中的三個核心函數。
如果是前世,很多數學研究者應該都是可以達到這樣的編程水平的,甚至直接用AI就可以完成編程。
但在這個時代,數學研究者的整體編程水平還比較低,除非是專門搞數值分析、數學建模之類的研究者,大多都只會一些基礎的腳本而已。
而徐曉寫的算法則是真正專業級別的,在這個年代更是有點兒降維打擊的意思。
檢查完代碼確定沒什麼問題後,徐曉便開始了計算。
前面的素數因為組合的情況比較少,電腦的計算速度非常快,甚至在毫秒之間就可以得出計算結果。
不過隨著素數的不斷增大,計算速度也明顯放緩了不少。
想必他一定覺得,自己也是一個愛玩遊戲的孩子,只是徐朗不讓他玩而已。
徐曉索性也不再解釋什麼,反正就算他說自己是為了用電腦查論文,對方也未必會相信。
確認電腦沒有問題,徐曉這才讓徐朗支付了尾款。
臨走的時候,店家忍不住對徐朗說道:
「你家的孩子培養的太好了,才這麼大就什麼都明白。
「我聽說育才今年有個也像他這麼大的孩子,好像拿到什麼競賽的滿分,直接保送水木燕大了。
「我看你家孩子,也不比那孩子差啊!」
聽到店家的這番話,徐曉心說,有沒有可能,我們倆就是同一個人?
徐朗聞言也是有些心花怒放,有一種想要馬上公開徐曉真實身份的衝動。
不過他們倆終究都沒有真的這樣做,以免因此而帶來一些不必要的麻煩。
回去的路上,徐朗好奇的向徐曉詢問了起來。
「曉曉,你什麼時候對電腦的知識這麼了解的啊?」
如果今天不是有徐曉在的話,徐朗不知道都要被這些奸商坑多少回了。
「之前在書上和網絡上了解過一些,今天正好就用上了。」
徐曉確實用汪澤辦公室的電腦,查詢過這個時代的硬體配置,但更多的肯定還是要依靠前世的經驗。
「是嘛?果然要是腦瓜好使的話,做什麼都比普通人厲害啊。」
此時徐朗只覺得,得子如此,夫復何求。
將電腦送到家後,徐朗緊接著又找人給家裡裝了寬帶,算是讓他們家提早進入到網絡時代了。
而徐曉在查看電腦文件的時候,果然發現了店家給自己裝的幾個遊戲。
《紅色警戒》。
《帝國時代》。
《仙劍奇俠傳》。
《三國群英傳》……
這些很多都是徐曉小時候很喜歡玩的遊戲,現在看到也感覺非常懷念。
只是現在,徐曉確實沒什麼興趣再玩遊戲了。
將遊戲文件夾關掉,徐曉打開QQ,登錄了自己的帳號。
這個號如今還沒有任何一個好友,不過在成功登錄帳號過後,徐曉還是很快看到了郵箱消息的提示。
「袁教授……果然又給我回郵件了。」
徐曉敏銳的注意到,袁季陽給自己回郵件的時間,就是自己發郵件的當天,中間甚至也只隔了一個小時而已。
看著郵件中的內容,徐曉的心情還是比較愉悅的。
「看來袁教授對我的這個選題和研究進度,都是比較肯定的。」
只是徐曉並不太清楚,這其中是否有一定的鼓勵成分。
或許袁季陽看在自己年齡還小的份上,並不會真的像對研究生一樣去要求自己。
不過對袁季陽所說的,可以試著回歸初等方法的提議,徐曉還是覺得非常值得考慮。
最近這段時間,他嘗試過使用不少高級的理論去證明,可這反而會有一種刻意炫技的感覺,實際效果並不算好。
雖然一開始徐曉也確實使用了一些初等方法,但並沒有在這上面下特別大的工夫。
既然使用高級理論並沒有什麼頭緒,徐曉完全可以試著把問題想得簡單一些。
「先考慮一下a=b=1的特殊情況吧,如果可以證明出來的話,再去推廣其他的情況。」
將問題進行簡化之後,徐曉先是對前面的一些素數進行了數值計算,很快便發現了其中的規律,證明的思路也隨之出現。
利用傅立葉展開、帕塞瓦爾正交性、van der Corput差分法等方法,徐曉順利的完成了證明。
正當徐曉想要繼續如法炮製的時候,卻逐漸意識到了一個新的問題。
如果只是對某個特殊情況進行數值計算的話,確實比較容易發現其中的規律。
但實際的情況,a和b可都是變量,想要計算出足夠多的數值結果,計算量是非常巨大的。
無論是手工計算還是用計算器計算,這至少都是幾個月才能完成的工作。
不過這個問題,終究還是難不倒徐曉。
「直接寫個程序就可以了,以這台電腦的配置來看,應該也是完全可以帶得動的。」
編程可是徐曉的專業,哪怕前世他未必算是個特別優秀的程式設計師,這種小問題還是完全可以解決的。
這個時代還沒有NumPy、SymPy這些科學計算庫,但只要利用C語言把計算核心寫出來,再用Python寫調度和分析腳本的架構,所有的底層運算就都可以自主實現了。
「先用C語言把底層數論運算庫構造出來,大概一百多行代碼應該就夠了。」
確定了編程的思路之後,徐曉很快便行動了起來。
其實如果是相對簡單的一些計算,直接拉個Excel表格也是可以解決的。
只是Excel並不算是非常專業的計算工具,特別是現在最新的Excel 2003版,最多只支持六萬多行而已。
想要擁有比較好的數值計算效果,最好能夠將1000以內所有素數的組合都計算完畢。
但即便只是一個大一些的素數,涉及到的組合數量也會超過Excel的行數上限了。
另外,Excel 2003也沒有原生大整數支持,在進行大整數運算時會自動轉成雙精度浮點數,導致精度的丟失。
再加上Excel對公式的運算速度很慢,完全無法勝任這種科研級別的計算工作。
大約寫了150行C語言底層庫,徐曉便順利的構造出了研究課題中的三個核心函數。
如果是前世,很多數學研究者應該都是可以達到這樣的編程水平的,甚至直接用AI就可以完成編程。
但在這個時代,數學研究者的整體編程水平還比較低,除非是專門搞數值分析、數學建模之類的研究者,大多都只會一些基礎的腳本而已。
而徐曉寫的算法則是真正專業級別的,在這個年代更是有點兒降維打擊的意思。
檢查完代碼確定沒什麼問題後,徐曉便開始了計算。
前面的素數因為組合的情況比較少,電腦的計算速度非常快,甚至在毫秒之間就可以得出計算結果。
不過隨著素數的不斷增大,計算速度也明顯放緩了不少。