แรงจูงใจสำหรับคำถามนี้คือความจริงที่ว่าสตริง n-bit ส่วนใหญ่ไม่สามารถบีบอัดได้ โดยสังเขปเราสามารถเสนอโดยการเปรียบเทียบว่าการพิสูจน์ส่วนใหญ่สำหรับ Tautologies นั้นไม่สามารถบีบอัดได้จนถึงขนาดพหุนาม โดยพื้นฐานแล้วปรีชาญาณของฉันคือการพิสูจน์บางอย่างสุ่มโดยเนื้อแท้และไม่สามารถบีบอัดได้
มีการอ้างอิงที่ดีเกี่ยวกับความพยายามในการวิจัยที่เกี่ยวข้องกับการใช้ผลลัพธ์ที่ซับซ้อนของ Kolmogorov เพื่อสร้างขอบเขตที่ต่ำกว่าพหุนามในขนาดพิสูจน์ของ Tautologies หรือไม่?
ในปริญญาเอกนี้ วิทยานิพนธ์ เกี่ยวกับความซับซ้อนของระบบการพิสูจน์ข้อเสนอ วิธีการไม่บีบอัดข้อมูลจาก Kolmogorov Complexity ใช้เพื่อให้ได้ขอบเขตของ Urquhart สำหรับขอบเขตของคลาส Tautologies ฉันสงสัยว่ามีผลลัพธ์ที่ดีกว่าโดยใช้วิธีการบีบอัดข้อมูลหรือผลลัพธ์อื่นจากความซับซ้อนของ Kolmogorov หรือไม่