Motivasi untuk pertanyaan ini adalah fakta bahwa sebagian besar string n-bit tidak dapat dimampatkan. Secara intuitif, kita dapat mengusulkan dengan analogi bahwa sebagian besar bukti untuk Tautologi tidak dapat dikompresi dengan ukuran polinomial. Pada dasarnya, intuisi saya adalah bahwa beberapa bukti secara inheren acak dan tidak dapat dikompresi.
Apakah ada referensi yang baik pada upaya penelitian terkait dengan menggunakan hasil kompleksitas Kolmogorov untuk menetapkan batas bawah super-polinomial pada ukuran bukti Tautologi?
Dalam Ph.D. Disertasi Mengenai Kompleksitas Sistem Bukti Proposisi metode Incompressibility dari Kolmogorov Complexity digunakan untuk mendapatkan batas bawah Urquhart untuk kelas Tautologi. Saya ingin tahu apakah ada hasil yang lebih kuat menggunakan metode Incompressibility atau hasil lain dari kompleksitas Kolmogorov?
sumber
Jawaban:
Arvind, Köbler, Mundhenk, dan Torán memperkenalkan gagasan kompleksitas instance nondeterministic yang terikat waktu. Berdasarkan bacaan cepat, Tampaknya mereka menggunakan ukuran kompleksitas Kolmogorov yang tergantung pada ukuran TM nondeterministic terpendek. Mereka mampu membuktikan keberadaan sulit untuk membuktikan Tautologi di bawah gagasan kekerasan berdasarkan kompleksitas contoh nondeterministic.
Vikraman Arvind, Johannes Köbler, Martin Mundhenk, Jacobo Torán, Kompleksitas Instansi Nondeterministik dan Tautologi yang Sulit Dibuktikan,
sumber