Mecanismo de acesso ao Oracle Ruzzo-Simon-Tompa

Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas nesta área é o mecanismo de acesso ao oráculo Ruzzo-Simon-Tompa (RST), que exige que uma máquina de turing não-determinística, limitada no espaço, aja de maneira determinística ao fazer consultas ao oráculo.$\mathsf{NL} \nsubseteq \mathsf{P}$

Agora considere famílias circuito com portões oracle - digamos, $A^B$ , onde $A$ é uma classe de complexidade de circuito contendo logspace com acesso oráculo para outra classe $B$ , através de portões oracle acrescentados à base de $A$ . Existem exemplos patológicos semelhantes em espírito ao artigo de Ladner-Lynch, conhecido por essas classes? O que seria uma restrição semelhante ao RST necessária para essas classes? No caso de tais exemplos, estou certo ao supor que um análogo do RST seria insistir em que $A$ seja uma família de circuitos uniforme para o espaço de log?

Uma definição de acesso oracle que funciona para classes de complexidade de circuitos pequenos (as hierarquias $AC^k$ e $NC^k$ ), bem como para classes de espaço logarítmico, com a propriedade que todas as inclusões conhecidas se relativizam, pode ser encontrada neste documento:

Klaus Aehlig, Stephen Cook e Phuong Nguyen: relativizando pequenas classes de complexidade e suas teorias, CSL 2007, Springer LNCS 4646