Penjelasan kelas P dan NP melalui lambda-calculus


36

Dalam pengantar dan penjelasan kompleksitas P dan NP sering diberikan melalui mesin Turing. Salah satu model perhitungan adalah lambda-calculus. Saya mengerti, bahwa semua model perhitungan adalah setara (dan jika kita dapat memperkenalkan apa pun dalam istilah mesin Turing, kita dapat memperkenalkan ini dalam istilah model komputasi apa pun), tetapi saya tidak pernah melihat ide penjelasan kelas kompleksitas P dan NP melalui lambda-calculus . Adakah yang bisa menjelaskan pengertian kelas kompleksitas P dan NP tanpa mesin Turing dan hanya dengan kalkulus lambda sebagai model perhitungan.


5
Kekuatan komputasi mereka setara hanya untuk fungsi-fungsi di atas bilangan asli, bukan tipe yang lebih tinggi atau pengaturan lainnya.
Kaveh

Kelengkapan Turing kadang-kadang merupakan konsep yang lebih teoretis untuk menunjukkan koneksi tetapi "konversi" yang lebih diterapkan antara sistem lengkap TM tidak selalu benar-benar dilakukan dalam praktiknya yaitu terkadang lebih banyak tentang bukti keberadaan ...
vzn

Jawaban:


40

Turing- Machines dan λ -calculus hanya setara dengan fungsi NN dapat mereka tentukan.

Dari sudut pandang kompleksitas komputasi mereka tampaknya berperilaku berbeda. Alasan utama orang menggunakan mesin Turing dan bukan λ -kalkulus untuk alasan kompleksitas adalah bahwa menggunakan λ -kalkulus secara naif mengarah pada langkah-langkah kompleksitas yang tidak realistis, karena Anda dapat menyalin istilah (ukuran sewenang-wenang) secara bebas dalam langkah-langkah pengurangan β tunggal , misalnya (λx.xxx)MMMM.Dengan kata lain, langkah reduksi tunggal dalam λ-kalkulus adalah model biaya yang buruk. Sebaliknya, langkah-langkah pengurangan mesin Turing tunggal bekerja sangat baik (dalam arti menjadi prediktor yang baik untuk menjalankan-waktu program dunia nyata).

Tidak diketahui bagaimana sepenuhnya memulihkan teori kompleksitas berbasis mesin Turing konvensional dalam λ -kalkulus. Dalam terobosan baru - baru ini (2014), Accattoli dan Dal Lago berhasil menunjukkan bahwa kelas besar kompleksitas waktu seperti P , NP dan EXP dapat diberikan formulasi λ kalkulus alami . Tetapi kelas yang lebih kecil seperti O(n2) atau O(nlogn) tidak dapat disajikan dengan menggunakan teknik Accattoli / Dal Lago.

Bagaimana memulihkan kompleksitas ruang konvensional menggunakan λ -calculus tidak diketahui.


4
Saya merasa perlu mengklarifikasi di sini: tidak ada "teknik" khusus yang digunakan oleh Accattoli dan Dal Lago untuk "menyajikan" kelas waktu. Presentasi adalah "naif" satu: mendefinisikan sebagai kelas bahasa decidable oleh λ -istilah di f ( n ) β -reduction langkah, di bawah setiap strategi pengurangan standar ( misalnya paling kiri -paling luar). Accattoli dan Dal Lago menunjukkan, menggunakan teknik yang berasal dari logika linier, bahwa ada polinom p sehingga λ T I M E ( fλTIME(f(n))λf(n) βp .λTIME(f(n))=TIME(p(f(n))
Damiano Mazza

@ DamianoMazza Ya itu benar, yang saya maksud adalah bahwa saya tidak berpikir teknik yang digunakan untuk menunjukkan hasil ini dapat digunakan untuk menunjukkan misalnya . λTIME(n2)=TIME(n2)
Martin Berger

3
Ok aku paham. Sebenarnya, tebakan saya adalah bahwa : kelas kompleksitas seperti T I M E ( n 2 ) atau T I M E ( n log n ) tidak kuat , kita tidak bisa mengharapkan mereka stabil di bawah perubahan dalam model komputasi (ini terkenal kasusnya bahkan jika kita tetap menggunakan mesin Turing, misalnya single-tape vs multi-tape).λTIME(n2)TIME(n2)TIME(n2)TIME(nlogn)
Damiano Mazza

3
@ DamianoMazza Saya setuju, demikian juga untuk ukuran alfabet yang dipilih. Tetapi sebuah algoritma yang berjalan di pada mesin n -tape dapat disimulasikan dalam 5 k f 2 ( n ) pada mesin 1-tape, sebuah ledakan kuadratik sederhana. Apa heboh terjemahan Accattoli and Dal Lago's saat ini? Saya tidak ingat apakah mereka secara eksplisit menyatakannya. f(n)n5kf2(n)
Martin Berger

1
@Jake Makalah yang dikutip ini membahas normalisasi beta (lihat halaman dua). Hasil yang serupa sudah dikenal untuk bentuk reduksi lain, seperti reduksi lemah (yaitu, call-by-value) - lihat Dal Lago & Martini, 2008 (dibahas dalam makalah itu dan di cstheory.stackexchange.com/a/397/989 ).
Blaisorblade

12

Saya menempelkan sebagian jawaban yang saya tulis untuk pertanyaan lain :

Kompleksitas Komputasi Implisit bertujuan untuk mengkarakterisasi kelas kompleksitas dengan menggunakan bahasa khusus. Hasil pertama seperti Teorema Bellantoni-Cook dinyatakan dalam hal fungsi rekursif, tetapi hasil yang lebih baru menggunakan kosakata dan teknik λ -kalkulus. Lihat pengantar singkat ini untuk Kompleksitas Komputasi Tersirat untuk lebih banyak dan petunjuk, atau proses dari lokakarya DICE .μλ

Ada ada penokohan (setidaknya) dengan menggunakan λ- kalkulus.FPλ


5

PNP

PNP

Beberapa penokohan lebih lanjut dari kelas kompleksitas komputasi dalam hal kompleksitas algoritmik (Kolmogorov-Solomonov) dapat ditemukan (misalnya) di sini dan di sini .

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.