Ruzzo-Simon-Tompa oracle访问机制

$\mathsf{NL} \nsubseteq \mathsf{P}$

现在考虑带有oracle门的电路家族，例如，其中是一个电路复杂度类，其中包含通过oracle附加到 oracle门对另一个类进行oracle访问的日志空间。是否有类似Ladner-Lynch论文在精神上与之类似的病理学例子？这样的类需要像RST这样的限制吗？如果确实有这样的例子，我猜对了，RST的模拟将坚持是一个对数空间统一的电路家族吗？$A^B$$A$$B$$A$$A$

在本文中可以找到适用于小型电路复杂度类别（和层次结构）以及对数空间类别的oracle访问的定义，其属性是所有已知包含物都相对的。$AC^k$$NC^k$

Klaus Aehlig，Stephen Cook和Phuong Nguyen：使小型复杂性类及其理论相对化，CSL 2007，Springer LNCS 4646