[Mengikuti saran Kaveh, saya menempatkan komentar saya (agak diperluas) sebagai jawaban]
"Dugaan" Kolmogorov ini hanya rumor. Itu tidak dipublikasikan di mana pun. Di bekas USSR, matematika "penerbitan" memiliki arti yang berbeda dari apa yang dilakukan hari ini: berbicara di seminar atau memberi tahu kolega Anda saat makan siang. Menghitung kertas bukan masalah. (Sebenarnya, saya juga telah memerintahkan cara melakukan matematika ini.) Saya tidak bisa mengesampingkan kemungkinan bahwa "dugaan" ini hanya diperintahkan kepada Levin oleh Kolmogorov saat mereka berjalan ke sebuah seminar di Universitas Moskow. Jadi jangan menganggap ini terlalu serius sebagai dugaan formal; itu hanya rumor yang (tidak perlu dikatakan) tidak dibantah selama bertahun-tahun. Tapi karena raksasa seperti Kolmogorov serius memikirkan masalah ini, dan belum mengecualikan kemungkinan "kekuatan iblis", dugaan itu harus diperlakukan dengan cukup serius,
Berikut adalah spekulasi (sangat, sangat kasar) dari pemahaman saya tentang dugaan ini. Intuisi kami (yang tampaknya salah) tentang cara kerja sirkuit bergantung pada melihat perhitungan oleh suatu program sebagai proses berurutan yang secara bertahap mengumpulkan informasi tentang string input. Intuisi ini dipinjam dari pandangan kami tentang cara kerja mesin Turing. Tetapi setiap string input menentukan subcircuit (menyaksikan f ( x ) = 1 atau f ( x ) = 0 ). Dan untuk rangkaian yang benar, sudah cukup bahwa himpunan subcircuit untuk f - 1 ( 1 ) danxf(x)=1f(x)=0f−1(1) terpisah. Yaitu, sirkuit adalah "pengkodean lokal" kompak dari partisi n -cube. Panjang kode ini adalah kompleksitas Kolmogorov dari string biner yang diberikan f n panjang 2 n . Algoritmawaktu polinomial, bagaimanapun, melakukan lebih banyak: ia memberikansatu"pengkodean global" dari seluruh string tanpa batas f untuk semua n . Sekarang, string tanpa batas f memungkinkan pengodean ukuran n cf−1(0)nfn2nfnfncharus "sederhana", dan awalannya "harus" memungkinkan penyandian "lokal" yang lebih ringkas. Tentu saja, itu tetap menjadi misteri mengapa Kolmogorov berpikir bahwa "lokal" encoding bahkan ukuran untuk beberapa c maka mungkin cukup ...cnc
PS Maaf, lupa menambahkan: Sebuah konfirmasi yang sangat baik dari "tesis" saya bahwa sirkuit harus dilihat sebagai kode (statis) daripada algoritma (dinamis) adalah teorema terkenal David Barrington bahwa seluruh kelas dapat disimulasikan oleh polinomial -ukuran program percabangan lebar 5. Pandangan "mengumpulkan informasi" di sini benar-benar salah: bahkan tidak jelas bagaimana menghitung fungsi mayoritas dengan hanya menyimpan 5 bit informasi. Gagasan pintar David hanya untuk menyandikanNC1perilaku formula yang diberikan oleh urutan 5-permutasi tertentu, dan untuk menunjukkan bahwa string yang diterima dan ditolak akan mendapatkan kode yang berbeda. Intinya adalah bahwa program percabangan juga tidak "menghitung" --- itu lebih mengkodekan string input oleh sub-programnya: ketika input tiba, tepi yang tidak konsisten menghilang, dan kami memiliki kode input ini.