Cook-Levin theorem

danh từ riêng (proper noun)

Nghĩa chính

Định lý phát biểu rằng bài toán thỏa mãn Boolean là NP-đầy đủdanh từ riêngA theorem stating that the Boolean satisfiability problem is NP-complete.

Đồng nghĩa (synonym)

Đồng nghĩa

AI