Pertimbangkan masalah berikut: Diberikan matriks kami ingin mengoptimalkan jumlah penambahan dalam algoritma multiplikasi untuk komputasi .v ↦ M vM.M.Mv ↦ Mvv↦M.vv \mapsto Mv Saya menemukan masalah ini menarik karena hubungannya dengan kompleksitas perkalian matriks (masalah ini adalah versi...
Hal ini juga diketahui bahwa kelas-kelas tertentu dari NP -problems Memiliki dikotomi teorema, yang menjamin bahwa setiap tugas di kelas adalah baik NP -Lengkap atau di P . Hasil yang paling dikenal adalah teorema dikotomi Schaefer , bersama dengan sejumlah generalisasi. Pemahaman saya adalah...
Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan:...
Misalkan menjadi grafik sederhana yang tidak diarahkan pada n simpul dan tepi m .G = ( V, E)G=(V,E)G=(V,E)nnnmmm Saya mencoba untuk menentukan waktu menjalankan diharapkan dari algoritma Wilson untuk menghasilkan pohon rentang acak . Di sana, itu ditunjukkan menjadi O ( τ ) , di mana τ adalah...
Istilah berikut (menggunakan bruijn-indeks): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Ketika diterapkan pada nomor gereja, Nevaluasi ke bentuk normal dengan cepat di beberapa evaluator yang ada, termasuk yang naif ....
Adakah contoh alami masalah optimasi yang diketahui yang lebih mudah menghasilkan solusi optimal daripada mengevaluasi kualitas solusi kandidat yang diberikan? Demi konkret, kami dapat mempertimbangkan masalah optimisasi waktu-terpecahkan polinomial dari bentuk: "diberikan x, minimalkan ", di mana...
Dugaan Berman-Hartmanis: semua bahasa NP-lengkap terlihat sama, dalam arti bahwa mereka dapat saling terkait oleh isomorfisme waktu polinomial [1]. Saya tertarik pada versi "polinomial time" yang lebih berbutir halus, yaitu, jika kita menggunakan pengurangan parameter. Masalah parameter adalah...
Saya tertarik mengurangi -Clique menjadi SAT tanpa membuat instance jauh lebih besar.kkk Klik di NP sehingga dapat direduksi menjadi SAT menggunakan ruang logaritmik. Pengurangan buku teks Garey / Johnson langsung meledak contoh ke ukuran kubik . Namun, -Clique ada di P untuk setiap k tetap...
Misalkan menjadi polinomial simetris , yaitu polinomial sehingga untuk semua dan semua permutasi . Untuk kenyamanan, kita dapat menganggap adalah bidang yang terbatas, untuk menghindari mengatasi masalah dengan model perhitungan.f:Kn→Kf:Kn→Kf:\mathbb{K}^n \to
Masalah parametrized k-FLIP SAT didefinisikan sebagai: Input: rumus 3-CNF dengan variabel dan penugasan kebenaran Parameter: Pertanyaan: dapatkah kita mengubah penugasan menjadi penugasan yang memuaskan untuk membalik nilai kebenaran paling banyak variabel ?φφ\varphinnnσ: [ n ] → { 0 , 1...
Ada beberapa kelas grafik yang menarik dengan treewidth terikat. Misalnya, pohon (treewidth 1), seri grafik paralel (treewidth 2), grafik outerplanar (treewidth 2), grafik kkk -outerplanar (treewidth O (k)), grafik lebar cabang (treewidth O (k)), .. .kkk Pertanyaan: Apakah ada contoh kelas grafik...
Di mana saya dapat menemukan pengantar untuk automata probabilistik dan apa yang mereka kenali (fungsi tertentu dari kata ke )? Apakah ada istilah standar untuk fungsi seperti itu yang dikenali oleh automata probabilistik, analog dengan "bahasa reguler" untuk apa yang dikenali deterministik finite...
Teori tipe konstruktif dengan interpretasi dasarnya di bawah korespondensi curry howard hanya terdiri dari total, fungsi yang dapat dihitung. Dalam literatur, beberapa telah dikatakan menggunakan "teori tipe komputasi" untuk mewakili non-terminasi dalam program fungsional, namun dalam makalah yang...
Inklusi terbalik jelas, karena fakta bahwa setiap bahasa NP yang dapat direduksi sendiri dalam BPP juga dalam RP. Apakah ini juga diketahui berlaku untuk bahasa NP yang tidak dapat direduksi
Diberikan grafik bipartit G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E) dengan bobot positif, biarkan f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R} dengan f(S)f(S)f(S) sama dengan pencocokan berat maksimum dalam grafik G[S∪V]G[S∪V]G[S\cup V] . Benarkah fff adalah fungsi
Salah satu dari beberapa hal yang saya tidak suka tentang buku Okasaki tentang struktur data yang murni fungsional adalah bahwa kodenya dipenuhi dengan pencocokan pola yang tidak lengkap. Sebagai contoh, saya akan memberikan implementasi antrian waktu-nyata (refactored untuk menghilangkan...
Ini terinspirasi oleh pertanyaan ini . Misalkan adalah kumpulan semua kombinator yang hanya memiliki dua variabel terikat. Apakah C lengkap secara kombinasi?CC\mathcal{C}CC\mathcal{C} Saya percaya jawabannya negatif, namun saya tidak dapat menemukan referensi untuk ini. Saya juga akan tertarik...
Biarkan mesin Turing probabilistik memiliki akses ke koin yang tidak adil yang muncul di kepala dengan probabilitas (membalik independen). Tentukan sebagai kelas bahasa yang dikenali oleh mesin seperti itu dalam waktu polinomial. Ini adalah latihan standar untuk membuktikan bahwa:p B P P...
Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Biarkan menjadi input yang...
Motivasi Suatu hari, saya bepergian keliling kota dengan transportasi umum dan saya membuat masalah grafik yang menarik yang memodelkan masalah menemukan koneksi terpendek antara dua tempat. Kita semua tahu "masalah jalur terpendek" klasik: Diberikan grafik berarah dengan panjang dan dua simpul...