4
เหตุใดเราจึงพิจารณา log-space เป็นแบบจำลองการคำนวณที่มีประสิทธิภาพ (แทน polylog-space)
นี่อาจเป็นคำถามแบบอัตนัยมากกว่าคำถามเดียวที่มีคำตอบที่เป็นรูปธรรม แต่อย่างไรก็ตาม ในทฤษฎีความซับซ้อนเราศึกษาแนวคิดของการคำนวณที่มีประสิทธิภาพ มีชั้นเรียนเหมือนย่อมาจากเวลาพหุนามและย่อมาจากพื้นที่การบันทึก พวกเขาทั้งสองได้รับการพิจารณาว่าเป็น "ประสิทธิภาพ" และพวกเขาก็จับความยากลำบากของปัญหาบางอย่างได้ดีลPP\mathsf{P}LL\mathsf{L} แต่มีความแตกต่างระหว่างและ : ในขณะที่เวลาพหุนาม,ถูกกำหนดให้เป็นสหภาพของปัญหาที่ทำงานในเวลาสำหรับการคงที่ใด ๆ , นั่นคือ,L P O ( n k ) kPP\mathsf{P}LL\mathsf{L}PP\mathsf{P}O(nk)O(nk)O(n^k)kkk P=⋃k≥0TIME[nk]P=⋃k≥0TIME[nk]\mathsf{P} = \bigcup_{k \geq 0} \mathsf{TIME[n^k]} , พื้นที่บันทึกถูกกำหนดให้เป็นบันทึก]} ถ้าเราเลียนแบบนิยามของมันจะกลายเป็นS P A C E [ บันทึกn ] PLL\mathsf{L}SPACE[logn]SPACE[logn]\mathsf{SPACE[\log n]}PP\mathsf{P} PolyL=⋃k≥0SPACE[logkn]PolyL=⋃k≥0SPACE[logkn]\mathsf{PolyL} = \bigcup_{k \geq 0} \mathsf{SPACE[\log^k n]} , ที่เรียกว่าระดับของพื้นที่ polylog คำถามของฉันคือ:PolyLPolyL\mathsf{PolyL} เหตุใดเราจึงใช้พื้นที่บันทึกเป็นแนวคิดของการคำนวณที่มีประสิทธิภาพแทนที่จะเป็นพื้นที่ …