✨NC (độ phức tạp)

Trong lý thuyết độ phức tạp tính toán, lớp NC (viết tắt cho "Nick's Class") là tập hợp các bài toán quyết định giải được trong thời gian đa thức của lôgarit trên máy tính song song với số bộ xử lý là đa thức. Nói cách khác, một bài toán nằm trong NC khi và chỉ khi tồn tại hằng số c và k sao cho nó có thể giải trong thời gian $O(\backslash log^c\; n)$ bằng $O(n^k)$ bộ xử lý. Stephen Cook đưa ra tên gọi "Nick's Class" theo tên của Nick Pippenger, người đã có nhiều nghiên cứu về mạch logic với chiều sâu đa thức của lôgarit và kích thước đa thức.

Cũng như P được xem là lớp các bài toán có thể giải hiệu quả trên máy thông thường, NC được xem là lớp các bài toán giải được hiệu quả trên máy song song. NC là tập hợp con của P do tính toán song song trong thời gian đa thức của lôgarit có thể được giả lập trên máy thông thường trong thời gian đa thức. Vẫn chưa biết liệu NC và P có bằng nhau hay không.

Máy tính song song thường được định nghĩa là một máy song song, truy cập ngẫu nhiên (mô hình PRAM, viết tắt tên tiếng Anh parallel random-access machine). Trong mô hình này, máy có bộ nhớ sử dụng chung cho các bộ xử lý, và mỗi bộ xử lý có thể truy cập bất kì địa chỉ bộ nhớ nào trong thời gian hằng số. Định nghĩa của NC không phụ thuộc vào lựa chọn cách PRAM xử lý việc nhiều bộ xử lý truy cập cùng một lúc một địa chỉ bộ nhớ (có thể là CRCW, CREW, hay EREW).

Một cách tương đương, NC là tập hợp những bài toán quyết định được bởi các mạch logic đồng dạng với chiều sâu đa thức của lôgarit và số cổng là đa thức.

Cấp bậc NC

NCⁱ là lớp các bài toán quyết định được bởi các mạch logic đồng dạng có chiều sâu $O(\backslash log^i\; n)$ và kích thước đa thức. Ta có :$\backslash textbf\{NC\}^1\; \backslash subseteq\; \backslash textbf\{NC\}^2\; \backslash subseteq\; \backslash cdots\; \backslash subseteq\; \backslash textbf\{NC\}^i\; \backslash subseteq\; \backslash cdots\; \backslash textbf\{NC\}$ Đây gọi là cấp bậc NC.

Ta có thể so sánh lớp NC với lớp L và NL. Theo , định lý 16.1:

:$\backslash mathbf\{NC\}^1\; \backslash subseteq\; \backslash mathbf\{L\}\; \backslash subseteq\; \backslash mathbf\{NL\}\; \backslash subseteq\; \backslash mathbf\{NC\}^2\; \backslash subseteq\; \backslash mathbf\{P\}.$

Tương tự như vậy, NC tương đương với các bài toán giải được bằng máy Turing luân phiên với bộ nhớ $O(\backslash log\; n)$ và $(\backslash log\; n)^\{O(1)\}$ lần luân phiên.

Vấn đề mở: các lớp trong cấp bậc NC có khác nhau?

Một vấn đề mở trong lý thuyết độ phức tạp tính toán là các lớp trong cấp bậc NC có khác nhau. Papadimitriou đã nhận thấy rằng, nếu NCⁱ = NCⁱ⁺¹ với một số i nào đó, thì NCⁱ = NC^j với mọi j ≥ i, và do đó, NCⁱ = NC. Nhận xét này gọi là sự sụp đổ của cấp bậc NC bởi chỉ cần hai lớp bằng nhau trong :$\backslash textbf\{NC\}^1\; \backslash subseteq\; \backslash textbf\{NC\}^2\; \backslash subseteq\; \backslash cdots$ thì toàn bộ cấp bậc NC "sụp đổ" xuống một tầng thứ i nào đó.