Meccanismo di accesso all'oracolo Ruzzo-Simon-Tompa

In un documento su relativizzante calcoli LOGSPACE, Ladner e Lynch costruiscono un oracolo rispetto al quale . Ci sono alcuni esempi più patologici in questa vena in letteratura. Ho letto alcuni articoli su classi spaziali relativizzate e uno degli strumenti principali in quest'area è il meccanismo di accesso all'oracolo Ruzzo-Simon-Tompa (RST) che richiede che una macchina da rastrellamento non deterministica limitata dallo spazio agisca in modo deterministico mentre si fa interrogazioni all'oracolo.$\mathsf{NL} \nsubseteq \mathsf{P}$

Consideriamo ora le famiglie circuitali con cancelli oracolo - diciamo, , dove A è una classe circuito complessità contenente logspace con accesso oracolo ad un'altra classe B , tramite cancelli oracolo aggiunti alla base di A . Esistono esempi patologici simili nello spirito al documento Ladner-Lynch, noto per tali classi? Quale sarebbe una restrizione simile a RST necessaria per tali classi? Nel caso in cui ci siano davvero esempi del genere, ho ragione nel supporre che un analogo RST significherebbe insistere sul fatto che A sia una famiglia di circuiti uniforme per lo spazio di archiviazione?$A^B$$A$$B$$A$$A$

$AC^k$$NC^k$

Klaus Aehlig, Stephen Cook e Phuong Nguyen: Relativizzare le classi di piccola complessità e le loro teorie, CSL 2007, Springer LNCS 4646