第247章 多了點奇怪的屬性
燕東園。
客廳中滋滋聲消失。
許青舟意滿離，砸把嘴，樂呵呵把資料擺出來，準備繼續鑽研偉大的數學知識。
宋校花每次親親的時候都會很有女人味。
前一秒還瞪着眼嚷着要揍人呢，下一秒就軟了，那個纏綿的小眼神.
宋·傲·嬌·瑤。
嘴上說着不要，被強迫之後比誰都享受。許青舟又想到，如果她生氣的時候這樣親一下，是不是也會歇火？
當然，他就是想想，又不蠢。
宋瑤真生氣，估計能把他胳膊給卸了，別提親親抱抱。
隔壁沙發上，宋瑤抱着抱枕發呆，潔白的臉頰上泛着絲絲紅暈，這傢伙越來越大膽了，但這次好像有一種說不出的舒服，很讓人沉溺。
和跟許青舟在人多的時候接吻類似，緊張，心跳加速。
可又有點不一樣。
難道
是因爲半推半就？
宋瑤摸了摸嘴脣，醒悟。哦，原來是這不對，因爲她起初是不想的，還反抗，威脅要揍他，可還是被“強迫”了
然後就覺得很刺激。
這樣一想，她發現自己好像奇奇怪怪，爲什麼會喜歡許青舟對自己強硬一點.
見宋瑤坐在沙發上，晶瑩的眼神一閃一閃的，不知道在想什麼，許青舟調侃：“還回味呢？”
“我在嫌棄你。”宋瑤悶聲說，還在糾結自己奇怪的愛好。
許青舟悠悠提醒：“你先伸的舌頭。”
“許青舟！”宋瑤舉起抱枕要砸他，但最終沒扔出去，擔心抱枕掉地上髒了。
先記賬上，以後一起收拾。
“得，我閉嘴。”許青舟看這個架勢，再嘴賤可就真的要被捶了，以前高冷的宋校花果然一去不復返了。
宋瑤威脅地瞪了一眼欠揍的男友，但也是因爲這個，突然又聯想到佳慧以前給她說的東西——m屬性。
就是喜歡被×××。
不不不，不可能。
宋瑤覺得自己臉有點燙，用手扇了扇風，趕緊止住這個危險的想法，又自欺欺人的在心裡說：“我很正常，許青舟纔是大變態，自己就是稍微被影響到了一點。”
許青舟面色古怪：“你很熱？”
“都怪你。”
“？？？”
許青舟有點懵。
宋瑤板起臉，趿拉着拖鞋進衛生間，咕嚕嚕漱口，坐在許青舟對面看書，可沒看一會兒，她就感覺對面男生的腳丫子戳了戳自己的腿。
她懶得搭理他，現在只想冷靜冷靜。
可很快，對方的蹄子又伸過來了，在她小腿上蹭了又蹭。
宋瑤擡頭，淡淡地看了許青舟一眼，“再亂動我把你腳剁了。”
對面，許青舟覺得有必要重新確定了一下日期。
週二，6月16日。
這前不着村後不着店的日子，離她大姨媽來和去的時間都遠吧。
剛纔還眉目含春的樣子，現在.這情緒起伏有點大。
許青舟無奈地問：“郭子揚和丁佳慧週六過來，我們就在家裡煮火鍋？”
“嗯。”宋瑤點頭。
“他倆下午點到，那到時候一起去買菜。”
“好。”宋瑤漫不經心。
“.”
許青舟表情嚴肅，沉聲道：“還有一個非常重要的問題。”
見許青舟這麼正式，宋瑤停筆，擡頭看着他。
“你生理週期亂了？”
嘶~
有殺氣！
接下來的幾天，端午來臨前，許青舟算是完全泡在圖書館，全身心投入波利尼亞克猜想的證明中。
不過，讓許青舟意外的是，就在週四，接到趙升文教授的電話。
圖書館外，許青舟吐了口氣，用手遮了遮2點時毒辣的太陽，進入6月，天氣有點熱，即便呆在客廳都有點悶。
他索性買了個風扇，熱的時候吹一吹。
等天氣再熱一點，就可以申請搬去宋校花屋裡吹空調了。
許青舟一面快樂地想着，一面走到圖書館前大樹的陰涼下，回撥趙教授的電話。
“小許，沒打擾你吧？”趙升文的聲音從聽筒裡傳出來。
“沒有，剛好休息。”許青舟回答。
趙升文笑着說：“我聽常教授說你小子在量子研究所幹了不少大事。”
“一點小成就，不值一提。”許青舟謙虛地說。
“你這老成的心態，不愧是老顧帶出來，簡直一模一樣。”
許青舟附和笑了笑。
趙升文：“我也不繞彎子，我們課題組第一階段的數據出來了，但效果不是特別理想，得找個人幫着做分析，最好是能弄出一套完整的理論模型。”
“我就想着打電話來問問你，咱們也算是老熟人了。但我知道你在忙波利尼亞克猜想，如果忙不過來的話，我再問問老顧。”
許青舟當然不會拒絕：“我這邊沒什麼問題，您什麼時候需要，我什麼時候過來。”
“明天上午，9點吧。”
“好。”
掛斷電話，許青舟長吐了口氣，想什麼來什麼，前些天還想着要怎麼蹭一蹭實驗呢。
回到圖書館位子上，喝了口水，他的目光放到了猜想內容上：對所有自然數k，存在無窮多個素數對(p， p+2k)。
波利尼亞克猜想，也叫廣義孿生素數猜想。
多了“廣義”兩個字，證明或者證僞的難度直線上升。
就好像原本要在一片湖裡撈針，現在突然把湖換成海，成了真正的大海撈針了。
許青舟眯着眼，注意力又回到孿生素數個數的推測上面。這個地方，再進行修正，用π2(x)表示不超過x的孿生素數個數.
想着，他提筆寫下一排公式。
【π2(x)=#{p≤x:p+2 is prime}】
按照這種方式的話，孿生素數猜想的充分必要條件就是π2(x)嚴格單調遞增。
到這裡，漸近公式就比較重要了。
【π2(x)Kxlog2x。】
接下來可以試着求出K的具體表達式。
通過拼湊，先讓第(9)右側的乘積能夠變成收斂的量，也就是說要找到一個已知漸近展開的乘積∏3≤p≤xf(p)使得乘積∏p≥312/pf(p)收斂。
最後，再利用對數函數的性質，就能把問題轉化成證明表達式收斂。
想清楚，許青舟也不再浪費時間，開始動筆。
這意味着當 n≤Pz時，有：
【π2(Pz，z)=∏.3≤p≤z(p2)=Pz2∏3≤p≤z(12p)】
K的表達式：
【K=2∏p≥312/p(11/p)2=2∏p≥3[11(p1)2]】
到這裡，許青舟就算完成了第一步，接下來，就是把曾經探究素數和孿生素數分佈時用的核心方法進行提煉，得到證明波利尼亞克猜想的篩法的原始形式。
在此基礎上進行完成，以期望得到一個全新的更加強勁的篩法。
按照曾經的習慣，許青舟還是先把這段時間所有的計算步驟全部過一遍，腦海中有了一個清晰和完整的脈絡了，纔開始思考要從哪裡入手。
首先，精簡篩法，在孿生素數定理的篩法基礎上，引入解析數論中的複分析、L函數等，以及組合數學、代數幾何等領域的技巧，構造一個足夠強大並且能夠精準篩選素數的工具。
同時，還得開發一個高效的算法來輔助計算，以便能快速地處理大規模數據，提高篩法的效率和準確性。
這點恐怕還得用到超算中心的超算資源。
到這裡，許青舟暫時把波利尼亞克猜想的資料收起來，調出還沒看完的鋰離子電池的論文，悶頭算了兩天，現在確實有點累。
過猶不及，一直悶頭算下去容易陷入牛角尖，而且想證明一個猜想不是一朝一夕能完成的，還是要勞逸結合。