Pertanyaan yang diberi tag «reference-request»

Saya sedang bekerja dengan algoritma pencocokan pola yang menghasilkan otomat keadaan terbatas asiklik yang menerima string teks yang diberikan dan semua substringnya. Algoritma FSA sedang dijalankan pada representasi simbolis dari aliran musik (misalnya, data MIDI). Aliran musik telah diproses untuk membagi setiap lagu menjadi 'segmen' tanpa label. FSA dihasilkan untuk …

10 formal-languages  reference-request  finite-automata 

Kami telah memiliki beberapa pertanyaan tentang hubungan pengurangan Cook dan Karp . Jelas bahwa pengurangan Cook (pengurangan Turing polinomial-waktu) tidak mendefinisikan gagasan yang sama tentang kelengkapan NP seperti pengurangan Karp (pengurangan polynomial-time-one-one), yang biasanya digunakan. Secara khusus, pengurangan Cook tidak dapat memisahkan NP dari co-NP bahkan jika P NP. Jadi …

10 complexity-theory  reference-request  np-complete  reductions 

Pertimbangkan program linier Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Teorema dualitas yang lemah menyatakan bahwa jika x⃗ x→\vec{x} dan y⃗ …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Grafik adalah chordal jika tidak memiliki siklus panjang atau lebih. Sebuah pohon klik dari adalah pohon di mana simpul dari pohon adalah geng maksimal . Tepi dalam sesuai dengan pemisah minimal. Jumlah pohon clique yang berbeda dapat eksponensial dalam jumlah simpul dalam grafik chordal.GGG444TTTGGGGGGTTT The berkurang klik grafik adalah gabungan …

10 algorithms  graph-theory  reference-request 

Saya tertarik pada prosedur pembagian tanah yang adil (yaitu pembagian yang bebas iri, atau setidaknya pembagian yang proporsional). Berbeda dengan masalah pembagian kue yang dipelajari dengan baik, pembagian tanah adalah dua dimensi, yaitu, preferensi pengguna dapat bervariasi baik secara horizontal maupun vertikal. Oleh karena itu, tidak praktis untuk membatasi algoritma …

10 reference-request  game-theory 

Saya mencari sumber daya untuk memulai dengan analisis program . Satu-satunya buku yang saya temukan pada topik adalah buku Nielson & Nielson . Selain itu, sepertinya hanya ada buku "kompiler" di mana "analisis program" akan menjadi bab, atau sesuatu di sepanjang baris itu. Apakah orang tahu sumber daya lain?

10 reference-request  compilers  semantics 

Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Berasal dari POV seseorang yang sedang berpikir untuk mengejar gelar PhD dalam ilmu komputer. Saya kesulitan menentukan apa yang akan menjadi fokus penelitian saya ketika saya mengambil PhD. Lihat juga pertanyaan ini di academia.SE . Jadi saya berpikir bahwa membaca / menjaga saat ini pada penelitian apa yang sedang dilakukan …

10 reference-request 

Saya mencari algoritma pencocokan string k-mismatch yang cepat. Diberikan string pola P dengan panjang m, dan string teks T dengan panjang n, saya memerlukan algoritma cepat (waktu linear) untuk menemukan semua posisi di mana P cocok dengan substring T dengan paling banyak k ketidakcocokan. Ini berbeda dari masalah k-perbedaan (jarak …

10 algorithms  reference-request  strings  string-metrics  substrings 

Saya tidak yakin apakah pertanyaan ini ada di sini dan saya minta maaf jika tidak. Apa yang ingin saya lakukan adalah mengembangkan cara terprogram di mana saya bisa menentukan apakah string yang diberikan "milik" dalam sekumpulan string. Sebagai contoh, jika saya memiliki sekantong 10.000 nama kota AS, dan kemudian saya …

10 algorithms  reference-request  string-metrics 

Akankah ada kebutuhan untuk mengubah definisi keamanan jika kita memiliki komputer kuantum? Konstruksi kriptografi apa yang akan rusak? Apakah Anda tahu survei atau artikel yang menjelaskan apa yang perlu diubah?

10 reference-request  cryptography  quantum-computing 

Karena sifat pertanyaan, saya harus memasukkan banyak informasi latar belakang (karena pertanyaan saya adalah: bagaimana saya mempersempit ini?) Yang mengatakan, itu dapat diringkas (sesuai pengetahuan saya) sebagai: Metode apa yang ada untuk menemukan optimum lokal pada ruang pencarian kombinatorial yang sangat besar? Latar Belakang Dalam komunitas superplay yang dibantu alat, …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m &lt; n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm &lt; nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Ada lambang simbol yang kadang-kadang membingungkan yang digunakan dalam makalah matematika dan CS. Namun banyak yang menganggap keakraban dasar yang tampaknya jarang diajarkan di satu tempat. Saya mencari kamus seperti berikut ini, terutama dari perspektif CS. Ini akan mendaftar semua simbol matematika dasar dan memberikan arti dan contohnya. Itu akan …

10 terminology  reference-request  education 

Saya sedang mengerjakan masalah yang terkait dengan kotak Latin, dan saya ingin metode untuk apa yang intinya bermuara pada masalah keputusan: Input : Grafis terbatas, sederhana G. Output : YESjika G memiliki automorfisme non-sepele, NOjika tidak. Karenanya... Pertanyaan : Apakah ada algoritma yang efisien untuk menentukan apakah suatu grafik memiliki …

9 algorithms  graphs  graph-theory  reference-request