Saya agak baru, tetapi sangat tertarik pada bidang teori komputasi dan kompleksitas, dan saya ingin memperjelas pemahaman saya tentang bagaimana masalah kelas, dan seberapa kuat masalah terkait dengan mesin yang digunakan untuk menyelesaikannya. Pemahaman saya Standard Turing Machine - Mesin...
Misalkan saya memiliki grafik dengan M ( G ) yang (tidak diketahui) set matching sempurna G . Misalkan set ini tidak kosong, lalu seberapa sulitkah untuk mengambil sampel secara acak dari M ( G ) ? Bagaimana jika saya baik-baik saja dengan distribusi yang dekat dengan seragam, tetapi tidak cukup...
Fungsi sibuk berang-berang max bergeser, S(n)S(n)S(n) , memiliki nilai yang diketahui untuk . Adakah alasan mendasar dan struktural mengapa kita tidak dapat menemukan untuk ? Apa perbedaan dari dari ? Atau ? Di suatu tempat di sepanjang jalan harus ada beberapa perbedaan mendasar, jika akan, pada...
Ada nnn sampah, yang bin th mengandung bola. Bola memiliki warna, ada bola warna . Biarkan .iiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Swap adalah mengambil bola dari satu nampan dan menukar dengan bola dari nampan lain. Kami ingin jumlah swap minimum sehingga setiap nampan hanya...
Apakah output parser harus berupa pohon atau bisa juga grafik umum? Selain itu, apakah ada bahasa yang ada atau bahasa yang masuk akal yang menggunakan representasi grafik umum alih-alih pohon untuk
Saya telah membaca tentang perbedaan antara serializability dan linearizability , yang keduanya merupakan kriteria konsistensi untuk sistem yang direplikasi seperti database yang direplikasi. Namun, saya tidak tahu dalam hal apa linierabilitas akan diperlukan, meskipun itu lebih kuat dari...
Biarkan bahasa L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* menjadi reguler. Faktorisasi LL\mathcal{L} adalah pasangan maksimal (X,Y)(X,Y)(X,Y) dari kumpulan kata dengan X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , dimana X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy |...
Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata...
Saya mencoba memahami apa yang dimaksud dengan "deterministik" dalam ungkapan seperti "tata bahasa bebas konteks deterministik". (Ada lebih banyak "hal-hal" deterministik dalam bidang ini). Saya akan menghargai contoh lebih dari penjelasan yang paling rumit! Jika memungkinkan. Sumber kebingungan...
Menggunakan algoritma Fibonacci rekursif berikut: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Jika saya memasukkan angka 5 untuk menemukan fib (5), saya tahu ini akan menghasilkan 5 tetapi bagaimana saya memeriksa kompleksitas algoritma ini? Bagaimana cara...
Apa kompleksitas dari dan ? Apakah mereka dalam P? Apakah ini NP-hard?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Untuk memformalkan ini lebih tepat, biarkan Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, di mana dan...
Saya mencari algoritma yang efisien untuk masalah berikut atau bukti NP-hardness. Biarkan menjadi himpunan dan seperangkat himpunan bagian dari . Temukan urutan panjang paling sedikit sehingga untuk setiap , ada sedemikian rupa sehingga .Σ\SigmaA⊆P(Σ)A\subseteq\mathcal{P}(\Sigma)Σ\Sigmaw∈Σ∗w\in...
Saya sedang membaca entri Wikipedia tentang Kolmogorov Complexity ( berkat pertanyaan ini ), yang menyatakan: Dapat ditunjukkan bahwa kompleksitas Kolmogorov dari string apa pun tidak boleh lebih dari beberapa byte lebih besar dari panjang string itu sendiri. Mengapa Anda perlu lebih dari...
Pemrograman fungsional memiliki Lambda Calculus yang sangat elegan dan variannya sebagai teori cadangan. Apakah ada hal seperti itu untuk OOP? Apa yang dimaksud dengan abstraksi untuk model berorientasi
Tetapkan bahasa sebagai . Dengan kata lain,LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLL berisi kata-kata yang tidak dapat diekspresikan karena beberapa kata diulang dua kali. ApakahLLL bebas konteks atau tidak? Saya sudah mencoba untuk berpotongan...
Saya ingin contoh quine dalam kalkulus lambda murni . Saya cukup terkejut bahwa saya tidak dapat menemukannya dengan googling. Halaman quine mencantumkan quine untuk banyak bahasa "nyata", tetapi tidak untuk kalkulus lambda. Tentu saja, ini berarti mendefinisikan apa yang saya maksudkan dengan...
Ini adalah fakta yang terkenal bahwa "Korelasi tidak sama dengan sebab akibat", tetapi pembelajaran mesin tampaknya hampir seluruhnya didasarkan pada korelasi. Saya sedang mengerjakan suatu sistem untuk memperkirakan kinerja siswa pada pertanyaan berdasarkan kinerja masa lalu mereka. Tidak seperti...
Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat...
Meminta saran Raphael tentang titik-temu dua NPDA : Biarkan dan A 2 masing-masing untuk bahasa bebas konteks L 1 dan L 2 . Dengan asumsi kita tahu bahwa L = L 1 ∩ L 2 bebas konteks, dapatkah kita (secara efektif) membuat NPDA A untuk L ?SEBUAH1SEBUAH1A_1SEBUAH2SEBUAH2A_2L1L1L_1L2L2L_2L = L1∩...
Halaman wikipedia tentang algoritma perkalian menyebutkan yang menarik oleh Donald Knuth . Pada dasarnya, ini melibatkan penggabungan fourier-transform multiplication dengan tabel pra-komputasi dari perkalian berukuran logaritmik. Ini berjalan dalam waktu linier. Artikel tersebut bertindak seperti...