Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini. Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada...
Mungkin sumber utama masalah kinerja di Haskell adalah ketika sebuah program secara tidak sengaja membangun sebongkah kedalaman tak terbatas - ini menyebabkan kebocoran kehabisan memori dan potensi stack overflow saat mengevaluasi. Contoh klasik didefinisikan sum = foldr (+) 0dalam Haskell. Apakah...
Masalah telah, secara keseluruhan, diklasifikasikan, berkat Kompleksitas Komputasi. Tetapi, dalam persamaan diferensial, apakah mungkin untuk mengklasifikasikan persamaan diferensial tergantung pada struktur komputasinya? Sebagai contoh, jika persamaan non-homogen orde pertama secara komparatif...
Q . Apa kompleksitas menemukan sel terikat volume terbesar dalam pengaturan hiperplanes dalam dimensi d ?nnnddd Saya merasa saya harus tahu ini ... Tapi saya tidak menemukan referensi yang pasti. Apakah itu ? Bagaimana dengan spesialisasi d = 2 : Area sel terikat terbesar dalam susunan...
Ada masalah terbuka dalam bahasa formal yang dikenal sebagai Masalah Pemisahan; yang secara singkat dinyatakan memiliki dua string panjang , seberapa besar DFA diperlukan untuk "memisahkan" mereka, artinya menerima satu string tetapi menolak yang lain.nnn Berikut adalah beberapa makalah yang...
Apa kompleksitas dari masalah berikut ( P? NP-hard?):∈∈\in Input: grafik asiklik langsung , satu set tepi mundur , dan dua node dan .E ′ ⊂ V × V s tD = ( V, E)D=(V,E)D=(V,E)E′⊂ V× VE′⊂V×VE'\subset V\times Vsssttt Pertanyaan: Misalkan menunjukkan grafik yang dibentuk dengan menambahkan ke tepi...
Dalam pengujian identitas polinomial kami mencari algoritma deterministik untuk menyimpulkan kesetaraan dua polinomial . Melakukan derandomisasi yang dikenal dengan algoritma acak yang efisien dan menghasilkan algoritma deterministik yang efisien adalah masalah terbuka yang penting. Apakah ada...
Diberikan dua permutasi dan atas elemen (yaitu, anggota ), apa kompleksitas menghitung urutan subkelompok yang dihasilkan oleh ? Atau hanya memutuskan apakah subkelompok itu berurutan(yaitu, semua )?ggghhhnnnSnSnS_ng, hg,hg,hn
Ini adalah masalah terbuka tua apakah langsung-sum teorema berlaku untuk kompleksitas komunikasi deterministik, yaitu, apakah pemecahan contoh independen dari masalah adalah kali lebih keras dari pemecahan satu contoh. [FKNN95] menunjukkan hasil berikut:tttttt Hasil negatif: Ada fungsi parsial...
Biarkan k>0k>0k>0 menjadi konstanta tetap. Diberikan bilangan bulat nnn , kami ingin membangun permutasi σ∈Snσ∈Sn\sigma \in S_n sedemikian rupa sehingga: Konstruksi menggunakan waktu dan ruang konstan (yaitu preprocessing membutuhkan waktu dan ruang konstan). Kita bisa menggunakan...
Saya bertanya-tanya apakah mungkin ada cara untuk memberikan semacam "bentuk normal" untuk pohon keputusan biner (BDT) dengan cara yang traktable. Lebih tepatnya: BDT adalah pohon dengan node internal yang dilabeli oleh variabel boolean dan daun dilabeli dengan atau . BDT mewakili fungsi boolean...
Blog ini berbicara tentang menghasilkan "labirin kecil berliku" menggunakan komputer dan menghitungnya. Pencacahan dapat dilakukan dengan menggunakan algoritma Wilson untuk mendapatkan UST , tapi saya tidak ingat rumus untuk berapa
Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = {nnn .L.n= {ww|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .L.nLnL_n2 n2n2n Pertimbangkan fungsi kompleksitas keadaan berikut...
Biarkan QQQ menjadi kelas turun-temurun dari grafik. (Herediter = ditutup sehubungan dengan mengambil subgraphs diinduksi.) Misalkan QnQnQ_n menyatakan himpunan nnn grafik -vertex di QQQ . Katakanlah QQQ berisi hampir semua grafik, jika fraksi dari semua grafik nnn -vertex yang jatuh dalam QnQnQ_n...
Kombinator interaksi telah diusulkan sebagai target kompilasi untuk kalkulus λ sebelumnya. Makalah itu mengimplementasikan kalkulus λ penuh. Diketahui juga bahwa adalah mungkin untuk mengoptimalkan pengkodean interaksi-bersih dari kalkulus-λ untuk subset dari istilah-istilah yang memiliki tipe-EAL....
The Borsuk-Ulam Teorema mengatakan bahwa untuk setiap terus menerus aneh fungsi dari n-bola ke dalam Euclidean n-space, ada titik sehingga .x 0 g ( x 0 ) = 0gggx0x0x_0g(x0) = 0g(x0)=0g(x_0)=0 Simmons dan Su (2002) menjelaskan metode untuk memperkirakan titik menggunakan lemma Tucker . Namun, tidak...
Di http://www.dharwadker.org/tevet/isomorphism/ , ada presentasi algoritma untuk menentukan apakah dua grafik isomorfis. Mengingat sejumlah hal yang akan kita katakan, klaim "menarik" oleh A Dharwadker, saya tidak cenderung mempercayainya. Dalam penyelidikan saya, saya menemukan bahwa algoritme...
Istilah λ berikut, di sini dalam bentuk normal: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Menerapkan algoritma pengurutan untuk daftar yang dikodekan oleh gereja. Yaitu, hasil...
Dalam proyek-proyek Polymath, sebuah kelompok besar mengerjakan masalah terbuka. Masalah apa yang tampaknya paling berhasil dalam kerangka kerja ini? Apakah ada kandidat yang baik untuk proyek polymath dalam ilmu komputer teoretis? Adakah kendala yang membuat proyek Polymath lebih kecil...
Dari artikel strategi evaluasi di Wikipedia: Gagasan strategi pengurangan dalam kalkulus lambda adalah serupa tetapi berbeda. Dari artikel strategi reduksi di Wikipedia: Ini mirip dengan tetapi agak berbeda dari gagasan strategi evaluasi dalam ilmu komputer. Apa perbedaan halus antara...