กลไกการเข้าถึง oracle Ruzzo-Simon-Tompa

ในกระดาษใน relativizing คำนวณ logspace, Ladner และลินช์สร้าง oracle ญาติที่{P} มีตัวอย่างทางพยาธิวิทยาในหลอดเลือดดำนี้มากขึ้นในวรรณคดี ฉันได้อ่านเอกสารเกี่ยวกับคลาสของพื้นที่ว่างขนาดเล็กที่ relativized และหนึ่งในเครื่องมือหลักในพื้นที่นี้คือกลไกการเข้าถึง oracle ของRuzzo-Simon-Tompa (RST) ซึ่งต้องการเครื่องทัวริงที่มีขอบเขต จำกัด แบบสอบถามไปยัง oracle$\mathsf{NL} \nsubseteq \mathsf{P}$

ตอนนี้พิจารณาครอบครัววงจรประตู oracle - พูด$A^B$ที่เป็นชั้นที่มีความซับซ้อนวงจร logspace ที่มีการเข้าถึง oracle ไปเรียนอีกBผ่านประตู oracle ผนวกเข้ากับพื้นฐานของ มีตัวอย่างทางพยาธิวิทยาที่เหมือนกันในจิตวิญญาณของกระดาษ Ladner-Lynch หรือไม่ สิ่งที่จะเป็นข้อ จำกัด ที่คล้าย RST สำหรับชั้นเรียนดังกล่าว? ในกรณีที่มีตัวอย่างเช่นนี้ฉันเดาถูกว่า RST อะนาล็อกจะยืนยันว่าAเป็นตระกูลวงจร logspace-uniform หรือไม่?$A$$B$$A$$A$

คำจำกัดความของการเข้าถึง oracle ที่ทำงานสำหรับคลาสความซับซ้อนของวงจรขนาดเล็ก ( ลำดับชั้น$AC^k$และ$NC^k$ ) รวมทั้งคลาสพื้นที่ลอการิทึมพร้อมคุณสมบัติที่รวมสิ่งที่รู้จักกันทั้งหมด relativize สามารถพบได้ในบทความนี้:

Klaus Aehlig, Stephen Cook และ Phuong Nguyen: การจัดคลาสเรียนที่ซับซ้อนและทฤษฎี CSL 2007, Springer LNCS 4646