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

Xác định - S U B E X P là lớp các ngôn ngữ L như rằng có một ngôn ngữ L ' ∈ ∩ ε > 0 T I M E ( 2 n ε ) và vô số n , L và L ' đồng ý trên tất …

30 cc.complexity-theory  sat  oracles 

Trong rất nhiều lĩnh vực, có những kỹ thuật kinh điển mà mọi người làm việc trong lĩnh vực này nên thành thạo. Ví dụ, đối với việc giảm logspace, "bit trick" cho thành phần bao gồm không xây dựng đầu ra đầy đủ của hàm tổng hợp, nhưng luôn …

28 cc.complexity-theory  oracles  relativization 

Nói chung, băng truy vấn cho một nhà tiên tri được tính vào độ phức tạp không gian của một TM. Tuy nhiên, có vẻ hợp lý khi cho phép một băng orory chỉ ghi (chẳng hạn như được sử dụng trong giảm bớt không gian L). Là một xây …

20 cc.complexity-theory  space-bounded  oracles 

Vâng, tiêu đề khá nhiều nói lên tất cả. Câu hỏi thú vị ở trên đã được bình luận viên Jay hỏi trên blog của tôi (xem tại đây và đây ). Tôi đoán cả hai câu trả lời là có và đó là một bằng chứng tương đối đơn …

18 computability  oracles  random-oracles 

Giả sử là một cây có độ không đổi có cấu trúc mà chúng ta không biết. Vấn đề là xuất cây bằng cách hỏi các truy vấn có dạng: "Nút nằm trên đường dẫn từ nút đến nút không?". Giả sử rằng mỗi truy vấn có thể được trả …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Tôi vừa đọc câu hỏi " Có phải nhân tố số nguyên là một vấn đề hoàn chỉnh NP không? " Vì vậy tôi quyết định dành một chút danh tiếng của mình :-) hỏi một câu hỏi khác có :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Nếu …

18 cc.complexity-theory  oracles  factoring 

Lý lịch Được biết, có tồn tại một oracle ví dụ đó, .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Thậm chí người ta còn biết rằng sự tách biệt giữ tương đối với một lời sấm truyền ngẫu nhiên. Một cách không chính thức, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Trong "Thông tin lượng tử và thông tin lượng tử" của Mike và Ike, thuật toán của Grover được giải thích rất chi tiết. Tuy nhiên, trong cuốn sách và trong tất cả các giải thích tôi đã tìm thấy trực tuyến về thuật toán của Grover, dường như không …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Cách phổ biến nhất trong đó các nhà tiên tri xảy ra trong lý thuyết phức tạp như sau: Một nhà tiên tri cố định được tạo sẵn để nói, một máy Turing với một số tài nguyên hạn chế nhất định, và nghiên cứu làm thế nào nhà tiên …

14 cc.complexity-theory  oracles 

Trong một bài báo có tiêu đề "Về khả năng từ chối trong chuỗi tham chiếu chung và mô hình Oracle ngẫu nhiên", Rafael Pass viết: Chúng tôi lưu ý rằng khi chứng minh bảo mật theo định nghĩa không kiến ​​thức chuẩn trong mô hình RO [Random Oracle], trình …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Nói một cách đơn giản: sự tương ứng giữa các máy Turing với các nhà tiên tri và các họ mạch thống nhất với các nhà tiên tri là gì? Làm thế nào cái sau được định nghĩa để có được mô hình tính toán tương tự, cho một máy …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Vấn đề tạm dừng nổi tiếng là không thể giải quyết được. Tuy nhiên, có thể "nén" thông tin theo cấp số nhân về vấn đề tạm dừng, do đó việc giải nén nó là có thể tính toán được. Chính xác hơn, có thể tính toán từ mô tả …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Tôi đang đọc một bài báo của Buhrman và Homer Hồi Superpolynomial Circuits, Hầu như thưa thớt thưa thớt và Phân cấp cấp số mũ . Ở cuối trang 2, họ nhận xét rằng kết quả của Kannan ngụ ý rằng không có mạch kích thước đa thức. Tôi biết …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Liệu giữ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Rõ ràng , nhưng đối với tôi, là "xác định" khiến tôi tin rằng điều này là đúng.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Có một bằng chứng đơn giản (hoặc có thể chỉ theo định nghĩa)?

12 cc.complexity-theory  complexity-classes  oracles 

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ XXX sao cho BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - nói cách khác, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation