Pertanyaan yang diberi tag «ds.algorithms»

Apa beberapa masalah non-sepele di mana kita tahu algoritma saat ini yang kita miliki adalah yang optimal asimptotik? (Untuk mesin turing) Dan bagaimana ini terbukti?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Bahasa sehari-hari, definisi eksponen matriks-perkalian ωω\omega adalah nilai terkecil yang ada algoritma perkalian-matriks nωnωn^{\omega} . Ini tidak dapat diterima sebagai definisi matematika formal, jadi saya kira definisi teknis adalah sesuatu seperti infimum atas semua ttt seperti bahwa ada algoritma matriks-perkalian dalam ntntn^t . Dalam hal ini, kita tidak bisa mengatakan …

15 ds.algorithms  linear-algebra 

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: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Apa makalah / buku yang bagus untuk lebih memahami kekuatan Dekomposisi Modular dan propertinya? Saya sangat tertarik pada aspek algoritmik Dekomposisi Modular. Saya telah mendengar bahwa adalah mungkin untuk menemukan Dekomposisi Modular dari grafik dalam waktu linier. Apakah ada algoritma yang relatif sederhana untuk itu? Bagaimana dengan algoritma yang tidak …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Saya telah menanyakan pertanyaan ini pada Stack Overflow beberapa waktu lalu: Masalah: Penjualan Bob . Seseorang menyarankan untuk mengirim pertanyaan di sini juga. Seseorang telah mengajukan pertanyaan terkait dengan masalah ini di sini - Berat minimum hutan hujan dari kardinalitas yang diberikan - tetapi sejauh yang saya mengerti itu tidak …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Dalam mencoba menyusun algoritma penyortiran saya sendiri, saya mencari patokan optimal yang dapat saya bandingkan. Untuk pengurutan elemen A yang tidak disortir dan pengurutan B yang terurut , apa cara yang efisien untuk menghitung jumlah transposisi optimal untuk mendapatkan dari A ke B ? Transposisi didefinisikan sebagai perpindahan posisi 2 …

15 ds.algorithms  co.combinatorics  sorting 

Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus mengikuti kursus ini sebagai persyaratan. Apakah ada 'trik' untuk berpikir dengan cara ini? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Satu ekstensi klasik dari masalah aliran-max adalah masalah "aliran-max dari waktu ke waktu": Anda diberi digraf, dua simpul yang dibedakan sebagai sumber dan wastafel, di mana setiap busur memiliki dua parameter, kapasitas-per -unit-waktu dan penundaan. Anda juga diberi waktu horizon . Tujuannya adalah untuk menghitung aliran dari waktu ke waktu …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah ditemukan untuk grafik lebar pohon yang dibatasi dan pada umumnya …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

The Walsh-Hadamard Transform (WHT) adalah generalisasi dari transformasi Fourier, dan transformasi ortogonal pada vektor bilangan real atau kompleks dimensi . Transformasi ini populer dalam komputasi kuantum, tetapi telah dipelajari baru-baru ini sebagai semacam prasyarat untuk proyeksi acak vektor dimensi tinggi untuk digunakan sebagai bukti dari Johnson-Lindenstrauss Lemma. Fitur utamanya adalah …

15 ds.algorithms  linear-algebra 

Saya mencari algoritma online untuk mempertahankan penutupan transitif dari grafik asiklik langsung dengan kompleksitas waktu kurang dari O (N ^ 2) per penambahan tepi. Algoritme saya saat ini seperti ini: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Pertanyaan ini berkaitan dengan algoritma Fisher-Yates untuk mengembalikan acak acak array yang diberikan. The halaman Wikipedia mengatakan bahwa kompleksitas adalah O (n), tapi saya berpikir bahwa itu adalah O (n log n). Di setiap iterasi i, integer acak dipilih antara 1 dan i. Cukup menulis integer dalam memori adalah O …

15 ds.algorithms  permutations 

Jika kita memiliki grafik besar (terarah) dan pohon berakar lebih kecil , kompleksitas apa yang paling dikenal untuk menemukan subgraf isomorfik ke ? Saya menyadari hasil isomorfisma subtree di mana dan adalah pohon dan juga di mana adalah planar atau telah terikat treewidth (dan lain-lain) tetapi tidak untuk grafik dan …

15 ds.algorithms  reference-request  graph-theory 

Pemecah SAT memberikan cara yang ampuh untuk memeriksa validitas rumus boolean dengan satu quantifier. Misalnya, untuk memeriksa validitas ∃x.φ(x)∃x.φ(x)\exists x . \varphi(x) , kita dapat menggunakan pemecah SAT untuk menentukan apakah φ(x)φ(x)\varphi(x) memuaskan. Untuk memeriksa validitas ∀x.φ(x)∀x.φ(x)\forall x . \varphi(x) , kita bisa menggunakan SAT solver untuk menentukan apakah ¬φ(x)¬φ(x)\neg …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Dalam kursus pengantar saya untuk pemrograman, kita belajar tentang metode Inisialisasi-Pemeliharaan-Pemutusan untuk membuktikan suatu algoritma melakukan apa yang kita harapkan. Tapi kami hanya perlu membuktikan bahwa suatu algoritma yang sudah diketahui benar, benar. Kami tidak pernah diminta untuk menunjukkan bahwa suatu algoritma tidak benar. Apakah ada contoh algoritma klasik yang …

15 ds.algorithms  proofs