Intuitively, NP is the set of all d

Intuitively, NP is the set of all decision problems for which the instances where the answer is "yes" have efficiently verifiable proofs of the fact that the answer is indeed "yes". More precisely, these proofs have to be verifiable in polynomial time by a deterministic Turing machine. In an equivalent formal definition, NP is the set of decision problems where the "yes"-instances can be accepted in polynomial time by a non-deterministic Turing machine. The equivalence of the two definitions follows from the fact that an algorithm on such a non-deterministic machine consists of two phases, the first of which consists of a guess about the solution, which is generated in a non-deterministic way, while the second consists of a deterministic algorithm that verifies or rejects the guess as a valid solution to the problem.[2]

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

Trực giác, NP là tập hợp của tất cả các vấn đề quyết định mà các trường hợp mà câu trả lời là "có" đã chứng minh hiệu quả kiểm chứng về thực tế là câu trả lời là thực sự "có". Chính xác hơn, những bằng chứng đã được kiểm chứng trong thời gian đa thức bởi một máy Turing xác định. Trong một định nghĩa chính thức tương đương, NP là tập hợp của các vấn đề quyết định nơi "có"-trường hợp có thể được chấp nhận trong thời gian đa thức máy Turing phòng không xác định. Sự tương đương của hai định nghĩa sau từ một thực tế rằng một thuật toán trên một máy tính không xác định bao gồm hai giai đoạn, đầu tiên trong đó bao gồm một đoán về giải pháp được tạo ra theo cách không xác định, trong khi thứ hai bao gồm một thuật toán xác định đó xác nhận hoặc từ chối các đoán như là một giải pháp hợp lệ cho vấn đề. [2]

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

Bằng trực giác, NP là tập hợp của tất cả các vấn đề quyết định mà các trường hợp mà câu trả lời là "có" có giấy tờ chứng minh có hiệu quả kiểm chứng trên thực tế là câu trả lời thực sự là "có". Chính xác hơn, những bằng chứng trên phải được kiểm chứng trong thời gian đa thức bởi một máy Turing tất định. Trong một định nghĩa chính thức tương đương, NP là tập hợp của các vấn đề quyết định nơi mà các "yes" -instances có thể được chấp nhận trong thời gian đa thức bởi một máy Turing không xác định. Sự tương đương của hai định nghĩa sau từ thực tế là một thuật toán trên một máy không xác định như vậy bao gồm hai giai đoạn, là người đầu tiên trong số đó bao gồm một đoán về các giải pháp, được tạo ra một cách không xác định, trong khi thứ hai bao gồm một thuật toán xác định rằng xác minh hoặc bác bỏ các phỏng đoán như là một giải pháp hợp lệ cho vấn đề. [2]