Pertanyaan yang diberi tag «ds.algorithms»

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 implementasi yang naif dapat mengulang untuk beberapa jenis data. Apakah …

14 ds.algorithms  linear-programming  software  implementation  simplex 

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 deterministik waktu yang lebih langsung mengurangi masalah (atau eliminasi Gaussian) …

14 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

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

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

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 setiap pasangan dan tidak meningkat dengan yang kedua …

14 ds.algorithms  sorting 

Pertimbangkan beberapa bahasa sedemikian rupa sehingga:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) dan jadi itu L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Dengan kata lain, mesin tercepat menghitung dalam waktu dan mesin paling efisien ruang menghitung saat menggunakan ruang .L O ( f ( n ) ) M ′ L O ( g …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

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 saya masih bertanya-tanya mengapa saya harus berusaha sejauh …

14 ds.algorithms  graph-theory  linear-programming  simplex 

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 yang baik. Sebenarnya saya berpikir bahwa jika saya dapat menemukan 2 komponen yang terhubung di …

14 ds.algorithms  graph-theory  open-problem 

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 bukti bijective (agak suntik) dari set mincuts ke set kardinalitas …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Saya membaca kertas "Fast Paxos" oleh Leslie Lamport dan terjebak dengan bukti kebenaran dari Paxos klasik dan Fast Paxos. Untuk konsistensi, nilai vvv dipilih oleh koordinator dalam fase 2a2a2a di babak iii harus memuaskan CP(v,i):CP(v,i):CP(v,i): Untuk setiap rondej&lt;ij&lt;ij < i , tidak ada nilai selainvvv telah atau mungkin belum dipilih …

13 ds.algorithms  dc.distributed-comp  proofs 

Kita diberi grafik asiklik terarah dengan angka yang terkait dengan setiap simpul ( g : V → N ), dan nomor target TG=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N} .T∈NT∈NT\in \mathbb{N} The DAG bagian sum masalah (mungkin ada dengan nama yang berbeda, referensi akan menjadi besar) menanyakan apakah ada simpul , sedemikian rupa sehingga Σ …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Motivasi: Seorang penulis pendamping menyunting sebuah naskah dan saya ingin melihat ringkasan yang jelas dari suntingan itu. Semua "diff" -seperti alat cenderung tidak berguna jika Anda berdua bergerak teks di sekitar (misalnya, re-mengatur struktur) dan melakukan suntingan lokal. Apakah sangat sulit untuk memperbaikinya? Definisi: Saya ingin mencari jarak pengeditan minimum, …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Pertanyaan ini adalah tentang masalah pemrograman kuadratik dengan kendala kotak (kotak-QP), yaitu masalah optimasi formulir meminimalkan f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} tunduk pada x ∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Jika positif semi-pasti, maka semuanya akan bagus dan cembung dan mudah, dan kita bisa menyelesaikan masalah dalam waktu polinomial.SEBUAHSEBUAHA …

13 ds.algorithms  optimization  exp-time-algorithms 

Dalam makalah seminal mereka, algoritma Group-theoretic untuk perkalian matriks , Cohn, Kleinberg, Szegedy dan Umans memperkenalkan konsep puzzle yang dapat dipecahkan secara unik (didefinisikan di bawah) dan kapasitas USP. Mereka mengklaim bahwa Coppersmith dan Winograd, di sendiri kertas terobosan mereka Matrix perkalian melalui deret aritmetika , "implisit" membuktikan bahwa kapasitas …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Fungsi-set adalah submodular monoton jika untuk semua , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BSEBUAH,BA,Bf( A ) + f( B ) ≥ f( A ∪ B ) + …

13 ds.algorithms  approximation-algorithms  submodularity 

Saya ingin tahu tentang sejarah dua istilah ini: " efisien ", " layak ". Siapa yang menggunakannya tentang perhitungan / algoritma pertama kali? (dalam pengertian modern istilah ini, yaitu abad ke-20). Bagaimana mereka menjadi arus utama? Bagaimana kedua istilah ini mulai digunakan sebagai sinonim? Saya tahu bahwa Cobham menggunakan istilah …

13 cc.complexity-theory  ds.algorithms  ho.history-overview