所謂分布式計(jì)算是一門計(jì)算機(jī)科學(xué)，它研究如何把一個(gè)需要非常巨大的計(jì)算能力才能解決的問(wèn)題分成許多小的部分，然后把這些部分分配給許多計(jì)算機(jī)進(jìn)行處理，最后把這些計(jì)算結(jié)果綜合起來(lái)得到最終的結(jié)果。 最近的分布式計(jì)算項(xiàng)目已經(jīng)被用于使用世界各地成千上萬(wàn)位志愿者的計(jì)算機(jī)的閑置計(jì)算能力，通過(guò)因特網(wǎng)，您可以分析來(lái)自外太空的電訊號(hào)，尋找隱蔽的黑洞，并探索可能存在的外星智慧生命;您可以尋找超過(guò)1000萬(wàn)位數(shù)字的梅森質(zhì)數(shù);您也可以尋找并發(fā)現(xiàn)對(duì)抗艾滋病病毒的更為有效的藥物。這些項(xiàng)目都很龐大，需要驚人的計(jì)算量，僅僅由單個(gè)的電腦或是個(gè)人在一個(gè)能讓人接受的時(shí)間內(nèi)計(jì)算完成是決不可能的。

 分布式計(jì)算是利用互聯(lián)網(wǎng)上的計(jì)算機(jī)的 中央處理器 的閑置處理能力來(lái)解決大型計(jì)算問(wèn)題的一種計(jì)算科學(xué)。下面，我們看看它是怎么工作的：

首先, 要發(fā)現(xiàn)一個(gè)需要非常巨大的計(jì)算能力才能解決的問(wèn)題。這類問(wèn)題一般是跨學(xué)科的、極富挑戰(zhàn)性的、人類急待解決的科研課題。其中較為著名的是:

1.解決較為復(fù)雜的數(shù)學(xué)問(wèn)題，例如：GIMPS(尋找最大的梅森素?cái)?shù))。

2.研究尋找最為安全的密碼系統(tǒng)，例如：RC-72(密碼破解)。

3.生物病理研究，例如：Folding@home(研究蛋白質(zhì)折疊，誤解，聚合及由此引起的相關(guān)疾病)。

4.各種各樣疾病的藥物研究，例如：United Devices(尋找對(duì)抗癌癥的有效的藥物)。

5.信號(hào)處理，例如：SETI@Home(在家尋找地外文明)。

從這些實(shí)際的例子可以看出，這些項(xiàng)目都很龐大，需要驚人的計(jì)算量，僅僅由單個(gè)的電腦或是個(gè)人在一個(gè)能讓人接受的時(shí)間內(nèi)計(jì)算完成是決不可能的。在以前，這些問(wèn)題都應(yīng)該由超級(jí)計(jì)算機(jī)來(lái)解決。但是, 超級(jí)計(jì)算機(jī)的造價(jià)和維護(hù)非常的昂貴，這不是一個(gè)普通的科研組織所能承受的。隨著科學(xué)的發(fā)展，一種廉價(jià)的、高效的、維護(hù)方便的計(jì)算方法應(yīng)運(yùn)而生——分布式計(jì)算!

隨著計(jì)算機(jī)的普及，個(gè)人電腦開(kāi)始進(jìn)入千家萬(wàn)戶。與之伴隨產(chǎn)生的是電腦的利用問(wèn)題。越來(lái)越多的電腦處于閑置狀態(tài)，即使在開(kāi)機(jī)狀態(tài)下中央處理器的潛力也遠(yuǎn)遠(yuǎn)不能被完全利用。我們可以想象，一臺(tái)家用的計(jì)算機(jī)將大多數(shù)的時(shí)間花費(fèi)在“等待”上面。即便是使用者實(shí)際使用他們的計(jì)算機(jī)時(shí),處理器依然是寂靜的消費(fèi)，依然是不計(jì)其數(shù)的等待(等待輸入，但實(shí)際上并沒(méi)有做什么)?；ヂ?lián)網(wǎng)的出現(xiàn), 使得連接調(diào)用所有這些擁有限制計(jì)算資源的計(jì)算機(jī)系統(tǒng)成為了現(xiàn)實(shí)。

那么，一些本身非常復(fù)雜的但是卻很適合于劃分為大量的更小的計(jì)算片斷的問(wèn)題被提出來(lái)，然后由某個(gè)研究機(jī)構(gòu)通過(guò)大量艱辛的工作開(kāi)發(fā)出計(jì)算用服務(wù)端和客戶端。服務(wù)端負(fù)責(zé)將計(jì)算問(wèn)題分成許多小的計(jì)算部分，然后把這些部分分配給許多聯(lián)網(wǎng)參與計(jì)算的計(jì)算機(jī)進(jìn)行并行處理，最后將這些計(jì)算結(jié)果綜合起來(lái)得到最終的結(jié)果。

當(dāng)然，這看起來(lái)也似乎很原始、很困難，但是隨著參與者和參與計(jì)算的計(jì)算機(jī)的數(shù)量的不斷增加, 計(jì)算計(jì)劃變得非常迅速，而且被實(shí)踐證明是的確可行的。目前一些較大的分布式計(jì)算項(xiàng)目的處理能力已經(jīng)可以達(dá)到甚而超過(guò)目前世界上速度最快的巨型計(jì)算機(jī)。

您也可以選擇參加某些項(xiàng)目以捐贈(zèng)Cpu的內(nèi)核處理時(shí)間,您將發(fā)現(xiàn)您所提供的 中央處理器 內(nèi)核處理時(shí)間將出現(xiàn)在項(xiàng)目的貢獻(xiàn)統(tǒng)計(jì)中。您可以和其他的參與者競(jìng)爭(zhēng)貢獻(xiàn)時(shí)間的排名，您也可以加入一個(gè)已經(jīng)存在的計(jì)算團(tuán)體或者自己組建一個(gè)計(jì)算小組。這種方法很利于調(diào)動(dòng)參與者的熱情。

隨著民間的組隊(duì)逐漸增多, 許多大型組織(例如公司、學(xué)校和各種各樣的網(wǎng)站)也開(kāi)始了組建自己的戰(zhàn)隊(duì)。同時(shí)，也形成了大量的以分布式計(jì)算技術(shù)和項(xiàng)目討論為主題的社區(qū)，這些社區(qū)多數(shù)是翻譯制作分布式計(jì)算項(xiàng)目的使用教程及發(fā)布相關(guān)技術(shù)性文章，并提供必要的技術(shù)支持。

那么誰(shuí)可能加入到這些項(xiàng)目中來(lái)呢? 當(dāng)然是任何人都可以! 如果您已經(jīng)加入了某個(gè)項(xiàng)目，而且曾經(jīng)考慮加入計(jì)算小組, 您將在中國(guó)分布式計(jì)算總站及論壇里找到您的家。任何人都能加入任何由我站的組建的分布式計(jì)算小組。希望您在中國(guó)分布式總站及論壇里發(fā)現(xiàn)樂(lè)趣。

參與分布式計(jì)算——一種能充分發(fā)揮您的個(gè)人電腦的利用價(jià)值的最有意義的選擇——只需要下載有關(guān)程序，然后這個(gè)程序會(huì)以最低的優(yōu)先度在計(jì)算機(jī)上運(yùn)行，這對(duì)平時(shí)正常使用計(jì)算機(jī)幾乎沒(méi)有影響。如果你想利用計(jì)算機(jī)的空余時(shí)間做點(diǎn)有益的事情，還猶豫什么?馬上行動(dòng)起來(lái)吧，你的微不足道的付出或許就能使你在人類科學(xué)的發(fā)展史上留下不小的一筆呢!

專業(yè)定義 (中國(guó)科學(xué)技術(shù)信息研究所對(duì)分布式計(jì)算的定義)

分布式計(jì)算是近年提出的一種新的計(jì)算方式。所謂分布式計(jì)算就是在兩個(gè)或多個(gè)軟件互相共享信息，這些軟件既可以在同一臺(tái)計(jì)算機(jī)上運(yùn)行，也可以在通過(guò)網(wǎng)絡(luò)連接起來(lái)的多臺(tái)計(jì)算機(jī)上運(yùn)行。分布式計(jì)算比起其它算法具有以下幾個(gè)優(yōu)點(diǎn)：

1、稀有資源可以共享。

2、通過(guò)分布式計(jì)算可以在多臺(tái)計(jì)算機(jī)上平衡計(jì)算負(fù)載。

3、可以把程序放在最適合運(yùn)行它的計(jì)算機(jī)上。

其中，共享稀有資源和平衡負(fù)載是計(jì)算機(jī)分布式計(jì)算的核心思想之一。

實(shí)際上，網(wǎng)格計(jì)算就是分布式計(jì)算的一種。如果我們說(shuō)某項(xiàng)工作是分布式的，那么，參與這項(xiàng)工作的一定不只是一臺(tái)計(jì)算機(jī)，而是一個(gè)計(jì)算機(jī)網(wǎng)絡(luò)，顯然這種“螞蟻搬山”的方式將具有很強(qiáng)的數(shù)據(jù)處理能力。網(wǎng)格計(jì)算的實(shí)質(zhì)就是組合與共享資源并確保系統(tǒng)安全。

分布式計(jì)算的意義和格局

一、分布式計(jì)算與人類由于現(xiàn)代人類各個(gè)課題學(xué)科繁多，涉及面廣，而分類又細(xì)。而當(dāng)今的每個(gè)學(xué)科似乎都需要進(jìn)行大量的計(jì)算。天文學(xué)研究組織需要計(jì)算機(jī)來(lái)分析太空脈沖(pulse)，星位移動(dòng);生物學(xué)家需要計(jì)算機(jī)來(lái)模擬蛋白質(zhì)的折疊(protein folding)過(guò)程;藥物學(xué)家想要研制克服愛(ài)滋病(AIDS)或非典(SARS)的藥物;數(shù)學(xué)家想計(jì)算最大的質(zhì)數(shù)和圓周率的更精確值;經(jīng)濟(jì)學(xué)家要用計(jì)算機(jī)分析計(jì)算在幾萬(wàn)種因素考慮下某個(gè)企業(yè)/城市/國(guó)家的發(fā)展方向從而宏觀調(diào)控。由此可見(jiàn)，人類未來(lái)的科學(xué)，時(shí)時(shí)刻刻離不開(kāi)計(jì)算。而分布式計(jì)算(Distributed Computing)，以其獨(dú)特的優(yōu)點(diǎn)——便宜、高效而越來(lái)越受到社會(huì)的關(guān)注。

二、雜亂無(wú)章的分布式計(jì)算格局

就目前來(lái)看，全球的各種分布式計(jì)算已有約百種，這些計(jì)算大多互無(wú)聯(lián)系、獨(dú)立管理、獨(dú)立使用自己的一套軟件。目前的這種分布式計(jì)算互相割據(jù)的格局很不利于發(fā)展的需要。比如，某個(gè)生物學(xué)研究機(jī)構(gòu)需要利用世界各地志愿者的計(jì)算機(jī)來(lái)模擬蛋白質(zhì)折疊的過(guò)程，那個(gè)生物學(xué)研究機(jī)構(gòu)沒(méi)有分布式計(jì)算方面的專業(yè)人才，而但是社會(huì)上也并沒(méi)有任何公司可以提供這樣的服務(wù)，他們就不得不自己花費(fèi)大量精力用于開(kāi)發(fā)分布式計(jì)算的服務(wù)器、客戶端。這樣一來(lái)，原來(lái)可以用于研究生物的時(shí)間用在了別的地方。剛才提到的生物學(xué)研究機(jī)構(gòu)就是美國(guó)斯坦福大學(xué)的PANDE小組。

三、BOINC一統(tǒng)大局，互相協(xié)作!

為了改變這種雜亂無(wú)章的割據(jù)，美國(guó)加州大學(xué)伯克利分校(UC Berkeley)首先提出了建立BOINC的想法。BOINC的中文全稱是伯克利開(kāi)放式網(wǎng)絡(luò)計(jì)算平臺(tái)(Berkeley Open Infrastructure for Network Computing)，他能夠把許多不同的分布式計(jì)算項(xiàng)目聯(lián)系起來(lái)統(tǒng)一管理。并對(duì)計(jì)算機(jī)資源進(jìn)行統(tǒng)一分配(比方您對(duì)研究艾滋病藥物和探索地外文明同時(shí)感興趣，您就可以同時(shí)選擇兩個(gè)運(yùn)行，并設(shè)置優(yōu)先級(jí))。對(duì)統(tǒng)計(jì)評(píng)分系統(tǒng)進(jìn)行統(tǒng)一管理(無(wú)論你在為哪個(gè)項(xiàng)目工作，只要你奉獻(xiàn)CPU時(shí)間長(zhǎng)，就積分高)。有了這樣的統(tǒng)一管理，的確給PANDE小組這樣的科學(xué)研究機(jī)構(gòu)提供了便利!

BOINC目前已經(jīng)成熟，多個(gè)項(xiàng)目已經(jīng)成功運(yùn)行于BOINC平臺(tái)之上，如SETI@home， LHC@home等。

BOINC分布式計(jì)算平臺(tái)介紹

BOINC是Berkeley Open Infrastructure for Network Computing的簡(jiǎn)稱，即伯克利開(kāi)放式網(wǎng)絡(luò)計(jì)算平臺(tái)。

BOINC是不同分布式計(jì)算可以共享的分布式計(jì)算平臺(tái)。不同分布式計(jì)算項(xiàng)目可以直接使用BOINC的公用上傳下載系統(tǒng)、統(tǒng)計(jì)系統(tǒng)等，這樣不僅可以發(fā)揮各個(gè)分布式計(jì)算之間的協(xié)調(diào)性，也能使分布式計(jì)算的管理、使用更加方便易用。

BOINC項(xiàng)目由美國(guó)加州大學(xué)伯克利分校(U.C.Berkeley)主持發(fā)起。

BOINC項(xiàng)目由美國(guó)國(guó)家科學(xué)基金會(huì)(National Science Foundation)贊助。

BOINC有自己的積分系統(tǒng)，因?yàn)樵贐OINC上可以運(yùn)行的項(xiàng)目千差萬(wàn)別，比如項(xiàng)目A的任務(wù)包(Workunit，簡(jiǎn)稱WU)在某臺(tái)機(jī)器里需要3個(gè)小時(shí)完成，而項(xiàng)目B的任務(wù)包在這臺(tái)機(jī)器里需要30個(gè)小時(shí)才能完成，顯然用WU的數(shù)目來(lái)衡量工作量是不可行的;類似的，機(jī)器性能也有差別，用CPU時(shí)間來(lái)衡量工作量更是不行的。積分系統(tǒng)只能通過(guò)一定的算法得到用戶實(shí)際完成的計(jì)算量，這篇文章對(duì)BOINC中積分的計(jì)算方法進(jìn)行了說(shuō)明。

分布式計(jì)算安全嗎?

對(duì)用戶方來(lái)說(shuō)，加入任何一個(gè)項(xiàng)目前，您必須確保您可以信任項(xiàng)目的研制方，主要涉及兩方面：

1.個(gè)人計(jì)算機(jī)上的隱私數(shù)據(jù)，您從項(xiàng)目方下載的計(jì)算程序，運(yùn)行在本機(jī)，而且可以訪問(wèn)網(wǎng)絡(luò)，因此，只有可靠的項(xiàng)目方才能保證您計(jì)算機(jī)上的隱私數(shù)據(jù)不會(huì)惡意的取走、修改等。

2.個(gè)人計(jì)算機(jī)的壽命，雖然分布式計(jì)算的計(jì)算程序一般運(yùn)行在最低優(yōu)先級(jí)，不會(huì)對(duì)您的日常使用造成影響，但計(jì)算程序全負(fù)荷運(yùn)行時(shí)仍會(huì)對(duì)計(jì)算機(jī)的各個(gè)部件造成一定壓力，要了解更多請(qǐng)查看分布式計(jì)算對(duì)計(jì)算機(jī)軟硬件的影響。

對(duì)項(xiàng)目方來(lái)說(shuō)，參加分布式計(jì)算的志愿者畢竟不是項(xiàng)目方自己的人員，并不是全體可信任，因此必須引入一定的冗余計(jì)算機(jī)制，才防止計(jì)算錯(cuò)誤、惡意作弊等。

分布式計(jì)算在中國(guó)

據(jù)中國(guó)互聯(lián)網(wǎng)信息中心(CNNIC)的統(tǒng)計(jì)信息，中文網(wǎng)民人數(shù)占世界的比重已經(jīng)增長(zhǎng)到了12%左右，并且還在快速增長(zhǎng)著。這里所說(shuō)的中文網(wǎng)民是包括大陸、香港、澳門、臺(tái)灣和海外華人的。您也許會(huì)問(wèn)互聯(lián)網(wǎng)在中國(guó)快速發(fā)展的原因。我想，主要有以下幾個(gè)方面。價(jià)格便宜：在上海一根512K的ADSL包月才120元人民幣左右。教育體制：最近政府花了巨資幫助大學(xué)、初高中修建了多媒體信息教室，這使得很多學(xué)生對(duì)信息技術(shù)充滿著興趣和渴望。

相比于互聯(lián)網(wǎng)在中國(guó)的快速發(fā)展，中國(guó)的分布式計(jì)算卻發(fā)展緩慢。就我看來(lái)，網(wǎng)民數(shù)量的統(tǒng)計(jì)并不能十分客觀地反映一個(gè)國(guó)家信息化程度的高低，而參與分布式計(jì)算網(wǎng)民的數(shù)量或比例卻可以明顯地看出這個(gè)國(guó)家科學(xué)普及化的水平。在這方面，毋庸置疑，歐美國(guó)家是十分領(lǐng)先的。在北歐國(guó)家，幾乎一半的電腦參加了分布式計(jì)算項(xiàng)目，這是一個(gè)驚人的數(shù)字。再讓我們來(lái)看看我們中國(guó)和印度，盡管我們擁有了不少最新科技，且看上去在網(wǎng)絡(luò)普及化進(jìn)程中有不錯(cuò)表現(xiàn)，但是在分布式計(jì)算方面卻很薄弱。讓我們來(lái)看些例子：

SETI@home是世界上最大的分布式計(jì)算項(xiàng)目。從中國(guó)的參與人數(shù)來(lái)看，它在中國(guó)也是最著名的項(xiàng)目。它通過(guò)使用聯(lián)網(wǎng)的計(jì)算機(jī)下載程序分析射電望遠(yuǎn)鏡所收到的訊號(hào)，來(lái)搜索地球外的生命跡象。

盡管中國(guó)在近一年來(lái)有所進(jìn)步，中國(guó)的國(guó)際排名從29上升到了24，但是我們中國(guó)用戶卻仍然只完成了日本用戶完成的工作數(shù)的十分之一，而日本，這個(gè)高度發(fā)達(dá)的國(guó)家網(wǎng)民人數(shù)缺少于中國(guó)?？磥?lái)，提高網(wǎng)民素質(zhì)、提高科學(xué)普及化程度也是十分重要的。印度和一些中東國(guó)家也有相似的問(wèn)題，而中歐國(guó)家明顯在這方面作得比較好，不少獨(dú)聯(lián)體國(guó)家所完成的數(shù)據(jù)量已經(jīng)超過(guò)了俄羅斯聯(lián)邦的總合。

Folding@home是一個(gè)研究蛋白質(zhì)折疊，誤解，聚合及由此引起的相關(guān)疾病的分布式計(jì)算工程。它使用聯(lián)網(wǎng)式的計(jì)算方式和大量的分布式計(jì)算能力來(lái)模擬蛋白質(zhì)折疊的過(guò)程，并指引我們近期對(duì)由折疊引起的疾病的一系列研究。

中國(guó)很少有人參加這個(gè)項(xiàng)目。

Climateprediction.net工程是把最新的氣候預(yù)測(cè)模型通過(guò)家庭、學(xué)校、辦公室的計(jì)算機(jī)來(lái)進(jìn)行計(jì)算。這些計(jì)算完成的結(jié)果將會(huì)組成世界最大的氣象預(yù)測(cè)模型。氣候改變了，而我們對(duì)此的行動(dòng)已經(jīng)是全球重要的話題。這將影響到人類的農(nóng)業(yè)生產(chǎn)、水資源量、生態(tài)系統(tǒng)、能源需求、保險(xiǎn)花費(fèi)和很多其他與人類息息相關(guān)的方面。確鑿的科學(xué)依據(jù)表明，地球在在接下來(lái)的幾個(gè)實(shí)際可能會(huì)變得溫暖話，但是我們無(wú)法估計(jì)到底變化會(huì)有多大。如果您參加，這將能有助與21世紀(jì)的氣候科學(xué)預(yù)測(cè)。

中國(guó)目前已經(jīng)有了很多計(jì)算機(jī)，其中不乏性能極其先進(jìn)的。而他們中的大多數(shù)僅僅是打字、播放幻燈而已。這不能不說(shuō)是一種資源的浪費(fèi)。

從另外一個(gè)角度看，我們不難發(fā)現(xiàn)發(fā)達(dá)國(guó)家和發(fā)展中國(guó)家的差距。我們把這種現(xiàn)象稱為數(shù)字鴻溝。另一個(gè)現(xiàn)象同樣令人痛心疾首，所有的分布式計(jì)算項(xiàng)目都是由發(fā)達(dá)國(guó)家發(fā)起的，這一方面也加深了科學(xué)鴻溝。斯坦福大學(xué)化學(xué)系的戈?duì)柟?bull;理查德•切爾曼教授說(shuō)，分布式計(jì)算將加快整個(gè)人類的科學(xué)進(jìn)程。科學(xué)家們現(xiàn)在可以完成以前從來(lái)想不到要去完成的，或者要花幾十年幾百年才能完成的計(jì)算任務(wù)。這是的確是千真萬(wàn)確的，但是這種計(jì)算從一定程度上助長(zhǎng)了發(fā)達(dá)國(guó)家的科學(xué)壟斷。

幸而，中國(guó)有關(guān)部門也開(kāi)始意識(shí)到分布式計(jì)算的重要性，一些大學(xué)教授和科學(xué)家也開(kāi)始鉆研分布式計(jì)算科學(xué)。

圖書《分布式計(jì)算》信息

作

者：(美國(guó))(HagitAttiya)阿蒂雅等

出版社： 電子工業(yè)出版社

出版時(shí)間： 2008

ISBN: 9787121062438

開(kāi)本： 16

定價(jià): 39.00 元

內(nèi)容簡(jiǎn)介

分布式計(jì)算系統(tǒng)現(xiàn)在越來(lái)越受到人們的重視，為使該較難的主題易于理解，本書簡(jiǎn)要介紹分布式計(jì)算的數(shù)學(xué)基礎(chǔ)和理論，揭示設(shè)計(jì)分布式系統(tǒng)的底層問(wèn)題(通信、協(xié)調(diào)、同步及不確定)和基本的算法概念及下界技術(shù)。所涉及模型的問(wèn)題領(lǐng)域包括領(lǐng)導(dǎo)者選舉、互斥、一致性、時(shí)鐘同步等，以及最新的快速互斥算法、對(duì)列鎖、分布式共享存儲(chǔ)器、無(wú)等待層級(jí)和故障檢測(cè)器等。本書涵蓋了分布式計(jì)算理論的主要內(nèi)容，強(qiáng)調(diào)不同模型之間的相似點(diǎn)，同時(shí)也解釋了它們之間的內(nèi)在差異。

本書可作為大學(xué)計(jì)算機(jī)專業(yè)高年級(jí)本科生及研究生的教材，也可作為研究人員和專業(yè)人士的參考用書。

目錄

第1章引言

1.1分布式系統(tǒng)

1.2分布式計(jì)算理論

1.3內(nèi)容概要

1.4理論和實(shí)踐的關(guān)系

本章注釋

第一部分

第2章消息傳遞系統(tǒng)中的基本算法

2.1消息傳遞系統(tǒng)的形式化模型

2.2生成樹(shù)上的廣播和斂播

2.3洪泛算法及構(gòu)造生成樹(shù)

2.4構(gòu)造指定根的深度—優(yōu)先搜索生成樹(shù)

2.5構(gòu)造不指定根的深度—優(yōu)先搜索生成樹(shù)

練習(xí)

本章注釋

第3章環(huán)中領(lǐng)導(dǎo)者選舉算法

3.1領(lǐng)導(dǎo)者選舉問(wèn)題

3.2匿名環(huán)

3.3異步環(huán)

練習(xí)

本章注釋

第4章共享存儲(chǔ)器中的互斥

第5章容錯(cuò)一致性

第6章因果關(guān)系和時(shí)間

第7章模擬的形式化模型

第8章廣播與多播

第9章分布式共享存儲(chǔ)器

第10章讀/寫對(duì)象的容錯(cuò)模擬

第11章模擬同步

第12章改進(jìn)算法的容錯(cuò)性

第13章容錯(cuò)的時(shí)鐘同步

第14章隨機(jī)化

第15章任意對(duì)象的無(wú)等待模擬

第16章異步系統(tǒng)中的可解問(wèn)題

參考文獻(xiàn)

……