Apakah fungsi Boolean Turing lengkap


9

Fungsi Boolean adalah fungsi .f:{0,1}n{0,1}

Boolean basis dikenal sebagai Turing selesai karena memungkinkan urutan s { 0 , 1 } dibalik atau dibiarkan tidak berubah. Hal yang sama dapat dikatakan untuk gerbang X O R.(,)s{0,1}XOR

Dalam pengertian ini kita dapat mulai dengan konfigurasi mesin awal sedemikian rupa sehingga b i{ 0 , 1 } dan X O R dengan nilai-nilai berturut-turut v i :b=(b1,,bn)bi{0,1}XORvi

bv1v2v3

Setiap state akan mewakili permutasi dari beberapa elemen dalam b . Proses ini secara efektif meniru mesin Turing dan mengasumsikan bahwa ada beberapa generator untuk nilai v i .vibvi

Jadi bisakah kita mengatakan bahwa fungsi Boolean Turing lengkap?


1
Bagaimana mesin ini bisa terjebak dalam infinite loop?
Guildenstern

vi

Jawaban:


8

Secara informal, bahasa (pemrograman) Turing lengkap jika setiap fungsi yang dapat dikomputasi memiliki representasi. Fungsi komputasi umum menerima input ukuran sewenang-wenang. Fungsi Boolean, di sisi lain, menerima input dengan ukuran tetap. Karenanya fungsi Boolean bahkan tidak memenuhi syarat sebagai berpotensi Turing-lengkap.

kkx1,,xnn1{¬,,}{¬,}{¬,} tidak lengkap: hanya bisa mengekspresikan fungsi linear.


Akankah rekan mereka, sirkuit boolean, menjadi Turing lengkap? Saya menduga mereka sejak Cook (dalam buktinya NP-kelengkapan 3SAT) menunjukkan bagaimana mesin Turing dan sirkuit boolean setara?
user13675

@ user13675 Tidak, ini masalah yang persis sama. Setiap mesin Turing yang berhenti dapat dikonversi menjadi sirkuit atau formula Boolean yang setara untuk setiap ukuran input, tetapi untuk setiap ukuran Anda akan membutuhkan yang berbeda.
Yuval Filmus

5

secara tegas ketika YF telah menjawab, sirkuit yang terbatas tidak dapat Turing lengkap.

Namun ada baiknya menyebutkan petunjuk dalam menanggapi pertanyaan ini (dan mungkin apa yang Anda cari) konsep yang terkait erat digunakan secara luas dalam teori di mana sirkuit digunakan untuk menghitung fungsi dengan cara yang lebih kuat daripada Turing lengkap.

nCn

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.