4
หลักฐานเชิงโต้ตอบสำหรับระดับของลำดับชั้นพหุนาม
เรารู้ว่าถ้าคุณมีเครื่อง PSPACE มันมีพลังมากพอที่จะพิสูจน์การโต้ตอบของลำดับชั้นพหุนามในทุกระดับ (และถ้าฉันจำได้ถูกต้องสิ่งที่คุณต้องการคือ #P) แต่สมมติว่าคุณต้องการแสดงหลักฐานการเป็นสมาชิกแบบโต้ตอบในภาษามันเพียงพอที่จะสามารถแก้ปัญหาในΣ 2 ได้ไหม? การแก้ปัญหาในΣ 5เพียงพอหรือไม่ โดยทั่วไปถ้าคุณสามารถแก้Σ kหรือΠ kปัญหาสำหรับสิ่งΣ ℓนี้เพียงพอที่จะสร้างบทพิสูจน์การโต้ตอบของ languates ทั้งหมดในΣ ℓ ?Σ2Σ2\Sigma_2Σ2Σ2\Sigma_2Σ5Σ5\Sigma_5ΣkΣk\Sigma_kΠkΠk\Pi_kΣℓΣℓ\Sigma_\ellΣℓΣℓ\Sigma_\ell คำถามนี้ได้รับแรงบันดาลใจจากคำถามการแลกเปลี่ยนสแต็คของ cstheoryนี้