The complexity class NP can be defi

The complexity class NP can be defined in terms of NTIME as follows:

mbox{NP} = igcup_{kinmathbb{N}} mbox{NTIME}(n^k).
Alternatively, NP can be defined using deterministic Turing machines as verifiers. A language L is in NP if and only if there exist polynomials p and q, and a deterministic Turing machine M, such that

For all x and y, the machine M runs in time p(|x|) on input (x,y)
For all x in L, there exists a string y of length q(|x|) such that M(x,y) = 1
For all x not in L and all strings y of length q(|x|), M(x,y) = 0

Kết quả (Việt) 1:

Lớp độ phức tạp NP có thể được định nghĩa trong điều khoản của NTIME như sau:= igcup_{kinmathbb{N}} mbox{NTIME}(n^k).Ngoài ra, NP có thể được xác định bằng cách sử dụng máy Turing xác định như verifiers. Một ngôn ngữ L là trong NP nếu và chỉ nếu có tồn tại đa thức p và q và máy Turing xác định, M, như vậy màVới mọi x và y, máy M chạy trong thời gian p(|x|) trên đầu vào (x, y)Với mọi x thuộc L, có tồn tại một chuỗi y của chiều dài q(|x|) như vậy mà M(x,y) = 1Với mọi x không thuộc L và tất cả dây y của chiều dài q(|x|), M(x,y) = 0

Kết quả (Việt) 2:

Các lớp phức tạp NP có thể được xác định theo tỷ NTIME như sau:. Mbox {NP} = bigcup_ {k in mathbb {N}} mbox {NTIME} (n ^ k) Ngoài ra, NP có thể được xác định bằng cách sử dụng Máy Turing xác định là người xác minh. Một ngôn ngữ L là trong NP nếu và chỉ nếu tồn tại đa thức p và q, và xác định máy Turing M, như vậy Đối với tất cả x và y, máy M chạy trong thời gian p (| x |) vào đầu vào (x, y ) Đối với mọi x trong L, có tồn tại một chuỗi y chiều dài q (| x |) như vậy mà M (x, y) = 1 Đối với tất cả các x không có trong L và tất cả các chuỗi y chiều dài q (| x |), M (x, y) = 0