Tìm kiếm giảm Logspace khó hơn giảm P?

Được thúc đẩy bởi câu trả lời của Shor liên quan đến các khái niệm khác nhau về tính đầy đủ của NP, tôi đang tìm kiếm một vấn đề hoàn thành NP theo mức giảm P nhưng không được biết là hoàn thành NP theo mức giảm Logspace (tốt nhất là trong một thời gian dài). Ngoài ra, việc tìm kiếm giảm Logspace giữa các vấn đề hoàn thành NP có khó hơn tìm kiếm giảm P không?

Kaveh đã đúng khi nói rằng tất cả các vấn đề hoàn thành NP "tự nhiên" đều dễ dàng được nhìn thấy là hoàn thành theo (giảm) . Tuy nhiên, người ta có thể xây dựng các bộ hoàn chỉnh cho NP theo các mức giảm logspace chưa hoàn thành trong các mức giảm . Chẳng hạn, trong [Agrawal et al, Độ phức tạp tính toán 10 (2): 117-138 (2001)), mã hóa sửa lỗi SAT đã được hiển thị để có thuộc tính này.A C$\mathrm{AC}^0$$\mathrm{AC}^0$

Liên quan đến một ứng cử viên "có khả năng" cho một vấn đề hoàn thành trong việc giảm thời gian nhiều lần nhưng không phải là giảm bớt logspace, người ta có thể thử nấu một ví dụ về hình thức { : ở SAT và nằm trong CVP [hoặc một số bộ hoàn chỉnh P khác] iff , trong đó là chuỗi kết quả bằng cách lấy mỗi bit thứ 2 của }. Chắc chắn cách ngây thơ để chỉ ra rằng bộ này đã hoàn thành sẽ liên quan đến việc tính toán mức giảm thông thường thành SAT, sau đó xây dựng và tính toán bitϕ z b = 1 z ϕ z $(\phi,b)$$\phi$$z$$b=1$$z$$\phi$$z$$b$, vốn dĩ là đa thời gian. Tuy nhiên, với một chút công việc, các sơ đồ như thế này thường có thể được hiển thị để hoàn thành trong việc giảm logspace thông qua một số giảm không ngây thơ. (Tôi chưa tìm ra ví dụ cụ thể này ...)