định nghĩa của đa thức
Đa thức là một biểu thức toán học bao gồm tổng các số hạng, mỗi số hạng bao gồm một biến số hoặc các biến số được nâng lên thành lũy thừa và nhân với một hệ số. Đa thức đơn giản nhất có một biến. anxn + an-1xn-1 + ... trong đó a đại diện cho các hệ số và x đại diện cho biến.
Bài toán NP-đầy đủ có nghĩa là một bài toán NP X, sao cho bất kỳ bài toán NP nào Y đều có thể được rút gọn thành X bằng cách rút gọn đa thức. Điều đó ngụ ý rằng nếu ai đó từng đưa ra giải pháp theo thời gian đa thức cho một bài toán NP-đầy đủ, điều đó cũng sẽ đưa ra giải pháp theo thời gian đa thức cho bất kỳ bài toán NP nào.