W artykule na temat relatywizacji obliczeń przestrzeni logicznej Ladner i Lynch konstruują wyrocznię, do której . W literaturze można znaleźć więcej patologicznych przykładów. Czytałem kilka artykułów na temat relatywizowanych małych klas kosmicznych, a jednym z podstawowych narzędzi w tym obszarze jest mechanizm dostępu do wyroczni Ruzzo-Simon-Tompa (RST), który wymaga deterministycznej, niedeterministycznej maszyny Turinga działającej w przestrzeni zapytania do wyroczni.
Rozważmy teraz rodzinom obwodów z Oracle Gates - powiedzmy, , gdzie jest klasa złożoności obwód zawierający logspace Oracle dostępu do innej klasy , za pomocą dołączonych do bram oracle podstawie . Czy są jakieś patologiczne przykłady podobne duchowo do pracy Ladnera-Lyncha, znanej z takich klas? Jakie byłoby ograniczenie podobne do RST dla takich klas? W przypadku, gdy rzeczywiście istnieją takie przykłady, mam rację, zgadując, że analog RST nalegałby, aby był rodziną obwodów jednolitych w przestrzeni logicznej? A B A A