Cơ chế truy cập của nhà tiên tri Ruzzo-Simon-Tompa

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 gian nhỏ tương đối hóa, và một trong những công cụ chính trong lĩnh vực này là cơ chế truy cập tiên tri Ruzzo-Simon-Tompa (RST) đòi hỏi một cỗ máy bảo vệ không giới hạn không gian xác định hoạt động một cách xác định trong khi chế tạo truy vấn các nhà tiên tri.$\mathsf{NL} \nsubseteq \mathsf{P}$

Bây giờ xem xét gia đình mạch với cổng oracle - nói, $A^B$ , nơi $A$ là một lớp mạch phức tạp chứa logspace với truy cập oracle khác lớp $B$ , qua cửa oracle nối vào cơ sở $A$ . Có bất kỳ ví dụ bệnh lý nào tương tự về tinh thần với bài báo Ladner-Lynch, được biết đến với các lớp như vậy không? Điều gì sẽ là một hạn chế giống như RST cần thiết cho các lớp như vậy? Trong trường hợp thực sự có những ví dụ như vậy, tôi có đúng không khi đoán rằng một tương tự RST sẽ khẳng định rằng $A$ là một họ mạch thống nhất logspace?

Một định nghĩa về truy cập oracle hoạt động cho các lớp phức tạp mạch nhỏ (phân cấp $AC^k$ và $NC^k$ ) cũng như cho các lớp không gian logarit, với thuộc tính mà tất cả các thể vùi đã biết tương đối hóa, có thể được tìm thấy trong bài báo này:

Klaus Aehlig, Stephen Cook và Phương Nguyễn: Tương đối hóa các lớp phức tạp nhỏ và lý thuyết của họ, CSL 2007, Springer LNCS 4646