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.
Agora considere famílias circuito com portões oracle - digamos, , onde é uma classe de complexidade de circuito contendo logspace com acesso oráculo para outra classe , através de portões oracle acrescentados à base de . 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 seja uma família de circuitos uniforme para o espaço de log?