Có một tài liệu tham khảo chính xác cho các máy Turing có nhiều băng orory không?


10

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 cấp một cái nhìn tổng quan về những gì được biết về các máy như vậy? Đặc biệt tôi quan tâm đến P với nhiều phép lạ.


3
Nếu bạn chỉ muốn số lượng hữu hạn N của các nhà tiên tri, bạn có thể xác định một nhà tiên tri hợp chất N-in-1 bằng cách sử dụng các bit nhật ký (N) đầu tiên của nhà tiên tri để chỉ ra câu hỏi con nào bạn muốn truy vấn. Tui bỏ lỡ điều gì vậy?
Niel de Beaudrap

Vâng, tôi đã nghĩ về điều đó. Tuy nhiên, tôi quan tâm đến các bộ tiên tri cụ thể, và do đó có vẻ tự nhiên hơn khi xem xét chúng riêng rẽ hơn là một đối tượng ghép. Tôi nghĩ có lẽ có một số kết quả tốt đẹp theo hướng này.
Joe Fitzsimons

1
chỉ vì tò mò, việc có nhiều nhà tiên tri có thêm sức mạnh tính toán đối với một cỗ máy tiên tri không? Dường như với tôi là không, bởi vì bạn chỉ lấy lời tiên tri tương ứng với ngôn ngữ trong lớp phức tạp cao nhất. Ngoài ra, có một số lượng cố định cố định sẽ làm chậm máy bằng một hằng số.
Marcos Villagra

1
Tôi với nhận xét của Marcos về lời sấm truyền mạnh nhất bao trùm những người khác .. nhưng tôi quan tâm đến những gì bạn có trong đầu bây giờ!
Daniel Apon

1
Bạn có nghĩ đến việc cho phép vô số nhà tiên tri, nơi TM được phép chọn nhà tiên tri nào để truy vấn không? Với thiết lập như vậy, có thể có một sự khác biệt thú vị giữa một tập hợp các nhà tiên tri trong đó mỗi nhà tiên tri yếu hơn một số nhà tiên tri Q và Q khác.
András Salamon

Câu trả lời:


5

Dưới đây là một bài báo gần đây đưa ra sự khác biệt giữa đơn hoặc nhiều nhà tiên tri được thúc đẩy bởi mật mã:

Donald Beaver và Joan Feigenbaum. Ẩn các trường hợp trong các truy vấn đa năng . STACS 1990. Ghi chú bài giảng Springer trong Khoa học máy tính, 1990, Tập 415/1990, 37-48, DOI: 10.1007 / 3-540-52282-4_30


chỉ là một câu hỏi, tôi cho rằng khái niệm đa tiên tri chỉ có ý nghĩa nếu các nhà tiên tri không thể sụp đổ vào nhau vì một số lý do bảo mật (nhận thức?)?
Ahmed Masud

3

Đây là một bài báo cũ hơn mà bạn có thể thấy hữu ích: Máy Logspace có nhiều băng Oracle của Nancy Lynch tại MIT ( PDF ). Cụ thể là Định lý 2.2, trên trang PDF 5, có thể là loại điều bạn đang tìm kiếm. Ngoài ra còn có một phần về phân cấp được xác định bởi số lượng băng orory khác nhau trên mỗi máy.

Tuyên bố từ chối sau khi thực tế: Có vẻ như một câu hỏi tương tự và câu trả lời (thậm chí tương tự hơn) đã được đưa ra ở đây .

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.