Theo phép rút gọn, nếu X và Y có thể được giải bằng cùng một thuật toán thì X thực hiện hàm nào trong mối quan hệ với Y?
Nhiều lớp độ phức tạp được định nghĩa bằng cách sử dụng khái niệm quy giản. Quy giản là sự biến đổi một bài toán thành một bài toán khác. Nó nắm bắt khái niệm không chính thức về một bài toán ít nhất cũng khó như một bài toán khác. Ví dụ, nếu một bài toán X có thể được giải bằng thuật toán cho Y, X không khó hơn Y và chúng ta nói rằng X quy giản thành Y. Có nhiều loại quy giản khác nhau, dựa trên phương pháp quy giản, chẳng hạn như quy giản Cook, quy giản Karp và quy giản Levin, và giới hạn về độ phức tạp của quy giản, chẳng hạn như quy giản đa thức thời gian hoặc quy giản log-không gian.
giảm