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

Bởi http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Nếu là ngôn ngữ hoàn chỉnh PSPACE, .AAAPA=NPAPA=NPAP^{A}=NP^{A} Nếu là một nhà tiên tri thời gian đa thức xác định, (giả sử ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP PPPPPP là lớp các vấn đề quyết định tương tự cho và ,#P#P\#PP⊆PP⊆PSPACEP⊆PP⊆PSPACEP\subseteq PP\subseteq PSPACE nhưng không biết hay . Nhưng có thật …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Tôi muốn biết nếu có tồn tại một thế giới tương đối hóa nơi . Tôi cũng quan tâm để biết nếu có tồn tại một thế giới tương đối hóa nơi P B ≠ N P B = P P B .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not …

11 cc.complexity-theory  oracles  relativization 

Trong một bài viết về tính toán tương đối hóa logspace, Ladner và Lynch xây dựng một nhà tiên tri liên quan đến . Có một số ví dụ bệnh lý hơn trong tĩnh mạch này trong tài liệu. Tôi đã đọc một số bài báo về các lớp không …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Câu hỏi này có thể có một câu trả lời rõ ràng ... nhưng dù sao đây cũng là câu hỏi. Theo trực giác, đó là tuyên bố hợp lý sau đây - "một máy có chương trình con A, lần lượt có chương trình con B giống như một …

11 complexity-classes  oracles 

Lý thuyết kiểu xây dựng với sự giải thích cơ bản của nó dưới sự tương ứng của cà ri howard chỉ bao gồm các hàm tổng số, tính toán được. Trong tài liệu, một số người đã nói về việc sử dụng "lý thuyết loại tính toán" để thể …

10 lo.logic  type-theory  oracles  halting-problem 

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.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Tôi tin rằng họ là như nhau: N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : Máy đoán chuỗi của Merlin và nhà tiên tri …

10 cc.complexity-theory  oracles 

Đặt là bất kỳ EXP hoàn thành vấn đề. Sau đó, P Một = N P Một .AAAPA=NPAPA=NPAP^A = NP^A Hãy có một số oracle mà sẽ đưa vào các tài khoản truy vấn mà M (một TM trong P) sẽ làm, và chúng tôi có thể nhận được P …

10 cc.complexity-theory  oracles  relativization 

Máy phát điện bất khả xâm phạm được định nghĩa như sau: Đặt là quan hệ NP và M là máy chấp nhận L ( R ) . Không chính thức, một chương trình là một máy phát điện bất khả xâm phạm nếu, trên đầu vào 1 n , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Hầu hết các tài liệu dường như quan tâm đến các máy có các phép lạ duy nhất cho các vấn đề cụ thể, tuy nhiên dường như có một vài bài báo xem xét các máy có nhiều phép lạ. Có một bài báo hay luận án tốt cung …

10 oracles  turing-machines 

Lý lịch Chúng ta biết rằng .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Bên cạnh đó, chúng tôi được biết đến từ lý Toda của rằng .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Để biết thêm thông tin về , xem tại đây: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Câu hỏi Liệu có tồn tại một lời …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Theo BGS lý [1], có một oracle ví dụ mà P Một ≠ N P Một .MộtAAPMột≠ NPMộtPA≠NPAP^A\neq NP^A Nếu hoạt động relativization là một chức năng được xác định rõ, người ta sẽ hy vọng rằng từ B Một ≠ C Một ai có thể kết luận rằng B …

8 cc.complexity-theory  oracles  relativization 

Trong bài báo Tương đối hóa của P =? Câu hỏi NP , Baker và cộng sự. cho thấy có những thế giới tương đối hóa trong đó P = NP hoặc P ≠ NP nắm giữ. Tất cả các nhà tiên tri trong các thiết lập của họ là …

8 cc.complexity-theory  computability  oracles  relativization