Nhiệm vụ của việc quyết định thành viên là: đưa ra bất kỳ đầu vào , quyết định wether x ∈ L , tức là tính toán hàm sau:xx ∈ L
χL( x ) = { 10x ∈ Lx ∉ L
Mặt khác, công tác xác minh thành viên là: đưa ra bất kỳ đầu vào và (đề xuất) bằng chứng (hoặc chứng ) của thành viên, kiểm tra một cách nhanh chóng thời tiết x ∈ L bằng mà bằng chứng ¹.xx ∈ L
Ví dụ, xem xét yếu tố chính. Cho , tính tất cả các thừa số nguyên tố của n . Mặt khác, đã cho ( n , { i 1 , Mạnh , i k } ) , xác minh rằng ∏ k j = 1 i j = n . Cái nào dễ hơn?n ∈ Nn( n , { tôi1, ... , ik} )Πkj = 1Tôij= n
Một ví dụ khác: Cho một đồ thị có trọng số , quyết định thời tiết có một vòng tròn Hamilton (truy cập tất cả các nút) có trọng số nhiều nhất là k . Mặt khác, do ( G , ( v 1 , ... , v n ) ) , xác minh thời tiết con đường v 1 → ⋯ → v n thăm tất cả các nút đúng một lần và có trọng lượng tối đa là k . Cái nào khó hơn?G = ( V, E)k( G , ( v1, ... , vn) )v1→ ⋯ → vnk
- Vì vậy, bạn sẽ nói "không" nếu nhưng bằng chứng là sai. Điều đó cũng tốt, mặc dù, khi chúng tôi xem xét các máy không xác định trong bối cảnh này; điều quan trọng là chúng ta có thể đoán bằng chứng chính xác và xác minh nó (một cách nhanh chóng).x ∈ L