PSPACE

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
Vấn đề mở trong khoa học máy tính
Có phải P = PSPACE ? Question mark2.svg

Trong lý thuyết độ phức tạp tính toán, PSPACE là tập hợp các bài toán quyết định giải được bằng máy Turing trong không gian/bộ nhớ đa thức.

Định nghĩa[sửa | sửa mã nguồn]

\mbox{SPACE}(s(n)) được định nghĩa là tập hợp tất cả các bài toán quyết định giải được bằng máy Turing trong bộ nhớ s(n), trong đó s là một hàm số của n. Định nghĩa PSPACE

\mbox{PSPACE} = \bigcup_{k\in\mathbb{N}} \mbox{SPACE}(n^k)

PSPACE là tập hợp cha thực sự của tập hợp các ngôn ngữ phụ thuộc ngữ cảnh.

Việc cho phép máy Turing sử dụng thuật toán không đơn định không làm thay đổi lớp độ phức tạp này. Theo định lý Savitch, NPSPACE đúng bằng PSPACE, do máy Turing đơn định có thể giả lập máy Turing không đơn định mà bộ nhớ không cần tăng lên quá nhiều (dù thời gian cần dùng có thể tăng lên nhiều). Ngoài ra phần bù của các ngôn ngữ trong PSPACE cũng nằm trong PSPACE, nên co-PSPACE = PSPACE.

Liên hệ với các lớp độ phức tạp khác[sửa | sửa mã nguồn]

Liên hệ giữa một số lớp độ phức tạp

Cho đến nay, các liên hệ sau giữa PSPACE và các lớp độ phức tạp NL, P, NP, PH, EXPTIME and EXPSPACE đã được chứng minh (chú ý rằng \subsetneq khác với \not\subseteq):

\mbox{NL} \subseteq \mbox{P} \subseteq \mbox{NP} \subseteq \mbox{PH} \subseteq \mbox{PSPACE}
\mbox{PSPACE} \subseteq \mbox{EXPTIME} \subseteq \mbox{EXPSPACE}
\mbox{NL} \subsetneq \mbox{PSPACE} \subsetneq \mbox{EXPSPACE}

Ngoài ra người ta cũng đã chứng minh trong các quan hệ trong dòng một và dòng hai ở trên, tồn tại ít nhất một quan hệ tập hợp cha-con là chặt.

Các liên hệ ở dòng ba là chặt, có thể chứng minh bằng phương pháp chéo hóa (định lý cấp bậc không gian, \mbox{NL} \subsetneq \mbox{NPSPACE}) và \mbox{PSPACE} = \mbox{NPSPACE} theo định lý Savitch.

Các bài toán khó nhất trong PSPACE là các bài toán PSPACE-đầy đủ.

Các định nghĩa tương đương[sửa | sửa mã nguồn]

Một định nghĩa tương đương của PSPACE là tập hợp các bài toán quyết định được bởi máy Turing luân phiên trong thời gian đa thức, kí hiệu là APTIME hay AP.

Một định nghĩa khác của PSPACE từ lý thuyết độ phức tạp mô tả là tập hợp các bài toán biểu diễn được trong lôgic bậc hai bổ sung thêm toán tử bao đóng bắc cầu. Việc thêm toán tử này (có thể) là điểm khác biệt giữa PSPACEPH.

Một kết quả lớn trong lý thuyết độ phức tạp tính toán là PSPACE chính là tập hợp các ngôn ngữ giải được bởi các hệ chứng minh tương tác dùng để định nghĩa lớp IP. Trong hệ này, một người chứng minh toàn năng cố gắng thuyết phục một người kiểm chứng có khả năng thực thi thuật toán ngẫu nhiên trong thời gian đa thức rằng một xâu kí tự nằm trong ngôn ngữ cần xem xét. Nếu xâu kí tự thật sự nằm trong ngôn ngữ đó thì người chứng minh có thể thuyết phục được với xác suất cao. Ngược lại, nếu xâu kí tự không nằm trong ngôn ngữ thì người chứng minh chỉ có thể thuyết phục thành công với xác suất thấp.

PSPACE cũng bằng lớp độ phức tạp lượng tử QIP.[1]

PSPACE-đầy đủ[sửa | sửa mã nguồn]

Bài chi tiết: PSPACE-đầy đủ

Ngôn ngữ BPSPACE-đầy đủ nếu nó nằm trong PSPACE và là PSPACE-khó, nghĩa là với mọi A \in PSPACE, A \leq_p B, trong đó A \leq_p B nghĩa là tồn tại một thuật toán thời gian đa thức quy mỗi trường hợp trong A về một trường hợp trong B. Việc nghiên cứu các bài toán PSPACE-đầy đủ là rất quan trọng cho việc nghiên cứu PSPACE do chúng là những bài toán khó nhất trong PSPACE. Nếu tồn tại một lời giản đơn giản cho một bài toán PSPACE-đầy đủ thì mọi bài toán trong PSPACE đều có lời giải đơn giản do chúng đều có thể quy về bài toán PSPACE-đầy đủ.

Tài liệu tham khảo[sửa | sửa mã nguồn]

  1. ^ QIP = PSPACE, Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous arXiv:0907.4737 (July 2009)

Liên kết ngoài[sửa | sửa mã nguồn]