Metadata
Author: WikiMatrix
Data
English[en]
A common reformulation of NP states that a language is in NP if and only if a given answer can be verified by a deterministic machine in polynomial time.
Korean[ko]
흔히 NP를 이렇게 다시 형식화한다: 어떤 언어가 NP라는 것과 답이 주어질 때 결정론적 기계로 다항시간에 검증할 수 있다는 것은 동치이다.