Механізм доступу до оракула Ruzzo-Simon-Tompa

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

Тепер розглянуть схему сім'ї з оракулом воротами - скажімо, , де класі складності схеми , що містить logspace з доступом оракула до іншого класу , через оракул воріт прикладеного до основи . Чи є якісь патологічні приклади, подібні за духом до папери Ладнера-Лінча, відомої для таких занять? Яке було б RST-подібне обмеження, необхідне для таких класів? Якщо справді є подібні приклади, я прав, гадаючи, що аналог RST буде наполягати на тому, що - це сімейство схем, що мають єдиний журнал?$A^B$$A$$B$$A$$A$

Визначення доступу до Oracle, який працює для малих класів складності ланцюга ( ієрархії і ), а також для класів логарифмічних просторів, з властивістю, яке ревіртізують усі відомі включення, можна знайти в цій статті:$AC^k$$NC^k$

Клаус Еліг, Стівен Кук і Пхуонг Нгуен: релативізуючі класи малого рівня складності та їх теорії, CSL 2007, Springer LNCS 4646