ลักษณะเครื่องของ

$SAC^i$ เป็นคลาสของปัญหาการตัดสินใจที่แก้ไขได้โดยตระกูลของวงจรความลึกพร้อมกับ fanin OR ที่ไม่มีขอบเขตและและ bounded-fanin และประตู อนุญาตให้มีการลบในระดับอินพุตเท่านั้น เป็นที่ทราบกันว่าสำหรับถูกปิดภายใต้ส่วนประกอบและไม่ได้ นอกจากนี้และด้วยเหตุนี้จึงมีลักษณะของเครื่องเนื่องจากLogCFLเป็นชุดของภาษาที่ยอมรับโดยพื้นที่จำกัด ขอบเขตและเวลาเสริมโพลิโนเมียลที่ จำกัด ขอบเขต มีลักษณะของเครื่องที่คล้ายกันของสำหรับหรือไม่? $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ $O({\log}n)$ $SAC^i$ $i \geq 2$

— พระอิศวร Kintali
แหล่งที่มา

มี

k

$k$ และ

i

$i$ หมายถึงการเป็นสิ่งเดียวกัน

— András Salamon

ใช่. ขอโทษที่พิมพ์ผิด แก้ไขทันที

— Shiva Kintali

ใช่. ความสูงของกอง นั่นคือด้วยพื้นที่และความสูงของสแต็ก; นี่หมายถึงการกำหนดค่าและดังนั้นบิต เรามี $\mathsf{SAC^1} = \mathsf{NAuxPDA}(\log n, \log n)$ $O(\log n)$ $O(\log n)$ $\log n$ $\log^2(n)$

S A ค^{k} = ยังไม่มีข้อความ A ยู x P D A (เข้าสู่ระบบ n, {เข้าสู่ระบบ}^{k} n);

$\mathsf{SAC^k} = \mathsf{NAuxPDA}(\log n, \log^k n);$

เครื่องเหล่านี้จะทำงานในเวลา(n)} เราจะได้รับอย่างแน่นอน ผลลัพธ์ควรเป็นดังนี้: W. Ruzzo, การสลับที่มีขอบเขตขนาดต้นไม้ JCSS 1980 $2^{\log^{k}(n)}$ $\mathsf{P}$

— V Vinay
แหล่งที่มา

Vinay คุณสามารถใช้น้ำยางปกติในคำตอบ: มันอาจช่วยให้อ่านได้ง่ายขึ้นอีกนิด

— Suresh Venkat