Pertanyaan yang diberi tag «ds.algorithms»

Adakah yang bisa menunjuk ke satu atau lebih situs web di mana dimungkinkan untuk mengunduh implementasi kerja pemecah #SAT? Saya tertarik pada mereka yang mengembalikan hitungan solusi yang tepat, bukan perkiraan.

21 ds.algorithms  sat  software 

Katakanlah bahasa adalah P -density-close jika ada algoritma waktu polinomial yang memutuskan pada hampir semua input dengan benar.LLLLLLL Dengan kata lain, ada P , sehingga menghilang, yang berarti Ini juga berarti bahwa pada input acak yang seragam, algoritma polytime untuk A akan memberikan jawaban yang benar untuk L dengan probabilitas …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Asumsikan kita ingin mengurutkan daftar dari bilangan real. Anggaplah kita diberi kotak hitam yang dapat mengurutkan bilangan real secara instan. Berapa banyak keuntungan yang bisa kita peroleh dengan menggunakan kotak hitam ini?n √SSSnnnn--√n\sqrt n Misalnya, dapatkah kita mengurutkan angka hanya dengan panggilan ke kotak hitam? Algoritma terbaik yang saya temukan …

20 ds.algorithms  sorting  decision-trees 

Saya baru-baru ini membaca ringkasan masalah yang terlibat dengan melakukan perbedaan di antara pohon-pohon dan itu membuat saya tertarik untuk belajar apa yang paling canggih untuk masalah ini. Juga, anggaplah bahwa di antara operasi edit yang diizinkan adalah simpul tambah / hapus tradisional, edit konten yang Anda tambahkan operasi perluasan …

20 ds.algorithms  tree  edit-distance 

Apa beberapa hasil yang diketahui untuk menemukan subarray n-dimensi yang tepat di dalam array n-dimensi? Dalam 1D, itu hanya masalah pencocokan string, KMP melakukannya dalam waktu linier. Dalam 2D, makalah ini menunjukkan dapat dilakukan dalam waktu linier dengan sedikit ruang ekstra. Bisakah masalah ini diselesaikan dalam kasus terburuk linear waktu …

20 ds.algorithms  reference-request  string-matching 

Seorang kolega yang bekerja pada pemrograman genetika menanyakan kepada saya pertanyaan berikut. Saya pertama kali mencoba menyelesaikannya berdasarkan pendekatan serakah, tetapi pada pemikiran kedua, saya menemukan contoh tandingan terhadap algoritma serakah. Jadi, saya pikir layak disebutkan di sini. Pertimbangkan dua polinomial yang diwakili oleh pohon ekspresi mereka. Misalnya, x3- 2 …

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru. NCFhalFp\mathbb{F}_pNCNCNC Apakah Anda tahu survei terbaru atau …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N CPP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Matching sempurna masalah adalah salah satu masalah mendasar yang …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Misalkan kita memiliki matriks n oleh n. Apakah mungkin untuk menyusun ulang baris dan kolomnya sehingga kita mendapatkan matriks segitiga-atas? Pertanyaan ini dimotivasi oleh masalah ini: Urutan topologis positif Masalah keputusan awal setidaknya sekeras yang ini, jadi hasil NP-kelengkapan akan menyelesaikannya juga. Sunting: Laszlo Vegh dan Andras Frank meminta perhatian …

20 ds.algorithms  np-hardness  open-problem  matrices 

Biarkan menjadi fungsi. Kami ingin memperkirakan rata-rata ; yaitu: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f: { 0 , 1 }n→ ( 2- n, 1 ]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n …

20 ds.algorithms  randomized-algorithms  black-box 

Apa kompleksitas yang paling dikenal untuk menghitung jarak edit yang tepat antara dua string dengan panjang yang sama menggunakan ruang kerja yang sublinear dalam ukuran input? Saya berasumsi input disimpan dalam beberapa format read-only. Apakah ini masalah yang dipelajari sebelumnya? Untuk membuat pertanyaan sedikit lebih spesifik, bagaimana dengan ruang di …

19 ds.algorithms  edit-distance  space-time-tradeoff 

Adakah yang bisa membantu saya dengan masalah berikut? Saya ingin menemukan beberapa nilai ai,bjai,bja_i,b_j (mod NNN ) di mana i=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (misalnya K=6K=6K=6 ), diberi daftar nilai K2K2K^2 yang sesuai dengan perbedaan ai−bj(modN)ai−bj(modN)a_i-b_j\pmod N (misalnya N=251N=251N=251 ), tanpa mengetahui hubungan konkret yang sesuai. Karena nilai-nilai ai,bj(modN)ai,bj(modN)a_i,b_j\pmod N tidak unik didefinisikan …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Anda diberi grafik dengan n simpul. Mungkin bipartit jika Anda mau. Ada m set tepi E 1 , … , E m ⊆ E (katakanlah disjoint). Saya tertarik pada masalah menemukan subset S ⊆ V , sekecil mungkin (atau bahkan lebih kecil), sehingga grafik yang diinduksi G S memiliki setidaknya …

19 ds.algorithms  graph-theory  optimization 

Menghitung konstanta Cheeger dari sebuah grafik , juga dikenal sebagai konstanta isoperimetri (karena pada dasarnya rasio area / volume minimum), dikenal sebagai NP-complete. Umumnya diperkirakan. Saya tertarik untuk mengetahui apakah algoritma polinom persis dikenal untuk kelas grafik khusus. Misalnya, apakah masih lengkap untuk grafik biasa ? Untuk grafik jarak-reguler ? …

19 ds.algorithms  reference-request  graph-algorithms 

Latar belakang: Chao Xu memposting pertanyaan berikut beberapa waktu lalu: " Apakah ada algoritma penyortiran perbandingan yang diketahui tidak mengurangi untuk menyortir jaringan, sehingga setiap elemen dibandingkan dengan kali?O ( logn )HAI(catatan⁡n)O(\log n) ". Tampaknya kita agak terjebak dengan masalah; Saya telah membahas masalah yang sama dengan Valentin Polishchuk pada …

19 ds.algorithms  sorting  sorting-network