2
Động lực cho việc sử dụng Karp-giảm trong lý thuyết của
Khái niệm giảm thời gian đa thức (Giảm Cook) là một khái niệm trừu tượng của một khái niệm rất trực quan: giải quyết hiệu quả một vấn đề bằng cách sử dụng thuật toán cho một vấn đề khác. Tuy nhiên, trong lý thuyết của -completeness, khái niệm về …