Pertanyaan yang diberi tag «ds.algorithms»

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 ada prosedur sederhana seperti ini.

22 ds.algorithms  sat 

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 kejadian terburuk. 4) Analisis yang diperhalus: Waktu berjalan yang diharapkan pada contoh …

22 ds.algorithms 

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 akan mulai dengan pengurangan yang sangat sederhana dari vertex …

22 ds.algorithms  np-hardness  big-list  reductions 

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;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 fenomena serupa di pengaturan lain? Yang saya maksud adalah bahwa …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Apakah ada yang tahu tentang program open-source untuk menghitung dekomposisi Tree dari grafik untuk "k" (lebar) yang diperbaiki? Saya tahu bahwa masalah menemukan Tree-Decomposition adalah NP-Hard untuk variabel "k", tetapi instance input saya akan sangat kecil (~ 10 node) dan "k" sudah diperbaiki.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Baru-baru ini, saya melalui pengalaman menyenangkan yang menyakitkan dengan menjelaskan secara informal konsep kompleksitas komputasi kepada seorang programmer otodidak berbakat muda, yang tidak pernah mengambil kursus formal dalam algoritma atau kompleksitas sebelumnya. Tidak mengherankan, banyak gagasan yang tampak aneh pada awalnya tetapi masuk akal dengan beberapa contoh (PTIME, tidak bisa …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Mari kita memanggil fungsi superpolinomial jika ditahan untuk setiap c&gt; 0 .f( n )f(n)f(n) c &gt; 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c &gt; 0c&gt;0c>0 Jelaslah bahwa untuk bahasa apa pun L ∈ PL∈PL\in {\mathsf P} ia berpendapat bahwa L ∈ D T I M E ( f( …

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

Untuk algoritma acak mengambil nilai nyata, "trik median" adalah cara sederhana untuk mengurangi kemungkinan kegagalan pada ambang batas mana pun , dengan biaya hanya pada multiplikatif) overhead. Yaitu, jika output \ mathcal {A} jatuh ke "rentang yang baik" I = [a, b] dengan probabilitas (setidaknya) 2/3 , kemudian menjalankan salinan …

21 ds.algorithms  randomized-algorithms 

Kita semua tahu bahwa perbedaan elemen dalam model berbasis perbandingan tidak dapat dilakukan dalam waktu . Namun, pada RAM kata, seseorang mungkin dapat mencapai yang lebih baik.o(nlogn)o(nlog⁡n)o(n\log n) Tentu saja, jika kita mengasumsikan adanya fungsi hash sempurna yang dapat dihitung dalam waktu linier, kita mendapatkan algoritma waktu linier untuk perbedaan …

21 ds.algorithms 

Mengakses artikel KW Regan "Connect the Stars" , ia menyebutkan pada akhirnya bahwa masih merupakan masalah terbuka untuk menemukan representasi bilangan bulat sehingga operasi penambahan, perkalian, dan perbandingan dapat dihitung dalam waktu linier: Apakah ada representasi bilangan bulat sehingga penambahan, perkalian, dan perbandingan semuanya bisa dilakukan dalam waktu linier? Pada …

21 ds.algorithms  ds.data-structures  worst-case 

Masalah jalur penjual keliling satu dimensi, tentu saja, sama dengan penyortiran, dan dengan demikian dapat diselesaikan dengan tepat dengan perbandingan dalam waktu , tetapi dirumuskan sedemikian rupa sehingga perkiraan serta tepat solusi masuk akal. Dalam model perhitungan di mana input adalah bilangan real, dan pembulatan ke bilangan bulat dimungkinkan, mudah …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Baru-baru ini, saya bekerja pada masalah untuk menghitung perkiraan jumlah daftar nomor non-negatif yang diurutkan. Untuk setiap tetap , sebuah O ( log n ) skema pendekatan waktu yang telah diturunkan sedemikian rupa sehingga memberikan ( 1 + ε ) -approximation untuk penjumlahan. Makalah ini diposting di http://arxiv.org/abs/1112.0520 , yang …

21 ds.algorithms  reference-request 

Akhir-akhir ini saya mulai mencari algoritma perkiraan untuk masalah NP-hard dan saya bertanya-tanya tentang alasan teoritis untuk mempelajarinya. (Pertanyaannya tidak dimaksudkan sebagai peradangan - saya hanya ingin tahu). Beberapa teori yang benar-benar indah telah keluar dari studi tentang algoritma aproksimasi - hubungan antara teorema PCP dan kekerasan aproksimasi, dugaan UGC, …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

(Ini adalah tindak lanjut dari pertanyaan ini dan jawabannya .) Saya memiliki program linear integer benar-benar unimodular (TU) berikut (ILP). Di sini semua bilangan bulat positif diberikan sebagai bagian dari input. Subset tertentu dari variabel diatur ke nol, dan sisanya dapat mengambil nilai integral positif:x i jℓ , m , …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

(crossposted dari MathOverflow) Hai, Saya membaca utas ini: /mathpro/16393/finding-a-cycle-of-fixed-length Saya ingin menemukan 5 siklus dalam grafik. Sebenarnya, yang benar - benar saya inginkan adalah siklus ganjil terpendek dengan panjang minimal 5, tapi mungkin itu sedikit intinya. Untuk tujuan saya, saya memperlakukan dan n sama dalam analisis kompleksitas. mmmnnn Bisakah kita …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix