Câu hỏi được gắn thẻ «relativization»


2
Một lời tiên tri để tách NP khỏi coNP
Làm thế nào để chứng minh rằng ? Tôi chỉ tìm kiếm một TM M như vậy và một ngôn ngữ đệ quy L ( M ) = L mà cái này giữ.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Tôi biết các bằng chứng mà bạn thấy rằng có một lời sấm …



Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.