Pemecah masalah universal yang efisien?


12

Tetapkan "masalah" menjadi algoritma menerima bilangan alami dan mengembalikan 0 atau 1 yang mengembalikan pada setidaknya satu . Setiap tersebut disebut sebagai "solusi" untukAn N n A1nNnA

Tetapkan "pemecah masalah universal" menjadi algoritme menerima masalah dan mengembalikan salah satu solusinya. Misalnya, dapat bekerja dengan perulangan atas semua bilangan dan berjalan masukan pada mereka sampai hasil (hanya memiliki berhenti pada input yang valid)U 1UU1

Saya tertarik menjelajahi batasan kinerja pada pemecah masalah universal

Diberikan pemecah masalah universal dan masalah, menyatakan waktu yang dibutuhkan untuk menghasilkan output setelah menerima inputA t ( U , A ) U AUAt(U,A)UA

Pemecah masalah universal disebut "efisien" ketika untuk setiap pemecah masalah universal , kami memilikinyaVUV

t(U,A)<t(V,A)+tV

Di sini tergantung pada tetapi tidak tergantung pada V AtVVA

Apakah ada pemecah masalah universal yang efisien?

EDIT: Saya menyadari adalah mungkin untuk mengubah definisi "masalah" dan "pemecah masalah universal" menjadi sesuatu yang sedikit lebih elegan dan pada dasarnya setara. "Masalah" adalah algoritma tanpa input yang mengembalikan 0 atau 1 (yang berhenti). "Pemecah masalah universal" adalah algoritma yang menerima masalah dan mengembalikan hasilnya. Ini lebih atau kurang mesin Turing universal

Definisi lama dapat dikurangi dengan definisi baru, karena diberikan masalah dalam arti tua, kita dapat membangun masalah dalam arti baru yang hanya berlaku sepele lama-rasa masalah universal pemecah ke (solver dijelaskan dalam teks di atas )B AABA

Definisi baru dapat direduksi menjadi definisi lama, karena mengingat masalah dalam pengertian baru, kita dapat membangun masalah dalam pengertian lama yang hanya menghitung dan membandingkan input ke hasilnyaA BBAB

Contoh sepele dari pemecah masalah universal rasa baru adalah algoritma yang hanya menjalankan inputnya

Jawaban:


5

Tidak ada pemecah masalah universal yang efisien. Secara intuitif, U harus memiliki (hampir) runtime optimal untuk setiap masalah keputusan yang dapat ditentukan; sementara teorema speedup mengatakan bahwa ada masalah keputusan yang dapat ditentukan yang tidak memiliki algoritma optimal (bahkan dalam arti yang sangat ringan). Untuk memformalkan ini:

Teorema percepatan waktu (lihat misalnya [1])): Untuk setiap fungsi yang dapat dihitung (dan super-linier) terdapat himpunan yang dapat ditentukan sehingga jika maka untuk memuaskan .S S D T I M E ( t ) S D T I M E ( t ) t g ( t ( n ) ) < t ( n )gSSDTIME(t)SDTIME(t)tg(t(n))<t(n)

Berikut ini, kami bekerja dengan definisi kedua. Biarkan menjadi masalah pemecah universal. Mari dan menjadi algoritma yang memutuskan . Biarkan menjadi no input TM st . Ada TM dengan tentang kelebihan logaritmik dalam runtime (Pengodean dan hanya berbeda ). Dengan speed-up thoerem, ada TM yang menentukan dan . Jadi kita punya .Ug(n)=22nASAiAi=A(i)U~(i)=U(Ai)AAiO(logi)BS22TIME(B)<TIME(U~)2TIME(B)<TIME({U(Ai)})

Biarkan menjadi pemecah masalah universal sehingga untuk input , ia mensimulasikan dengan kelebihan logaritmik dalam waktu. (Jelas fungsi runtime dari dan tidak terikat) Jadi kita punyaVAiB(i)A(i)B(i)

cAit(U,Ai)>t(V,Ai)+c

Jadi tidak bisa efisien.U

[1] Oded Goldreich, Kompleksitas Komputasi, Perspektif Konseptual, teorema 4.8. Bab 4.2.1.2 juga relevan.


Solusi hebat, thx!
Vanessa

12

Algoritma universal Levin adalah algoritma sedemikian rupa sehingga . Dengan memodifikasi algoritme (lihat misalnya Algoritma Hutter yang Tercepat dan Terpendek untuk Semua Masalah yang Didefinisikan dengan Baik ), Anda dapat menjadikan konstanta universal, meskipun jelas bukan seperti yang Anda butuhkan. Untuk pekerjaan terkait, konsultasikan pekerjaan dengan Hirsch, Itsykson dan siswa mereka, misalnya laporan teknis ini .s V 1t(U,A)<sVt(V,A)+tVsV1

Sunting: Seperti komentar Squark, runtime dari algoritma Levin juga tergantung pada runtime dari , karena harus memverifikasi jawabannya. Untuk mendapatkan konstan , yang perlu Anda lakukan adalah mengatur kecepatan berbagai algoritma dalam progres geometrik (bukan progresi aritmatika, seperti dalam algoritma asli Levin).s VAsV


1
Jika saya mengerti dengan benar, Levin's adalah sesuatu di sepanjang baris "mari kita jalankan semua kemungkinan algoritma secara paralel, dan setiap kali salah satu dari mereka menghasilkan jawaban mari kita mengujinya dan berhenti jika itu benar". Karena V adalah salah satu algoritme yang sedang dijalankan, V akan menemukan jawaban dalam waktu yang sama dengan V hingga perlambatan yang terkait dengan fraksi "waktu CPU" yang dialokasikan untuk "utas" V. Namun, saya pikir Anda kehilangan istilah tambahan A-dependent: waktu yang diperlukan untuk menguji jawaban. Algoritma Hutter bergantung pada pencarian bukti yang tidak cukup bagi saya karena saya tidak membuat asumsi tentang provabilitasU
Vanessa

1
sVV

sVtVV

1
Saya tidak mengerti caranya. Btw jika saya menambahkan kondisi V terbukti merupakan pemecah masalah universal, akan mungkin untuk menghilangkan istilah dependen A dengan menjalankan hanya algoritma yang dapat dibuktikan sebagai pemecah masalah universal
Vanessa
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.