Posting diperbarui pada tanggal 31 Agustus : Saya menambahkan ringkasan jawaban saat ini di bawah pertanyaan awal. Terima kasih atas semua jawaban yang menarik! Tentu saja, semua orang dapat terus memposting temuan baru. Untuk kelompok grafik mana terdapat algoritma waktu polinomial untuk...
Diberikan adalah dag. Anda ingin memberi label pada setiap node dengan berapa banyak node yang dapat dijangkau darinya. adalah batas atas sepele; Ω ( V + E ) adalah batas bawah (saya pikir). Apakah ada algoritma yang lebih baik? Adakah alasan untuk percaya bahwa batas bawah dapat ditingkatkan...
Lebar pohon mengukur seberapa dekat grafik dengan pohon. NP-hard untuk menghitung lebar pohon. Algoritma pendekatan yang paling dikenal mencapai faktor .O ( log n----√)HAI(logn)O(\sqrt{{\log}n}) Teorema Courcelle menyatakan bahwa setiap properti grafik yang dapat didefinisikan dalam logika orde...
Misalkan menjadi dua bahasa reguler yang diberikan oleh NFA sebagai input.M 1 , M 2L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Asumsikan kami ingin memeriksa apakah . Ini jelas dapat dilakukan oleh algoritma kuadratik yang menghitung otomat produk , tetapi saya bertanya-tanya apakah ada yang lebih efisien...
Langkah pertama dari algoritma pengujian primality AKS adalah untuk memeriksa apakah nomor input adalah kekuatan yang sempurna. Tampaknya ini adalah fakta yang terkenal dalam teori bilangan karena makalah ini tidak menjelaskannya secara terperinci. Dapatkah seseorang memberi tahu saya bagaimana...
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Dalam makalah Science 2016 " Realisasi algoritma Shal scalable " [ 1 ], penulis faktor 15 dengan hanya 5
Kita tahu bahwa Maximum Independent Set (MIS) sulit diperkirakan dalam faktor untuk setiap kecuali P = NP. Apa sajakah kelas grafik khusus yang dapat diketahui algoritma perkiraannya dengan lebih baik? ϵ > 0n1 - ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 Grafik apa yang diketahui algoritma...
Ketika mendesain algoritma aproksimasi seseorang kadang-kadang memecahkan program semidefinite diikuti oleh langkah pembulatan. Contoh yang sering digunakan untuk menggambarkan ini adalah Max-Cut. (Lihat misalnya Algoritma Aproksimasi oleh Vijay Vazirani.) Apakah ada sumber atau survei pendidikan...
x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0<k‖x‖0<k\|x\|_0 < kA R nAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-Sparse dengan sekecil . Saya mungkin tidak memiliki parameter yang paling dikenal tetapi ini adalah ide umum.R O ( k n o ( 1 ) )xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Pertanyaan saya adalah: apakah ada...
Biarkan menjadi grafik. Untuk titik , mendefinisikan menjadi (terbuka) lingkungan dari di . Yaitu, . Tentukan dua simpul dalam menjadi kembar jika dan memiliki tetangga yang sama, yaitu, jika .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in VN( x )N(x)N(x)xxxGGGu , v GN( x...
Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah! Pengurangan dari semua jenis dipersilahkan. Saya...
Sebuah tensor adalah generalisasi dari vektor dan matriks untuk dimensi yang lebih tinggi dan peringkat dari tensor juga generalizes pangkat matriks. Yakni, peringkat dari tensor adalah jumlah minimal peringkat satu tensor bahwa jumlah untuk T . Vektor dan matriks masing-masing adalah tensor...
Berikut adalah beberapa cara untuk menganalisis waktu berjalan suatu algoritma: 1) Analisis kasus terburuk: Menjalankan waktu pada contoh terburuk. 2) Analisis kasus rata-rata: Waktu berjalan yang diharapkan pada contoh acak. 3) Analisis diamortisasi: Rata-rata waktu berjalan pada urutan...
Saya tidak begitu mengerti mengapa hampir semua pemecah SAT menggunakan CNF, bukan DNF. Menurut saya menyelesaikan SAT lebih mudah menggunakan DNF. Setelah semua, Anda hanya perlu memindai set implan dan memeriksa apakah salah satu dari mereka tidak mengandung variabel dan negasi. Untuk CNF, tidak...
Ini tentang seberapa efektif kita dapat mengekspresikan suatu algoritma. Saya membutuhkan ini untuk pengajaran sarjana saya. Saya mengerti tidak ada yang namanya cara standar untuk menulis kode semu. Penulis yang berbeda mengikuti konvensi yang berbeda. Akan sangat membantu jika orang-orang di...
Pertimbangkan jaringan listrik yang dimodelkan sebagai grafik G planar, di mana setiap sisi mewakili resistor 1Ω. Seberapa cepat kita bisa menghitung resistensi efektif yang tepat antara dua simpul dalam G? Setara, seberapa cepat kita dapat menghitung arus yang tepat mengalir di sepanjang setiap...
Misalkan kita diberi beberapa poligon sederhana terpisah di dalam pesawat, dan dua titik dan luar setiap poligon. Masalah jalur terpendek Euclidean adalah menghitung jalur terpendek Euclidean dari ke yang tidak memotong interior poligon apa pun. Untuk konkret, mari kita asumsikan bahwa koordinat...
Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada? Apa sebutan masalah ini? Di mana saya bisa tahu lebih
Pertanyaan ini adalah tentang kompleksitas waktu dari algoritma aliran maksimum Ford-Fulkerson ketika menggunakan DFS untuk menemukan jalur tambahan. Ada contoh terkenal yang menunjukkan bahwa menggunakan DFS seseorang dapat memerlukan jumlah iterasi linier dalam aliran maksimum, lihat misalnya...
Dalam permainan menara pertahanan, Anda memiliki kisi NxM dengan awal, akhir, dan sejumlah dinding. Musuh mengambil jalur terpendek dari awal hingga selesai tanpa melewati dinding apa pun (mereka biasanya tidak dibatasi ke grid, tetapi demi kesederhanaan katakanlah mereka. Dalam kedua kasus itu,...