Mécanisme d'accès à l'oracle Ruzzo-Simon-Tompa

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

Considérons maintenant familles de circuits avec portes d'oracle - disons, , où A est une classe complexe de circuit contenant logspace avec accès oracle à une autre classe B , par des portes d'oracle annexés à la base de A . Existe-t-il des exemples pathologiques similaires dans leur esprit à l'article de Ladner-Lynch, connu pour ces classes? Quelle serait une restriction de type TVD nécessaire pour ces classes? Dans le cas où il existe effectivement de tels exemples, ai-je raison de penser qu'un analogue RST serait d'insister pour que A soit une famille de circuits uniformes dans l'espace de journalisation?$A^B$$A$$B$$A$$A$

Une définition de l'accès à l'oracle qui fonctionne pour les classes de complexité de petits circuits (les hiérarchies $AC^k$ et $NC^k$ ) ainsi que pour les classes d'espace logarithmique, avec la propriété que toutes les inclusions connues relativisent, peut être trouvée dans cet article:

Klaus Aehlig, Stephen Cook et Phuong Nguyen: Relativiser les petites classes de complexité et leurs théories, CSL 2007, Springer LNCS 4646