Ruzzo-Simon-Tompa oracle erişim mekanizması

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

Şimdi oracle kapıları olan devre ailelerini düşünün - örneğin, , burada , temeline eklenen oracle kapıları aracılığıyla başka bir sınıfına oracle erişimi olan günlük alanı içeren bir devre karmaşıklık sınıfıdır . Bu tür sınıflar için bilinen Ladner-Lynch gazetesine benzer ruhsal benzer patolojik örnekler var mı? Bu tür sınıflar için RST benzeri bir kısıtlama ne olurdu? Gerçekten bu tür örnekler olması durumunda, bir RST analoğunun bir günlük-üniform devre ailesi olması konusunda ısrar edeceğini tahmin etmede haklı mıyım?$A^B$$A$$B$$A$$A$

Küçük devre karmaşıklık sınıfları ( ve hiyerarşileri) ve logaritmik uzay sınıfları için çalışan ve bilinen tüm kapanımların göreceli olduğu özelliğe sahip oracle erişiminin bir tanımı bu makalede bulunabilir:$AC^k$$NC^k$

Klaus Aehlig, Stephen Cook ve Phuong Nguyen: Küçük Karmaşıklık Sınıflarını ve Kuramlarını Görecelemek, CSL 2007, Springer LNCS 4646