Biarkan menjadi fungsi tetap yang dapat dibangun-waktu.fff Hasil simulasi universal klasik untuk TMs (Hennie dan Stearns, 1966) menyatakan bahwa ada dua-tape TM sedemikian rupa sehingga diberikanUUU deskripsi dari TM , dan⟨M⟩⟨M⟩\langle M \rangle string input ,xxx dijalankan untuk langkah dan...
Beberapa frontmatter: Saya seorang ilmuwan komputer rekreasi dan insinyur perangkat lunak yang dipekerjakan. Jadi, maafkan jika prompt ini tampaknya agak keluar dari bidang kiri - saya secara rutin bermain dengan simulcra matematika dan membuka masalah ketika saya tidak punya yang lebih baik untuk...
Saya jadi tahu bahwa unit pemrosesan grafis memiliki sesuatu yang disebut memory coalescing. Saat membacanya saya tidak jelas tentang topiknya. Apakah ini ada hubungannya dengan Memory Level Parallelism. Saya telah mencari di Google tetapi tidak dapat memperoleh jawaban yang memuaskan. Akan...
Saya adalah asisten bukti belajar mandiri dan memutuskan untuk memulai pada beberapa bukti dasar dan terus maju. Karena bukti didasarkan pada bukti lain dan karenanya membentuk hierarki, adakah repositori dari hierarki bukti? Saya tahu saya dapat memilih asisten bukti dan menganalisis...
Saya sedang membaca pertanyaan di Stack Overflow menanyakan apakah NP -hard mendaftar semua siklus sederhana dalam grafik yang berisi simpul tertentu dan terpikir oleh saya bahwa saya tidak bisa memikirkan kelas kompleksitas yang ada yang cocok untuk berbicara tentang masalah pada formulir "daftar...
Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional). Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.λλ\lambda Saya...
Apa saja contoh masalah keputusan sulit yang dapat diselesaikan dalam waktu polinomial? Saya mencari masalah dengan algoritma optimal "lambat", atau masalah yang algoritma paling cepat diketahui "lambat". Berikut ini dua contoh: Pengakuan grafik yang sempurna. Dalam makalah FOCS'03 mereka [1]...
Adakah yang bisa merujuk saya ke makalah peer-review yang mempelajari kelebihan atau kekurangan dari penulisan kode dengan gaya fungsional? Apakah ada makalah yang membahas aplikasi Lambda Calculus di berbagai bidang seperti Machine Learning, Desain Bahasa,
Mari menjadi grafik, dan biarkan dan dua simpul dari . Bisakah kita secara efisien mencicipi terpendekGGGssstttGGGsss - ttt secara seragam dan independen secara acak dari rangkaian semua jalur terpendek antara sss dan ttt ? Untuk kesederhanaan, kita dapat menganggap GGG sederhana, tidak terarah dan...
Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0...
Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah...
Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k ."L R (...
Algoritma dan struktur data yang tidak memperhatikan cache adalah hal yang agak baru, diperkenalkan oleh Frigo et al. dalam algoritma Cache-oblivious, 1999 . Tesis Prokop dari tahun yang sama memperkenalkan ide-ide awal juga. Makalah oleh Frigo et al. menyajikan beberapa hasil eksperimen yang...
Saya memiliki sejumlah pertanyaan terkait tentang kedua topik ini. Pertama, sebagian besar teks kompleksitas hanya menutupi kelas . Apakah ada sumber daya yang baik yang mencakup penelitian lebih mendalam? Sebagai contoh, sesuatu yang membahas semua pertanyaan saya di bawah ini. Juga, saya...
Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis...
Saya adalah seorang pria berusia 16 tahun yang baru-baru ini diberi sebuah ensiklopedia besar tentang ilmu komputer oleh seorang teman saya. Saya biasanya tidak begitu tertarik pada komputer dan teknologi, tetapi ilmu komputer sudah mulai membuat saya terpesona. Namun saya berniat untuk belajar...
Aplikasi klasik divide and conquer adalah untuk memecahkan masalah berikut: Diberikan array dari elemen yang berbeda dan dapat dibandingkan, hitung jumlah pasangan inversi dalam array: pasangan sedemikian rupa sehingga dan .( i , j ) a [ i ] > a [ j ] i < ja [ 1 ... n ]Sebuah[1...n]a[1\dots...
Masalah bandwidth minimum adalah menemukan urutan node grafik pada garis integer yang meminimalkan jarak terbesar antara dua node yang berdekatan. Masalah keputusan adalah NP-lengkap bahkan untuk pohon biner. Hasil Kompleksitas untuk Minimalisasi Bandwidth. Garey, Graham, Johnson dan Knuth, SIAM...
Halaman masalah grafik isomorfisme Wikipedia tampaknya menunjukkan bahwa, tidak, itu belum diselesaikan. Namun, seorang teman saya menunjukkan Algoritma Waktu Polinomial untuk Grafik Isomorfisme . Saya tidak cukup canggih untuk mengikuti alasan di koran. Saya memang memiliki usaha saya sendiri...
The Pasang Correspondence Masalah (PCP) adalah diputuskan. The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].N PNP\mathrm{NP}P S P A C EPSPSEBUAHCE\mathrm{PSPACE} Apakah versi...