มีหลักฐานการแยกชั้นไม่ได้ขึ้นอยู่กับเส้นทแยงมุม?
ใช่มี แต่ไม่ใช่สำหรับคลาสที่มีความซับซ้อนเหมือนกัน เราไม่มีข้อโต้แย้งที่จะออกหลักฐานดังกล่าว แต่จนถึงขณะนี้การแบ่งแยกทั้งหมดระหว่างคลาสความซับซ้อนที่เหมือนกันดูเหมือนจะใช้ diagonalization ในบางสถานที่
เราสามารถหากลไกอ้างอิงตนเองที่อยู่เบื้องหลังพวกเขาได้หรือไม่?
ฉันไม่คิดว่าการแยกคลาสที่ซับซ้อนแบบไม่แปรสามารถกลายเป็นข้อโต้แย้ง "อ้างอิงตนเอง" ได้เพราะพวกเขาไม่ใช่คลาสที่สม่ำเสมอและไม่สามารถระบุได้และสำหรับอาร์กิวเมนต์ที่อ้างอิงตัวเองเราต้องแจกแจงสมาชิกของคลาส
การแยกชั้นเรียนทุกครั้งมีข้อพิสูจน์ว่า
ขึ้นอยู่กับสิ่งที่คุณหมายถึงโดย "บัญญัติ" AFAIK ไม่มีมติใด ๆ เกี่ยวกับคำตอบของคำถาม "เมื่อหลักฐานทั้งสองเหมือนกันในสาระสำคัญ?"
ถ้าเป็นเช่นนั้นเราควรพยายามหาข้อโต้แย้งที่ไม่เกี่ยวข้องกันมากกว่ารูปแบบการพิสูจน์อื่น ๆ สำหรับคำถามเปิด ทุกหลักฐานที่ไม่ใช่เส้นทแยงมุมสามารถเขียนใหม่เป็นเส้นทแยงมุมได้หรือไม่?
ตามที่คนอื่น ๆ ได้ชี้ให้เห็นคำตอบขึ้นอยู่กับสิ่งที่คุณหมายถึงโดยเส้นทแยงมุม โดยทั่วไปแล้ว (เอกสารของ Kozen เชื่อมโยงกับแลนซ์) คำตอบคือใช่สำหรับ "คลาสความซับซ้อน" สองแบบ (ตามที่นิยามไว้ในกระดาษของ Kozen) คุณสามารถเปลี่ยนอาร์กิวเมนต์เป็นอาร์กิวเมนต์ "diagonalization" แต่:
- สิ่งนี้ใช้ไม่ได้กับคลาสความซับซ้อนซึ่งไม่เป็นไปตามข้อกำหนดที่ระบุไว้ในกระดาษของ Kozen (เช่นไม่ใช่ Kozen "complexiy คลาส")
- PPSpace
- สิ่งที่สำคัญคือยิ่งวิธีการทั่วไป จำกัด แอปพลิเคชั่นที่ จำกัด มากขึ้น (ถ้าใช้ด้วยตัวเอง) เพราะวิธีการนั้นจำเป็นต้องทำงานในกรณีที่มากขึ้นและนี่เป็นข้อ จำกัด ของวิธีการนี้เราไม่สามารถใช้วิธีเฉพาะได้ ข้อมูลที่เรามีเกี่ยวกับปัญหาหากไม่ได้แชร์หรือไม่สามารถแทนที่ด้วยสิ่งที่คล้ายกันสำหรับปัญหาอื่น ๆ ที่เราต้องการใช้วิธีการเหล่านั้น
- เราสามารถเปลี่ยนข้อโต้แย้งแยกเป็นข้อโต้แย้ง "diagonalization" (พิจารณาข้อ จำกัด ที่ฉันกล่าวถึงข้างต้น) แต่ความจริงที่ว่า "ฟังก์ชั่น diagonalizing จริง ๆ แยกชั้น" ตัวเองต้องการพิสูจน์ แสดงกระดาษ Kozen ที่มีอยู่ฟังก์ชั่น diagonalizing ถ้าเรียนที่แตกต่างกัน แต่วิธีที่เราสามารถรู้ว่าการทำงานให้เป็นจริง diagonalizing? เราต้องการหลักฐาน! และกระดาษ (AFAIU) ไม่ได้ทำให้เรามีความคิดเกี่ยวกับวิธีที่จะเกิดขึ้นกับหลักฐานเหล่านั้น หากเรามีข้อโต้แย้งแยกเราสามารถเปลี่ยนเป็นหลักฐานแนวทแยงมุม แต่หลังจากนั้นเพียงมีหลักฐาน หลักฐานดั้งเดิมจะทำหน้าที่เป็นส่วนหนึ่งของการพิสูจน์แนวทแยงมุมใหม่มันจะแสดงให้เห็นว่าฟังก์ชั่นนั้นเป็นเส้นทแยงมุมจริงๆ (และในแง่หนึ่งการพิสูจน์เส้นทแยงมุมที่สร้างขึ้นจากกระดาษของ Kozen จะไม่เป็น "บัญญัติ" เนื่องจากมันจะขึ้นอยู่กับอาร์กิวเมนต์ดั้งเดิมทั้งหมด)