Pertanyaan yang diberi tag «ds.algorithms»

Hai Semua, Saya saat ini mencoba untuk menemukan topik tesis master yang solid yang berkaitan dengan beberapa cabang teori automata atau terkait dengan bahasa formal. Saya mencoba untuk menghasilkan beberapa ide bagus untuk topik yang dapat diterima, sesuatu yang ambisius tetapi sesuatu yang bisa dilakukan pada saat yang bersamaan. Setiap …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Sangat mudah untuk melihat bahwa untuk setiap ada pemetaan 1-1 dari {0,1} ke {0,1} sedemikian rupa sehingga untuk setiap vektor adalah "seimbang", yaitu memiliki jumlah 1s dan 0s yang sama. Apakah mungkin untuk mendefinisikan sehingga diberikannnnFFFnn^nn+O(logn)n+O(log⁡n)^{n+O(\log n)}xxxF(x)F(x)F(x)FFFxxx kita dapat menghitung F(x)F(x)F(x) efisien? Terima kasih.

10 ds.algorithms  ds.data-structures  encoding 

Misalkan menjadi grafik terhubung yang tidak teratur yang derajatnya dibatasi. Misalkan setiap node berisi token unik.G = ( V, E)G=(V,E)G= (V, E) Saya ingin secara acak mengocok token di antara grafik hanya menggunakan swap lokal (yaitu pertukaran token antara dua node yang berdekatan)? Apakah ada batas bawah yang diketahui untuk …

10 ds.algorithms  random-walks  dc.distributed-comp 

Dapatkah sifat membagi dan menaklukkan FFT digeneralisasi ke transformasi lain (z Transform, kicau, dll) secara otomatis? Apakah ada algoritma yang mengambil deskripsi transformasi (saya tidak tahu informasi apa yang dibutuhkan) dan dapat menghasilkan fungsi seperti FFT yang cepat?

10 ds.algorithms 

Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Slackness komplementer (CS) umumnya diajarkan ketika berbicara tentang dualitas. Ini membangun hubungan yang bagus antara primal dan kendala ganda / variabel dari sudut pandang matematika. Dua alasan utama untuk menerapkan CS (seperti yang diajarkan di kursus pascasarjana dan buku teks): Untuk memeriksa optimalitas LP Untuk membantu memecahkan masalah dual Mengingat …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Serakah adalah istilah non-formal, tetapi bisa jadi (tidak yakin, itu sebabnya saya bertanya) bahwa untuk masalah tertentu, kerakusan dapat dirumuskan secara matematis dan dengan demikian terbukti bahwa tidak ada algoritma serakah yang optimal ada. Apakah ini mungkin?

10 ds.algorithms  greedy-algorithms 

Untuk banyak masalah, algoritma dengan kompleksitas asimptotik terbaik memiliki faktor konstan yang sangat besar yang disembunyikan oleh notasi O besar. Ini terjadi dalam perkalian matriks, perkalian integer (khususnya, algoritma multiplikasi integer O (n log n) baru-baru ini dari Harvey dan van der Hoeven), jaringan sortasi rendah-kedalaman dan menemukan grafik di …

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

Diketahui bahwa Ford-Fulkerson atau Edmonds-Karp dengan heuristic pipa gemuk (dua algoritma untuk max-flow) tidak perlu berhenti jika beberapa bobotnya tidak rasional. Bahkan, mereka bahkan dapat bertemu pada nilai yang salah ! Namun, semua contoh yang dapat saya temukan dalam literatur [referensi di bawah ini, ditambah referensi di dalamnya] hanya menggunakan …

9 ds.algorithms  graph-algorithms  max-flow 

Pemecah SMT seperti Z3 atau Boolector menggunakan serangkaian heuristik yang kompleks untuk menyelesaikan masalah. Namun, ini juga membuat memprediksi kinerja pemecah masalah seperti itu sangat sulit. Pertanyaan saya adalah: Pertanyaan Apakah ada cara untuk memahami atau mendapatkan wawasan tentang kinerja pemecah SMT untuk spesifik dalam teori bitvektor bebas-kuantifier (QFBV)? Ini …

9 ds.algorithms  sat  heuristics 

a , ba,ba, bminx , y> 0| Sebuahx- by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Di sini x , yx,yx, y adalah bilangan bulat. Jelas mengambil x = y= 0x=y=0x = y = 0 memberikan jawaban yang tidak menarik; secara umum seberapa dekat kekuatan ini bisa didapat? Juga, bagaimana …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Setelah keberhasilan yang lebih baru dan lebih baru dari jaringan saraf dalam bermain game papan, orang merasa bahwa tujuan berikutnya yang kita tetapkan bisa menjadi sesuatu yang lebih berguna daripada mengalahkan manusia di Starcraft. Lebih tepatnya, saya bertanya-tanya apakah Dapatkah jaringan saraf dilatih untuk memecahkan masalah algoritmik klasik? Di sini …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Makalah SODA 2 halaman Kalai memberikan algoritma yang sederhana dan efisien untuk pencocokan pola dengan tidak peduli (wildcard yang cocok dengan satu karakter). Intinya, semudah berbelit-belit. Tetapi apa yang terjadi jika kita mencari beberapa pola dengan tidak peduli? Bisakah kita masih menyelesaikannya misalnya dengan teknik berbasis FFT?

9 ds.algorithms  reference-request  string-matching 

Saya telah mencoba untuk mengimplementasikan algoritma multiplikasi integer Schönhage-Strassen, tetapi menabrak batu sandungan pada langkah rekursif. Saya memiliki nilai dengan bit dan saya ingin menghitung . Awalnya saya pikir idenya adalah untuk memilih sehingga , pisahkan menjadi masing-masing dengan bit, terapkan konvolusi SSA saat bekerja modulo , sebuah cincin dengan …

9 ds.algorithms 

Jika kita hanya mempertimbangkan masalah dalam P, apakah ada celah besar antara algoritma kata-RAM yang paling cepat diketahui dan algoritma mesin Turing yang paling cepat diketahui untuk masalah tertentu? Saya sangat tertarik jika ada celah lebar untuk masalah alam yang menjadi perhatian umum.

9 cc.complexity-theory  ds.algorithms