Banyak hasil dalam kriptografi bergantung pada hasil / dugaan ketidakmungkinan dalam teori kompleksitas. Sebagai contoh, kriptografi kunci publik menggunakan RSA diyakini dimungkinkan karena dugaan tentang tidak layaknya anjak piutang (dan masalah pencarian akar modular).
Pertanyaanku adalah :
apakah kita memiliki hasil yang serupa dalam teori komputabilitas? Apakah ada konstruksi positif yang menarik menggunakan hasil ketidakmungkinan negatif?
Misalnya, apakah ketidakpastian masalah penghentian memungkinkan kami untuk melakukan tugas yang tidak dapat kami lakukan jika masalah penghentian dapat ditentukan?
Jawaban:
Dalam beberapa hal, inilah yang dimaksud dengan teori parametrik.
Abstraksi data adalah cara kami memastikan bahwa tidak ada klien modul yang dapat mengakses elemen-elemen modul kecuali sesuai dengan antarmuka yang terbuka oleh modul. Kami mengandalkan ini untuk memastikan bahwa invarian internal struktur data tidak dapat dipecah oleh klien modul - misalnya, jika Anda mengakses pohon yang seimbang hanya melalui antarmuka yang dipublikasikan, maka itu berarti bahwa pohon itu akan selalu seimbang.
Jadi kami menggunakan properti negatif - bahwa tidak ada klien yang mungkin dapat melanggar batas abstraksi - untuk menyimpulkan yang positif - yang selalu dipegang oleh invarian representasi data.
sumber
Kompleksitas Kolmogorov mungkin termasuk dalam kategori ini.
Satu dapat menunjukkan bahwa ada string tertentu, yang tidak dapat dikompresi oleh mesin Turing. String ini berperilaku "secara umum" sehingga Anda dapat mempelajari sifat acak dari informasi dan tugas komputasi tertentu dengan mempelajari perilaku sehubungan dengan string (non-acak) yang tidak dapat dimampatkan.
sumber