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

Khi tôi đang giải thích bằng chứng Baker-Gill-Solovay rằng có tồn tại một lời sấm mà chúng ta có thể có, và một lời sấm truyền mà chúng ta có thể đưa P ≠ N P cho một người bạn, một câu hỏi được đặt ra là tại sao những …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

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 …

12 complexity-theory  relativization 

Tôi tham gia khóa học về độ phức tạp tính toán. Vấn đề của tôi là tôi không hiểu phương pháp tương đối hóa . Tôi đã cố gắng tìm một chút trực giác trong nhiều sách giáo khoa, thật không may, cho đến nay không có thành công. Tôi …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Sau đây là một bài tập mà tôi bị mắc kẹt tại (nguồn: Sanjeev Arora và Boaz Barak; nó không phải là bài tập về nhà): Chứng minh rằng có một oracle và một ngôn ngữ ví dụ rằng không phải là thời gian đa thức rút gọn về 3SAT …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Tôi xin lỗi, nhưng ngay cả sau hai bài đăng khác: ở đây và ở đây tôi vẫn gặp khó khăn trong việc hiểu các TM tiên tri và thuyết tương đối hóa. Câu hỏi này xuất phát từ vấn đề từ một góc độ khác: Tại sao các bằng …

7 complexity-theory  proof-techniques  oracle-machines  relativization