《大正整數因子分解具備多項式演算法的求解證明!》
看著手機上劉嘉欣傳送過來的檔案,徐川愣了一下,隨即反應了過來。
他快速的點選檔案,將其下載下來的同時拉開了威信。
“你證出來了?”
手指疾速的在九宮格的鍵盤上敲擊了幾下,一條簡短的資訊傳送了出去。
與此同時,他快速的將檔案發給自己的助理,併發了條資訊過去:“幫我將這份檔案以最快的速度打印出來送我房間裡面來。”
這邊的資訊發完,那邊劉嘉欣的訊息也回過來了。
“嗯,這項方法應該可以解決大正整數因子分解問題,但我不確定裡面是否還有缺陷,想請你幫我看看。”
徐川快速的扣字回道:“正在列印,我這邊馬上看。”
頓了頓,他補了一句:“我明天下午回去。”
“沒事的,不用急,你先忙你的事情,論文不用著急。”
對面的訊息很快就回復了過來,不過徐川已經沒在意了。
他起身從揹包中摸出了電腦,快速的開啟後將PDF論文上傳到了電腦上。
在打印出來的論文送到他手上前,電腦的螢幕總比手機更大一些。這種頂級的數學論文,他已經迫不及待的想要看看具體內容了。
開啟,論文的正題映入眼簾中。
《大正整數因子分解具備多項式演算法的求解證明!》
論文的標題很直白,就是P=NP?問題中的第一問,也是之前他和劉嘉欣討論過的難題。
不過對於P=NP?問題,他的瞭解並不是很深。
作為其提出的 20世紀18個重大數學未決問題之一,數學家斯梅爾選擇了下列源自傳統數學問題的NP完全問題作為“P=NP?”問題的代表。
“即:給定 Z上關於 n個變數的 k個多項式,問是否存在多項式時間的演算法判定它們在(Z)n上有公共零點。而這一描述提法主要是受到了布朗韋爾關於希爾伯特零點定理判定演算法的影響。”
簡單的來說,就是設 f1,···, fk是 n個變元的復係數多項式,根據希爾伯特Hilbert零點定理, f1,···, fk在複數域上不存在公共零點當且僅當存在 n個變元的復係數多項式g1,···, gk滿足k∑i=1·GiFi= 1。
如果說,對於這些專業數學語言理解起來有些困難的話,P=NP?問題用相對通俗一些的話語來描述則可以分成兩部分。
‘P類問題’和‘NP類問題’。
當然,這裡是為了幫助理解而簡約化的兩個概念,是拋開了數學上的嚴謹性和複雜性,簡而明瞭的理解做出的簡化。
P代表了這樣一類問題,計算機在解決它們的時候可以有速度非常快的方法。這個速度和計算機硬體無關,僅僅取決於這個解決方法本身的便捷性。
而NP代表了另一類問題,它們有最優解,但是,其中很多問題,計算機在尋求最優解時,沒有快速的方法,甚至,只能傻傻的、暴力的、嘗試所有可能的組合,然後找到最優解。
NP問題中,最難的一類問題,被稱為NPC,也就是NP完全問題。
如果這樣說依舊不夠具體的話,用一個小小的故事來舉例,相信你能更加簡約的理解。
。人的識認有沒有面里道知要想,會宴的大盛個一加參在你設假
。識認確的你,的對是的說他現發,裡那向掃刻立你是於,A小士的裡落角邊右桌點甜在站正識認定一你,說你對人主的會宴,候時個這
。識認你士A出斷判易容很你,訊資的人主會宴過,是於
。人的識認有沒有道知才後然,人個一每過視審,廳大個整顧環要需就你,些這你訴告不他果如但
;題問類P是就,士A小到找,示暗的人主會宴過
。題問PN是就士A小到查檢易容,士A小識認己自現發示提的他照按你而
。難更個哪,確正否是題命個一斷判和題命個一決解,論討曾川湯和神石,中說小理推》獻的X人疑嫌《家作國島某在
。間時多更費花要,解的定給個一證驗比常通,解個一的題問生,人有所了訴告它,裡哪在放就題問?PN=P,案答了出給經已就早界學數實其
。解無至甚,難困很題問個這,和總的數個子原有所上界世算計你讓果如,如比
。題問類PN是就種這,解求易容不卻,證驗易容很。的錯是他證驗快很能你麼那,子原個005有共一上界世你訴告人有果如,是但
。題問類一的決解間時式項多在否能定確不是但證驗間時式項多以可是題問類PN;題問類一的證驗並決解間時式項多在以可是題問類P
。P於等否是PN定確法無是但,題問類PN於屬都題問類P有所,然顯很
。試嘗多很了做都,好也域領機算計是還,好也界學數是論無,來以出提”?PN=P“自而
。法算演的間時式項多的題問全完PN個一出給是就法方的然顯最,PN=P 明證要
。功有沒都,作工多很了做法算演的間時式項多的題問全完PN找尋為員人式程和家學數批大一,裡年十幾的去過在但
。?PN≠P為認都員人究研和者學的分部大,業行機算計和界學數流主的今如在至甚,?PN≠P出給試嘗在人批一的大很有也,然當
。解求速快以可機算計讓,題命單簡個一變以可終最題難個一每是就也,P化轉以可都題問PN個一每,著味意則,PN=P果如,單簡很因原
。覆顛被將都西東的面方各等等.識常、系機算計、系學數的前目類人著味意這
。它決解的鬆輕夠能都題問的難很來起看在現些那。題問P 個一為化轉題問PN 個一何任將以可就們我,實證被PN=P終最果如








