2
ลำดับชั้นการสลับช่องว่าง
เป็นที่รู้กันว่าต้องขอบคุณ Immerman และSzelepcsényiที่ถ้า (แม้สำหรับฟังก์ชั่นที่ไม่สามารถสร้างช่องว่างได้)f = Ω ( บันทึก)N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)ฉ= Ω ( บันทึก)f=Ω(log)f=\Omega(\log) ในเอกสารฉบับเดียวกัน Immerman ระบุว่าการสลับลำดับชั้นของการสลับลำดับชั้นของ logspace นั้นหมายความว่า (คำจำกัดความของเครื่องทัวริงสลับที่ถูกล้อมรอบ เป็นลำดับชั้นสามารถพบได้ในวิกิพีเดีย )ΣJS P A C E ( บันทึก) = N S P A C …