Là

Tôi đã không thể tìm thấy một tuyên bố liên quan đến và N P R P trong tài liệu; con trỏ sẽ được đánh giá cao.$\mathsf{MA}$$\mathsf{NP}^\mathsf{RP}$

Tôi tin rằng họ là như nhau:

• N P R $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ : Máy đoán chuỗi của Merlin và nhà tiên tri xác minh chuỗi như Arthur.$\mathsf{NP}$$\mathsf{RP}$

• N P R P R $\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ : Merlin đoán tính toán chấp nhận của máy , bao gồm tất cả các cuộc gọi, cũng như kết quả của các cuộc gọi này, với tiên tri . Sau đó, Arthur xác minh rằng tính toán là hợp lệ và tất cả các kết quả được đoán của các cuộc gọi đến nhà tiên tri là chính xác. Anh ta sử dụng khuếch đại và giới hạn kết hợp để ràng buộc tổng xác suất lỗi.$\mathsf{NP}$$\mathsf{RP}$$\mathsf{RP}$

Điều này có đúng không?

Trong viên đạn đầu tiên, chúng ta sẽ cần lời sấm để trả lời

• CÓ, nếu kiểm tra của Arthur thành công với xác suất (giả sử giao thức MA có tính hoàn chỉnh hoàn hảo),$1$

• KHÔNG, nếu kiểm tra của Arthur thành công với xác suất .$\le 1/2$

Điều này nghe có vẻ giống như một thuật toán coRP, nhưng điều thú vị là không có gì đảm bảo rằng một trong hai điều kiện này áp dụng cho mọi đầu vào có thể vào nhà tiên tri. Do đó, nhà tiên tri không tính toán ngôn ngữ coRP , nhưng vấn đề về lời hứa coRP và toàn bộ đối số chỉ cho thấy .$\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$