Câu hỏi được gắn thẻ «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 

Tôi không nhớ đã thấy một sự tách lớp không dựa trên kết quả đường chéo và tương đối hóa. Đường chéo vẫn có thể được sử dụng để phân tách các lớp đã biết còn lại, bởi vì các đối số không tương đối hóa vẫn có thể được …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Đặ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 

Tôi đã suy nghĩ về câu hỏi sau đây vào nhiều thời điểm kể từ khi tôi thấy câu hỏi này trên Mật mã học . Câu hỏi Đặt RRR là mối quan hệ TFNP . Một nhà tiên tri ngẫu nhiên có thể giúp P / poly phá vỡ …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

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 

Tôi quan tâm đến cách người ta chứng minh rằng một câu tương đối hóa. Tất nhiên, việc chứng minh rằng một câu không tương đối hóa là đơn giản, như đã thấy trong kết quả của Baker-Gill-Solovay; nhưng làm thế nào để chứng minh rằng một câu không tương …

8 cc.complexity-theory  reference-request  relativization 

Hãy xem xét bất kỳ ngôn ngữ . Xác định (một chuỗi bit vô hạn) bằng công thức đệ quys ( L ) ∈ { 0 , 1 } ωLLLs ( L )∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL( s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Tôi đang sử dụng các chỉ số dựa …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  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