Không gian đánh đổi giới hạn thời gian

Sau cuộc thảo luận về giới hạn dưới cho 3SAT [ 1 ], tôi tự hỏi đâu là kết quả ràng buộc chính thấp hơn được coi là sự đánh đổi trong không gian. Tôi đang loại trừ các kết quả, chẳng hạn như định lý của Savitch; một mục tốt sẽ tập trung vào một vấn đề duy nhất và giới hạn của nó. Một ví dụ sẽ là:

"Gọi T và S là thời gian chạy và không gian bị ràng buộc của bất kỳ thuật toán SAT nào. Sau đó, chúng ta phải có T⋅S≥n2cos (π / 7) o (1) vô cùng thường xuyên." (Được đưa ra trong [ 1 ] bởi Ryan Williams.)

hoặc là

"SAT không thể được giải quyết đồng thời trong n ^{1 + 0 (1)} thời gian và n ^1-ε không gian cho bất kỳ> 0 nào trên các máy Turing không truy cập ngẫu nhiên truy cập ngẫu nhiên chung." (Lance Fortnow trong 10.1109 / CCC.1997.612300)

Hơn nữa, tôi bao gồm các định nghĩa về các lớp phức tạp đánh đổi không gian thời gian tự nhiên (không bao gồm các lớp mạch).

Dưới đây là một vài tài liệu tham khảo bổ sung. Nhiều hơn có thể được tìm thấy bằng cách nhìn vào các giấy tờ trích dẫn này.

$P$$T^2 S \geq \Omega(n^3)$

$O(n)$$O(1)$$k+1$$T S \geq \Omega(n^2)$$k$

$S \leq o(n)$$T \geq \omega(n)$

$TS \geq \Omega(n^2)$