Katakanlah saya menemukan algoritma 2-aproksimasi untuk masalah tertentu dan saya ingin menunjukkan bahwa analisisnya ketat. Apakah saya sekarang perlu untuk datang dengan sebuah contoh ukuran generik atau tidak cukup untuk menunjukkan bahwa saya memiliki contoh ukuran yang algoritma menghasilkan...
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...
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,...
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...
Ketika jaring Fisika Sinterklas terbentuk, secara fisik mustahil bagi Santa untuk mendapatkan hadiah bagi setiap anak di planet ini. Perencanaan rute tidak akan banyak membantu di sana, tetapi bisakah algoritma perencanaan yang baik setidaknya memastikan bahwa setiap anak sesekali mendapat hadiah...
Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti...
Dalam teori algoritma terdistribusi, ada masalah dengan batas bawah, seperti Ω (n2)Ω(n2)\Omega(n^2), itu "besar" (maksud saya, lebih besar dari Ω ( n logn )Ω(nlogn)\Omega(n\log n)), dan nontrivial. Saya bertanya-tanya apakah ada masalah dengan ikatan yang serupa dalam teori algoritma serial,...
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?
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
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...
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)
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...
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)}
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...
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...
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...
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...
Saya terutama tertarik pada solusi untuk masalah yang dirangkum pencarian tergantung pada urutan evaluasi. Menurut [1], pencarian terenkapsulasi dalam PAKCS tergantung pada urutan evaluasi, sementara di MCC, itu tidak, tetapi menggunakannya membutuhkan pengetahuan tentang implementasi kompiler dan...
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...
Diberikan array integer (ukuran maksimum 50000), saya harus menemukan minimum dan maksimum sehingga untuk beberapa , dengan .XXXX=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_qpppqqqp≤qp≤qp \leq q Saya telah mencoba proses ini: untuk semua . Saya pra-menghitungnya dalam...