在計算複雜度理論,NC(Nick's Class),是一個複雜度類,是能被並行計算機在多對數函數時間(O(logc n))內以多項式空間(或者說O(nk)並行執行緒)下解決的判定問題的集合,最先由史提芬·古克提出。[1]
正如P被認為是易解複雜度類一般,NC也被認為是在並行計算上易解的問題。[2]明顯的有NC ⊆ P,因為一切並行計算都可以以多項式空間依次的在確定型圖靈機上運行。我們目前仍未知道的一個關鍵問題是,NC = P是否成立。大多數的研究人員都認為這是不可能的——否則的話這意味著一切可計算函數都可以並行計算化。正如NP完全對於P來說是懷疑難解複雜度類一樣,P完全對於NC來說也是「懷疑難解」的。
定義中的並行計算機,可以看作為一個並行,公共的PRAM池,所有的並行執行緒都可以在任意時間訪問池的任意位置,NC的定義不受是否可以同時訪問的影響,當然無論是CRCW,CREW還是EREW都是不受影響的。
RNC是隨機化方向的對NC的擴展。
NC譜系
在計算複雜度理論,NCi,是一個複雜度類,是能被並行計算機在O(logi n)時間內以多項式空間下解決的判定問題的集合,那麼明顯地有以下性質:
![{\displaystyle \mathbf {NC} ^{1}\subseteq \mathbf {NC} ^{2}\subseteq \cdots \subseteq \mathbf {NC} ^{i}\subseteq \cdots \mathbf {NC} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6dbed2fc91b77be5c133085bb789a23f588c89c)
此之為NC譜系。如果考慮和L,NL和AC的話那麼有:
![{\displaystyle \mathbf {NC} ^{1}\subseteq \mathbf {L} \subseteq \mathbf {NL} \subseteq \mathbf {AC} ^{1}\subseteq \mathbf {NC} ^{2}\subseteq \mathbf {P} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6834837ae43c52c3481503086a00a80433ee304a)
[2][3]
- 這直接導致了NC = AC。即使是對於i = 0也是嚴格成立的。[4]
未解問題:NC階層是否真階層?
一個主要的而懸而未決的問題是,計算複雜度理論(的某些部分)對於NC譜系是否真的適用。
Papadimitriou發現,如果設存在某些i令
那麼對於一切j ≥ i均存在
這一命題被稱之為NC譜系崩塌,因為根據NC譜系鏈有
![{\displaystyle {\textbf {NC}}^{1}\subseteq {\textbf {NC}}^{2}\subseteq \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c581bf0d8240ff16205849cc1309956cce139a6)
這意味著NC譜系有可能會崩塌到某個i值。對於這個問題,有兩種可能性:
![{\displaystyle {\textbf {NC}}^{1}\subset \cdots \subset {\textbf {NC}}^{i}\subset ...\subset {\textbf {NC}}^{i+j}\subset \cdots {\textbf {NC}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ef40383c373a99474c50d01fec38ec857f32afd)
![{\displaystyle {\textbf {NC}}^{1}\subset \cdots \subset {\textbf {NC}}^{i}=...={\textbf {NC}}^{i+j}=\cdots {\textbf {NC}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7695375a2c463bb6ca55f180d94491159c72f14f)
人們目前普遍認為(1)正確的,雖然還沒有什麼確切的證據。
參考資料
- ^ Arora & Barak (2009) p.120
- ^ 2.0 2.1 Arora & Barak (2009) p.118
- ^ Clote & Kranakis (2002) p.437
- ^ Clote & Kranakis (2002) p.12
|
---|
| 易解複雜度類 | | |
---|
| 懷疑難解複雜度類 | |
---|
| 難解複雜度類 | |
---|
| 複雜度類的譜系 | |
---|
| 相關複雜度族 | |
---|
|