This implies that the corresponding decision problem is in NP.
Điều này ngụ ý rằng bài toán quyết định tương ứng thì nằm trong NP.