Bukti untuk kompleksitas Kolmogorov tidak dapat dihitung menggunakan reduksi


9

Saya mencari bukti bahwa kompleksitas Kolmogorov tidak dapat dihitung menggunakan pengurangan dari masalah lain yang tidak dapat dihitung. Bukti umum adalah formalisasi paradoks Berry daripada reduksi, tetapi harus ada bukti dengan mengurangi dari sesuatu seperti Masalah Putus, atau Masalah Korespondensi Post.

Jawaban:


11

Anda dapat menemukan dua bukti berbeda di:

Gregory J. Chaitin, Asat Arslanov, Cristian Calude: Kompleksitas ukuran Program Menghitung Masalah yang Terputus. Buletin EATCS 57 (1995)

Dalam Li, Ming, Vitányi, Paul MB; Pengantar Kompleksitas Kolmogorov dan Penerapannya disajikan sebagai latihan (dengan petunjuk tentang bagaimana menyelesaikannya yang dikreditkan ke P. Gács oleh W. Gasarch dalam komunikasi pribadi 13 Feb 1992).

** Saya memutuskan untuk menerbitkan versi panjangnya di blog saya .


1
Lebih lanjut, bukti Chaitin (dalam tautan itu) menunjukkan bahwa permintaan oracle dapat dibuat secara paralel.

Apakah bukti-bukti ini benar-benar Mengurangi reduksi (satu ke satu (atau) satu ke banyak)? Saya bingung !! tolong bantu saya
Krishna Chikkala

@ KrishnaChikkala: yang pertama pasti pengurangan Turing . Saya menemukan itu tidak begitu jelas, jadi saya memutuskan untuk menerbitkan versi panjangnya di blog saya . Jika Anda ingin melihatnya (dan beri tahu saya melalui email jika Anda berpikir itu dapat diperbaiki). Juga perhatikan bahwa pengurangan Turing berbeda dari banyak-satu pengurangan (yang merupakan pengurangan "lebih kuat"); memang jawaban Joe Bebel membuktikan bahwa pengurangan seperti itu tidak ada.
Marzio De Biasi

7

Ini adalah pertanyaan yang menyenangkan untuk dipikirkan. Seperti dijelaskan dalam jawaban lain dan komentar di bawah ini, ada pengurangan Turing dari masalah Menghentikan ke komputasi kompleksitas Kolmogorov, tetapi terutama tidak ada pengurangan banyak-satu, setidaknya untuk satu definisi 'komputasi kompleksitas Kolmogorov'.

Mari kita secara resmi mendefinisikan apa yang kita bicarakan. Misalkan menunjukkan bahasa standar TM yang berhenti ketika diberikan deskripsi tentang diri mereka sebagai input. Mari K O masing menunjukkan { x , k | x  memiliki kompleksitas Kolmogorov persis  k } .HALTKO{x,kx has Kolmogorov complexity exactly k}

HALTKOf:{0,1}{0,1}HALTff(HALT)

f(HALT)x,kxkkf(HALT)kf(HALT)

HALTf(HALT)kf(HALT)x,kkMkx,kf(HALT)

M|M|M|M|+1x,|M|+1f(HALT)x

xM|M|x,|M|+1f(HALT)

kk


1
Tapi bagaimana dengan pengurangan Turing?
Sasho Nikolov

RSx,kKOHALTRKOx,kKOSkRx,k

R

3
Beberapa tempat mengklaim bahwa kompleksitas Kolmogorov setara dengan masalah Halting, misalnya catatan Miltersen daimi.au.dk/~bromille/DC05/Kolmogorov.pdf . Jika itu benar, harus ada pengurangan Turing. Omong-omong pengurangan Turing dari kompleksitas Kolmogorov ke Masalah Henti adalah mudah dan memberikan bukti berbeda bahwa menghentikan itu tidak dapat diputuskan.
Sasho Nikolov

HALTTKOHALTTKO
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.