Thực sự chỉ có một kỹ thuật không tương đối hóa "hàng đầu": cụ thể là tính toán số hóa (kỹ thuật được sử dụng trong các bằng chứng về IP = PSPACE, MIP = NEXP, PP⊄SIZE (n k ), MA EXP P / poly và một số kết quả khác ).
Tuy nhiên, bằng chứng cho thấy tất cả các ngôn ngữ NP đều có bằng chứng không có kiến thức tính toán (giả sử tồn tại các hàm một chiều), do Goldreich, Micali và Wigderson, đã sử dụng một kỹ thuật không tương đối khác (cụ thể là đối xứng của bài toán 3 MÀU ).
Arora, Impagliazzo và Vazirani lập luận rằng ngay cả "khả năng kiểm tra cục bộ", tính chất của các vấn đề hoàn chỉnh NP được sử dụng trong chứng minh Định lý Cook-Levin ban đầu (cũng như Định lý PCP), nên được coi là một kỹ thuật không tương đối ( mặc dù Lance Fortnow đã viết một bài báo lập luận ngược lại). Điểm gắn bó là liệu nó có ý nghĩa để tương đối hóa lớp phức tạp của "các vấn đề có thể kiểm tra cục bộ".
Các đối số cuội được sử dụng trong các kết quả từ những năm 1970 như TIME (n) ≠ NTIME (n) đã được đưa ra như một ví dụ khác về kỹ thuật không tương đối hóa.
Để biết thêm, bạn có thể muốn kiểm tra giấy báo cáo của tôi với Wigderson , và đặc biệt là các tài liệu tham khảo trong đó. Chúng tôi đã phải lập danh mục khá nhiều các kỹ thuật không tương đối hiện có để tìm ra cái nào và không được bao bọc bởi hàng rào ngăn cách.
Phụ lục: Tôi mới nhận ra rằng tôi đã quên đề cập đến điện toán lượng tử dựa trên đo lường (MBQC) , gần đây đã được Broadbent, Fitzsimons và Kashefi sử dụng để có được các định lý phức tạp lượng tử (như QMIP = MIP *, và BQP = MIP với các trình duyệt BQP vướng víu và trình xác minh BPP) rất có thể không tương đối hóa.