Ilmu Komputer

Saya bingung tentang bagaimana PP dan BPP didefinisikan. Mari kita asumsikan adalah fungsi karakteristik untuk bahasa . M menjadi Mesin Turing probabilistik. Apakah definisi berikut ini benar:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > 0 \} PP={L:Pr[χ(x)≠M(x)]>12}PP={L:Pr[χ(x)≠M(x)]>12}PP =\{\mathcal{L} :Pr[\chi(x) …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Saya mengalami masalah berikut: Diberikan grafik asiklik terarah dengan bobot tepi bernilai nyata, dan dua simpul s dan t, menghitung potongan minimum. Untuk grafik umum ini adalah NP-hard, karena orang dapat dengan mudah mengurangi max-cut untuk itu hanya dengan membalik bobot edge (koreksi saya jika saya salah). Bagaimana situasinya dengan …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Katakanlah kita tahu bahwa masalah A itu sulit, maka kita mengurangi A menjadi masalah yang tidak diketahui B untuk membuktikan B juga sulit. Sebagai contoh: kita tahu pewarnaan 3 itu sulit. Lalu kami mengurangi 3-pewarnaan menjadi 4-pewarnaan. Dengan menggabungkan salah satu warna dalam 3-pewarnaan Anda memiliki 4-pewarnaan, ergo 4-pewarnaan itu …

9 complexity-theory  np-complete  reductions 

Apakah saya benar dalam pengamatan saya bahwa kardinalitas maksimum pencocokan dari grafik bipartit selalu sama dengan ?MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory  graphs  bipartite-matching 

Saya mengambil ujian teori perhitungan saya beberapa minggu yang lalu, dan ini adalah salah satu pertanyaan: Asumsikan bahasa L = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Apakah L teratur? Jika ya, berikan ekspresi reguler atau otomat untuk itu. Setelah saya bertanya secara …

9 formal-languages  regular-languages  regular-expressions 

Saya ingin memfilter secara efisien daftar bilangan bulat untuk duplikat dengan cara yang hanya disimpan oleh set hasil. Salah satu cara ini dapat dilihat: kami memiliki serangkaian bilangan bulat dengan besar (katakanlah )N 2 40S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\}NNN2402402^{40} kami memiliki fungsi dengan, konon, banyak tabrakan (gambar didistribusikan secara seragam …

9 algorithms  data-structures  sorting 

Saya diberi tugas pekerjaan rumah dengan O Besar. Saya terjebak dengan loop untuk loop yang tergantung pada loop sebelumnya. Ini adalah versi yang diubah dari pertanyaan pekerjaan rumah saya, karena saya benar-benar ingin memahaminya: sum = 0; for (i = 0; i < n; i++ for (j = 0; j …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

Apakah Mesin Turing yang diizinkan untuk membaca dan menulis simbol dari alfabet tak terbatas lebih kuat daripada TM biasa (itulah satu-satunya perbedaan, mesin masih memiliki sejumlah negara terbatas)? Intuisi tidak memberi tahu saya, karena Anda memerlukan jumlah negara tak terbatas untuk membedakan setiap simbol. Jadi saya pikir beberapa simbol atau …

9 computability  turing-machines  reductions  simulation 

Saya telah membaca banyak dokumen tentang konvolusi dalam pemrosesan gambar, dan kebanyakan dari mereka mengatakan tentang formulanya, beberapa parameter tambahan. Tidak ada yang menjelaskan intuisi dan makna sebenarnya di balik melakukan konvolusi pada gambar. Misalnya, intuisi derivasi pada grafik membuatnya lebih linier misalnya. Saya pikir ringkasan singkat dari definisi ini …

9 terminology  intuition  graphics  computer-vision 

Jika Anda memiliki algoritma penyortiran cepat, dan Anda selalu memilih elemen terkecil (atau terbesar) sebagai poros Anda; Apakah saya benar dengan asumsi bahwa jika Anda memberikan kumpulan data yang sudah diurutkan, Anda akan selalu mendapatkan kinerja kasus terburuk terlepas dari apakah daftar 'yang sudah diurutkan' berada dalam urutan naik atau …

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

Saya mencoba mengajari diri saya berbagai pendekatan untuk verifikasi perangkat lunak. Saya sudah membaca beberapa artikel. Sejauh yang saya pelajari, logika proposisional dengan temporal umumnya menggunakan pengecekan model dengan pemecah SAT (dalam sistem yang sedang berlangsung - reaktif), tetapi bagaimana dengan Logika orde pertama dengan temporal? Apakah ini menggunakan pembuktian …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Biasanya universitas mengajarkan matematika diskrit / struktur diskrit. Pertanyaan saya adalah, berapa banyak matematika yang perlu diketahui untuk memahami bidang ini? Apakah kalkulus diperlukan atau akankah precalculus baik-baik saja? Apakah seseorang perlu melakukan pembuktian sebelumnya untuk dapat memahami bidang ini? Terima kasih atas jawaban Anda. Catatan: Permintaan maaf saya jika …

9 discrete-mathematics 

Persyaratan pengkodean sebagai awalan gratis menghasilkan pohon besar karena pohon harus lengkap. Apakah ada ambang batas tempat penyimpanan data yang tidak dikodekan dengan panjang tetap akan lebih efisien daripada pengkodean data?

9 information-theory  data-compression 

Dalam artikel Parsing Expressions by Recursive Descent oleh Theodore Norvell (1999) penulis mulai dengan tata bahasa berikut untuk ekspresi aritmatika: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v …

9 formal-languages  context-free  formal-grammars  left-recursion 

Bisakah algoritma jaringan saraf tiruan diekspresikan dalam hal operasi pengurangan peta? Saya juga lebih tertarik pada metode paralelisasi sebagaimana diterapkan pada JST dan aplikasinya pada komputasi awan. Saya akan berpikir satu pendekatan akan melibatkan menjalankan JST penuh pada setiap node dan entah bagaimana mengintegrasikan hasil untuk memperlakukan grid seperti entitas …

9 parallel-computing  artificial-intelligence  neural-networks