Làm

Nó được biết rằng cho $f(n) \geq \log n$, $\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n))$.

Nếu thì sao? Có phải họ cũng bằng nhau?$f(n)<\log n$

Định lý Immerman hạng Szelepcsényi hoạt động dưới sự khử logarit. Các lớp không gian sublogarithmic có mức giảm khác nhau. Các TM làm việc trong không gian sublogarithmic thậm chí không thể ghi lại độ dài của đầu vào . Nó đã được chỉ ra rằng hệ thống phân cấp không gian cho bất kỳ phân lớp phụ nào bị ràng buộc trong Ω (log log n) - o (log n) nằm trong ưu tiên. Bạn có thể tìm thấy nó trong các tài liệu tham khảo sau:

V. Geffert. Sublogarithmic σ2-space không được đóng dưới phần bù và các kết quả tách khác . Tin học lý thuyết và ứng dụng, 27: 349 trừ366, 1993.

M. Liśkiewicz và R. Reischuk. Tách các cấp thấp hơn của hệ thống phân cấp không gian sublogarithmic . Trong Kỷ yếu Hội thảo về các khía cạnh lý thuyết của khoa học máy tính, trang 6 Tắt27, 1993.

B. von Braunmuhl " Sự thay thế cho máy hai chiều với không gian sublogarithmic ". Trong Kỷ yếu Hội thảo về các khía cạnh lý thuyết của khoa học máy tính, trang 5 Tắt15, 1993.

Bài báo Thế giới phức tạp bên dưới không gian logarit của M. Liśkiewicz và R. Reischuk chứa đựng một sự bao bọc tuyệt vời của không gian sublogarithmic.