Pertanyaan yang diberi tag «ds.algorithms»

Apa kerumitan dalam menentukan apakah suatu interval bilangan asli mengandung bilangan prima? Varian Saringan Eratosthenes memberikan algoritma , di mana adalah panjang interval dan menyembunyikan menyembunyikan faktor polar-logaritmik di titik awal interval; dapatkah kita berbuat lebih baik (dalam hal sendiri)?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Pertimbangkan model rangkaian monoton sederhana berikut: setiap gerbang hanyalah sebuah biner ATAU. Apa kompleksitas dari fungsi mana adalah Boolean matriks dengan 0's? Bisakah itu dihitung dengan ukuran linier OR-sirkuit?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) Lebih formal, adalah fungsi dari ke bit. The th output yaitu (yaitu, OR dari subset input bit yang diberikan …

14 ds.algorithms  circuit-complexity  upper-bounds 

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 pada panjang segmen awal input, karena bagian input yang …

14 cc.complexity-theory  ds.algorithms  time-complexity 

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 item teratas dalam tumpukan, cetak item teratas dalam tumpukan, salin …

14 ds.algorithms  sorting 

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 :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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 / k)HAI(kn1+1/k)O(k n^{1+1/k})( …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Diberikan sebagai input bilangan bulat dan himpunan dari himpunan elemen , apa kompleksitas menemukan himpunan elemen dari sedemikian sehingga memiliki kardinalitas minimal dan tidak termasuk dalam set ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ..., n\}TTTSTTTSSS

14 cc.complexity-theory  ds.algorithms 

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 dinamis?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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 pelajaran atau artikelnya?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

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 tidak terpakai simpul di , …

14 ds.algorithms  graph-theory  treewidth 

Kita tahu bahwa jika kesenjangan antara nilai-nilai program integer dan dual-nya ("kesenjangan kualitas") adalah nol, maka relaksasi pemrograman linier dari program integer dan dual relaksasi, keduanya mengakui solusi integral (integral nol) celah"). Saya ingin tahu apakah kebalikannya berlaku, setidaknya dalam beberapa kasus. A 0 - 1 P ′ P P …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

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 dan tepat satu wastafel titik ; biarkan menyatakan himpunan semua jalur diarahkan dari …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

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 S , disadari oleh r i dan s i , kita dapat menemukan pemisahan terbaik dari P i - …

14 ds.algorithms  cg.comp-geom 

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, E-E ') terhubung …

14 ds.algorithms  graph-theory 

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 mengoordinasikan keturunan hasil dengan bersepeda melalui koordinat, memperbaiki semua kecuali yang dipilih …

14 ds.algorithms  reference-request  optimization  heuristics