Dalam bentuk sederhana: Bisakah otomat terbatas dua arah mengenali grafik vvv -vertex yang berisi segitiga dengan status o(v3)o(v3)o(v^3) ? Detail Yang menarik di sini adalah grafik vvv -vertex yang dikodekan menggunakan urutan tepi, masing-masing tepi menjadi sepasang simpul yang berbeda...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Dalam makalah mereka Perkiraan Jarak Orakel , Thorup dan Zwick menunjukkan bahwa untuk setiap grafik tanpa arahan tertimbang, adalah mungkin untuk membangun struktur data ukuran yang dapat mengembalikan ( 2 k - 1 ) -approximate jarak antara setiap pasangan simpul dalam grafik.O ( k n1 + 1 /...
Pertimbangkan pengaturan berikut: kami diberi tumpukan sss yang berisi item.nnn kita dapat menggunakan jumlah tumpukan ekstra konstan .O ( 1 )HAI(1)O(1) kita dapat menerapkan operasi berikut pada tumpukan ini: periksa apakah tumpukan kosong, membandingkan item teratas dari dua tumpukan, hapus...
Saya bertanya-tanya bagaimana menemukan ketebalan grafik tidak berarah jarang. Maksud saya jarang . Maksud saya adalah kompleksitas waktu terendah.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Saya memikirkan beberapa modifikasi pada algoritma Tarjan untuk grafik tidak berarah, tetapi saya tidak menemukan hasil...
Saya menulis implementasi dari algoritma Kuhn-Munkres untuk masalah pencocokan sempurna bipartit berat minimum berdasarkan catatan kuliah yang saya temukan di sana-sini di web. Ini bekerja dengan sangat baik, bahkan pada ribuan titik. Dan saya setuju bahwa teori di baliknya benar-benar indah. Namun...
Kita tahu bahwa algoritma mincut Krier dapat digunakan untuk membuktikan (dengan cara yang tidak konstruktif) bahwa jumlah maksimum dari mincuts yang mungkin dimiliki oleh sebuah grafik adalah .(n2)(n2)n \choose 2 Saya bertanya-tanya apakah kita bisa membuktikan identitas ini dengan memberikan...
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...
Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan
Saya sudah menanyakan pertanyaan ini di stackoverflow , tapi mungkin lebih cocok untuk situs ini. Masalahnya adalah: Saya memiliki N pasang bilangan bulat yang tidak ditandatangani. Saya perlu menyortirnya. Vektor akhir dari pasangan harus diurutkan secara tidak menurun dengan angka pertama di...
Diberi matriks (dengan asumsi ), apa algoritma tercepat untuk menghitung peringkat dan basis kolomnya?m×nm×nm \times nm≥nm≥nm \ge n Saya sadar ini dapat diselesaikan melalui persimpangan matroid linier, yang menyiratkan algoritma deterministik waktu dan algoritma acak waktu . Apakah ada algoritma...
Misalkan G adalah grafik nir simpul n-simpul, dan misalkan T adalah subset simpul dari V (G) yang disebut terminal . Pemelihara jarak (G, T) adalah grafik H yang memuaskan properti dH( u , v ) = dG( kamu , v )dH(kamu,v)=dG(kamu,v)d_H(u,v) = d_G(u,v) untuk semua node u, v dalam T. (Perhatikan...
Saya tertarik untuk mengimplementasikan tugas SM untuk LP, namun saya telah mendengar tentang kemungkinan jebakan: Buku Cormen mengatakan bahwa adalah mungkin untuk memiliki data input yang akan membuat implementasi naif untuk berperilaku dalam waktu yang eksponensial. Saya juga mendengar bahwa...
Adakah yang diketahui tentang masalah berikut? Apakah itu masuk akal? Disebut apakah itu? Apakah ini sepadan dengan beberapa masalah lain? Apa kompleksitas waktu? Diberikan grafik (umum / planar / terikat-derajat / dll.) G = (V, E), temukan subset maksimum tepi E ', sedemikian sehingga G' = (V,...
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...
Saya menerapkan beberapa bagian sistem yang memerlukan bantuan. Karena itu saya membingkainya sebagai masalah grafik untuk menjadikannya domain independen. Masalah: Kami diberi grafik asiklik langsung G=(V,E)G=(V,E)G=(V,E) . Tanpa kehilangan umum menganggap bahwa memiliki tepat satu sumber vertex...
Saya sedang menyiapkan beberapa materi kursus tentang heuristik untuk optimisasi, dan telah mencari metode penurunan koordinat. Pengaturan di sini adalah fungsi multivarian yang ingin Anda optimalkan. memiliki properti yang terbatas pada variabel tunggal mana pun, mudah dioptimalkan. Jadi...
Saya memiliki masalah serius dalam memahami satu langkah di koran Dobkin dan Kirkpatrick tentang pemisahan polyhedra. Saya mencoba memahami versi ini: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Dikatakan bahwa setelah kita mengetahui pemisahan terbaik dari dan...
Saya tertarik pada grafik pada nnn simpul yang dapat diproduksi melalui proses berikut. Mulai dengan grafik arbitrer GGG pada k≤nk≤nk\le n simpul. Labeli semua simpul dalam sebagai tidak digunakan .GGG Menghasilkan grafik baru dengan menambahkan titik baru , yang terhubung ke satu atau lebih yang...
Saya ingat pernah melihat sebuah penelitian atau artikel beberapa waktu yang lalu mengklaim bahwa sebagian besar percepatan yang terlihat dalam program komputer selama beberapa dekade terakhir adalah dari algoritma yang lebih baik daripada perangkat keras yang lebih cepat. Adakah yang tahu...