Xor automata (NXA) yang non-deterministik secara sintaksis adalah NFA, tetapi sebuah kata dikatakan diterima oleh NXA jika memiliki jumlah jalur penerimaan yang ganjil (daripada setidaknya satu jalur penerimaan dalam kasus NFA). Sangat mudah untuk melihat bahwa untuk bahasa reguler berhingga ,...
Baru-baru ini saya tertarik pada masalah umum dalam mengoptimalkan penggunaan memori dalam situasi di mana ada lebih dari satu jenis memori yang tersedia, dan ada pertukaran antara kapasitas segmen memori yang diberikan dan kecepatan mengaksesnya. Contoh yang umum adalah program memutuskan kapan...
Saya bertanya-tanya apakah ada versi yang dibatasi secara komputasional dari konsep keseimbangan Nash, sesuatu di sepanjang baris berikut. Bayangkan beberapa jenis dua pemain game informasi yang sempurna yang dimainkan pada papan, dan yang kompleks dalam arti bahwa bermain optimal adalah...
Ketidaklengkapan Chaitin teorema mengatakan teori tidak cukup kuat aritmatika dapat membuktikan K(s)>LK(s)>LK(s) > L mana adalah kompleksitas Kolmogorov string dan adalah konstan cukup besar. adalah cukup besar jika lebih besar dari ukuran dalam bit dari mesin pemeriksaan bukti (PCM). Sebuah...
Saya sedang membaca artikel wikipedia tentang masalah delapan ratu. Dinyatakan bahwa, tidak ada formula yang diketahui untuk jumlah pasti solusi. Setelah beberapa pencarian, saya menemukan sebuah makalah bernama "Pada kesulitan menghitung masalah pemetaan lengkap". Dalam tulisan ini ada masalah,...
Sebagian besar dari kita akrab dengan - atau setidaknya pernah mendengar tentang - entropi Shannon dari variabel acak, H(X)=−E[logp(X)]H(X)=−E[logp(X)]H(X) = -\mathbb{E} \bigl[ \log p(X)\bigr] , dan semua informasi terkait - ukuran teoretis seperti entropi relatif, informasi timbal balik, dan...
Saya mencari contoh hasil yang bertentangan dengan intuisi orang untuk pembicaraan khalayak umum. Hasil yang jika ditanyakan dari non-pakar "apa yang dikatakan intuisi Anda kepada Anda?", Hampir semua akan salah. Pernyataan hasil harus mudah dijelaskan kepada sarjana dalam cs / matematika. Saya...
Kami menganggap DAGs (diarahkan grafik asiklik) dengan satu node sumber sss dan satu sasaran simpul ttt ; tepi paralel yang bergabung dengan pasangan simpul yang sama diizinkan. Sebuah kkk - cut adalah satu set tepi yang removal menghancurkan semua sss - ttt jalur lama dari kkk ; jalur sss - lebih...
Berdasarkan buku Pengantar Algoritma , kebenaran dari algoritma serakah membutuhkan masalah untuk memiliki dua properti: properti pilihan serakah substruktur optimal Sangat mudah untuk menghasilkan contoh-contoh balasan yang solusi serakah gagal karena kurangnya properti pilihan serakah,...
Misalkan kita menghubungkan titik-titik menggunakan set tepi yang tidak diarahkan sedemikian sehingga salah satu terhubung ke , atau terhubung ke , secara independen dan seragam secara acak untuk semua .V=Z2V=Z2V = \mathbb{Z}^2EEE(i,j)(i,j)(i, j)(i+1,j+1)(i+1,j+1)(i + 1, j + 1)(i+1,j)(i+1,j)(i + 1,...
Razborov membuktikan bahwa pencocokan fungsi monoton tidak dalam mP . Tetapi bisakah kita menghitung pencocokan menggunakan sirkuit ukuran polinomial dengan beberapa negasi? Apakah ada sirkuit P / poli dengan negasi yang menghitung pencocokan? Apa trade-off antara jumlah negasi dan ukuran untuk...
Pertimbangkan vektor variabel x⃗ x→\vec{x} , dan seperangkat batasan linear yang ditentukan oleh A x⃗ ≤ bSEBUAHx→≤bA\vec{x}\leq b . Selanjutnya, pertimbangkan dua polytopes P1P2= { ( f1( x⃗ ) , ⋯ , fm( x⃗ ) ) ∣ A x⃗ ≤ b }= { ( g1( x⃗ ) , ⋯ , gm( x⃗ ) ) ∣ A x⃗ ≤ b...
Masalah: Diberikan diwakili oleh sirkuit boolean, menghasilkan secara acak yang seragam sedemikian rupa sehingga (atau output jika ada). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) = 1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx Jelas masalah ini...
Waktu konstan adalah kompleksitas akhir waktu mutlak yang rendah. Orang mungkin bertanya-tanya: adakah sesuatu yang nontrivial yang dapat dihitung dalam waktu yang konstan? Jika kita berpegang pada model mesin Turing, maka tidak banyak yang dapat dilakukan, karena jawabannya hanya dapat bergantung...
Hubungan logis untuk bahasa Impredikatif seperti Sistem F tampaknya bergantung secara kritis pada impredicativitas dari logika ambient. Secara khusus, interpretasi untuk tipe forall akan didefinisikan dalam istilah semua hubungan yang diketik. Dalam sistem impredikatif (seperti CiC / Coq) itu baik,...
Saya seorang insinyur perangkat lunak yang cukup mahir, tetapi saya tidak tahu banyak teori. Saya ingin belajar lebih banyak teori. Topik khusus yang saya minati adalah: kompleksitas komputasi, bahasa formal, dan teori jenis. Tetapi saya bingung bagaimana cara mulai belajar tentang bidang-bidang...
Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan...
Menurut Kompleksitas Kebun Binatang , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} dan kita tahu bahwa RegReg\mathsf{Reg} tidak dapat dihitung sehingga TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Namun tidak disebutkan apakah Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}...
Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O...
Biarkan menjadi keluarga semua bahasa di atas memenuhi properti pemompaan bahasa biasa. Yaitu: untuk setiap , ada st setiap kata , dapat ditulis dalam bentuk mana: 1. , 2. , 3. untuk semua .L.L.\mathcal{L}ΣΣ\SigmaL ∈ LL.∈L.L\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ Lw∈L.w\in L| w | >N|w|>N|w|>...