Ilmu Komputer

XOR bukan nama yang tepat, tetapi saya mencari semacam perilaku eksklusif. Saat ini saya sedang memecahkan serangkaian masalah (penugasan) yang berbeda dengan memodelkan jaringan aliran dan menjalankan algoritma min-cost-max-flow. Jaringan aliran sangat berguna karena banyak masalah dapat dikurangi menjadi mereka dengan cara yang mudah dan dapat dimengerti. Dalam kasus saya …

8 algorithms  graph-theory  graphs  network-flow  assignment-problem 

Untuk jerat poligonal 2D, representasi struktur data QuadEdge dan HalfEdge cukup untuk menyimpan dan memungkinkan kueri yang efisien dari semua informasi topologi dan insiden. Apakah ada struktur data yang kompak dan efisien untuk jerat polihedral 3D? Saya tahu ada beberapa karya terbaru tentang representasi kompak untuk jerat tetrahedral, seperti, misalnya …

8 data-structures  computational-geometry 

Diberikan grafik , di mana . Apa yang dimaksud dengan algoritma cepat untuk menghasilkan koleksi semua daftar lingkungan 2-hop dari semua node di .G=(V,E)G=(V,E)G = (V,E)|V|=n|V|=n|V| = nVVV Secara naif, Anda dapat melakukannya di . Dengan kekuatan matriks, Anda dapat melakukannya dengan menggunakan algoritma Strassen. Anda bisa melakukan lebih baik …

8 algorithms  algorithm-analysis  graphs  randomized-algorithms 

Saya punya dua pertanyaan: Saya menganggap bahasa berikut Dengan kata lain, bukan palindrome dengan panjang genap. Saya membuktikan bahwa bahasa ini BUKAN reguler dengan membuktikan bahwa komplemennya tidak teratur. Pertanyaan saya adalah bagaimana membuktikannya menggunakan lemma pemompaan tanpa menggunakan komplemen.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= …

8 formal-languages  regular-languages  pumping-lemma 

Di kelas minggu ini kita telah belajar tentang CFL dan properti penutupannya. Saya telah melihat bukti untuk persatuan, persimpangan dan pujian tetapi untuk pembalikan dosen saya hanya mengatakan itu ditutup. Saya ingin melihat buktinya jadi saya sudah mencari selama beberapa hari terakhir, tetapi yang saya temukan adalah kebanyakan orang hanya …

8 context-free  closure-properties 

3n=2O(n)3n=2O(n)3^n = 2^{O(n)}rupanya benar. Saya pikir itu salah karena3n3n3^n tumbuh lebih cepat daripada fungsi eksponensial apa pun dengan basis 2. Bagaimana 3n=2O(n)3n=2O(n)3^n = 2^{O(n)} benar?

8 asymptotics  landau-notation 

Saya baru saja mulai membaca sebuah buku berjudul Pengantar Kompresi Data, oleh Guy E. Blelloch. Di halaman satu, ia menyatakan: Yang benar adalah bahwa jika ada satu pesan yang dipersingkat oleh suatu algoritma, maka beberapa pesan lainnya perlu diperpanjang. Anda dapat memverifikasi ini dalam praktiknya dengan menjalankan GZIP pada file …

8 data-compression  coding-theory 

Dengan dan orang dapat mendefinisikan rumus berikut dalam bahasa aritmatika formaln ∈ Nn∈Nn \in \mathbb{N}p , q∈ N [x1, ... ,xn]hal,q∈N[x1,...,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] φ ( n , p , q) = ∀x1⋯ ∀xn: ¬ ( p (x1, ... ,xn) = q(x1, ... ,xn) )φ(n,hal,q)=∀x1⋯∀xn:¬(hal(x1,...,xn)=q(x1,...,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n …

8 computability  logic  undecidability 

Jika grafik dengan simpul memiliki lebih dari tepi maka itu terhubung.nnn(n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} Saya agak bingung tentang pertanyaan ini, karena saya selalu dapat membuktikan bahwa untuk menghubungkan grafik, Anda memerlukan lebih dari edge.|E|>n−1|E|>n−1|E|>n-1

8 graph-theory 

Saya tertarik pada reducibilitas diri sendiri dari masalah Grafik 3-Coloralibity. Definisi masalah Grafik 3-Coloralibity. Mengingat sebuah grafik diarahkan tidak terdapat cara untuk mewarnai node merah, hijau, dan biru yang ada node yang berdekatan memiliki warna yang sama?GGG Definisi reducibilitas diri. Bahasa dapat direduksi sendiri jika ada mesin turing oracle TM …

8 complexity-theory  reductions 

Saya mencoba untuk belajar teori komputabilitas dengan buku teks. Menurut buku saya, fungsifff lebih dari satu alfabet A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z\} hanya dapat dihitung jika bahasa L={s#jσ:s∈A∗,σ∈A, the …

8 formal-languages  computability  undecidability 

Dalam teori algoritma terdistribusi, ada masalah dengan batas bawah, seperti Ω (n2)Ω(n2)\Omega(n^2), itu "besar" (maksud saya, lebih besar dari Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n)), dan nontrivial. Saya bertanya-tanya apakah ada masalah dengan ikatan yang serupa dalam teori algoritma serial, maksud saya urutan jauh lebih besar dari .Ω ( n …

8 algorithms  complexity-theory  lower-bounds 

Dari, pembuktian dengan metode probabilistik sering dikatakan tidak konstruktif. Namun, bukti dengan metode probabilistik memang merancang algoritma acak dan menggunakannya untuk membuktikan keberadaan. Dikutip dari p103 Randomized Algorithms Oleh Rajeev Motwani, Prabhakar Raghavan : Kita bisa melihat buktinya dengan metode probabilistik sebagai algoritma acak. Ini kemudian akan memerlukan analisis lebih …

8 algorithms  terminology  randomized-algorithms 

Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk persamaan: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L = \{x \in A \mid \exists …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Saya tahu istilah perintah B-tree. Baru-baru ini saya mendengar istilah baru: B tree dengan derajat minimum 2. Kita tahu bahwa derajat berhubungan dengan simpul tetapi berapa derajat pohon? Apakah derajat memaksakan segala jenis pembatasan pada ketinggian pohon-B?

8 terminology  data-structures  search-trees  dictionaries