Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Kesimpulan dari kekuatan matematika terbalik dari teorema minor graph
Katakanlah kita memiliki properti grafik yang dapat diperiksa dalam waktu polinomial nondeterministik, dan bukti dalam sistem formal yang lemah (katakanlah RCA 0 ) bahwa properti tersebut tertutup kecil. Bisakah kita mengatakan sesuatu tentang kekuatan sistem formal, yang mampu membuktikan bahwa himpunan terbatas anak-anak yang dikecualikan mencirikan properti grafik yang diberikan? …
1
Teorema Adleman atas semir tak terbatas?
Adleman telah menunjukkan pada tahun 1978 bahwa : jika fungsi boolean dari variabel dapat dihitung dengan rangkaian boolean probabilistik ukuran , maka dapat juga dihitung dengan deterministik sirkuit boolean polinomial ukuran dalam dan ; sebenarnya, dari ukuran . B P P ⊆ P / p o l yBPP⊆P/halHaily\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnM.M.MfffM.M.MnnnO ( …
1
"Tingkat kesulitan Rabin dalam menghitung suatu fungsi, dan urutan parsial set rekursif"
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat kesulitan komputasi diperkenalkan dan dipelajari. Gagasan ini invarian dalam arti bahwa itu tidak tergantung …
1
Pengurangan banyak-orang paling lambat?
Ketika kita ingin membuktikan bahwa adalah -Lengkap, maka pendekatan standar untuk menunjukkan waktu polinomial komputasi pengurangan banyak-salah satu yang dikenal masalah -Lengkap untuk . Dalam konteks ini kita tidak perlu terikat ketat pada waktu pengurangan berjalan. Itu sudah cukup untuk telah setiap polinomial terikat, yang memungkinkan bahwa mungkin mungkin memiliki …
2
Apa definisi yang setara dari mP / poli dalam hal mesin Turing?
P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit …
1
Masalah konfigurasi "Snake"
Sambil menulis posting kecil tentang kompleksitas videogames Nibbler dan Snake ; Saya menemukan bahwa keduanya dapat dimodelkan sebagai masalah konfigurasi ulang pada grafik planar; dan tampaknya tidak mungkin bahwa masalah seperti itu belum dipelajari dengan baik di bidang perencanaan gerak (bayangkan misalnya rantai kereta atau robot yang saling terkait). Gim-gim …
2
Masalah lengkap alami di tingkat yang lebih tinggi dari hirarki-
The -hierarchy adalah hirarki kelas kompleksitas W [ t ] dalam kompleksitas parameter, lihat Zoo Kompleksitas untuk definisi. Definisi alternatif mendefinisikan W [ t ] menggunakan pembobotan Fagin tertimbang untuk Π t- formula logika orde pertama, lihat buku teks oleh Flum dan Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Untuk kelas terendah dan W [ …
1
Masalah perluasan yang sulit
Dalam masalah perpanjangan, kami diberikan bagian dari solusi dan kami ingin memutuskan apakah kami dapat memperluasnya ke solusi yang lengkap. Beberapa masalah perpanjangan dapat dipecahkan secara efisien sementara masalah perpanjangan lainnya mengubah masalah yang mudah menjadi sulit. Misalnya, teorema Konig-Hall menyatakan bahwa semua grafik bipartit kubik berwarna 3-sisi tetapi versi …
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.