Pertanyaan yang diberi tag «reference-request»

Akan menyenangkan untuk mengumpulkan daftar kondisi yang menyiratkan bahwa bahasa bebas konteks-L adalah reguler, yaitu syarat-syarat bentuk: "jika CFG / PDA yang diberikan memiliki properti P, maka bahasanya adalah reguler" Properti P tidak harus mengkarakterisasi CFG yang menghasilkan bahasa reguler. Selanjutnya, P tidak harus decidable, dan P harus "entah bagaimana …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Saya tertarik pada masalah "terdekat" (dan "paling kompleks") dengan dugaan Collatz yang telah berhasil diselesaikan (yang menurut Erdos terkenal "matematika belum matang untuk masalah seperti itu"). Telah terbukti bahwa kelas masalah "Collatz-like" tidak dapat diputuskan. Namun, masalah yang samar-samar mirip seperti game MIU Hofstadter (diselesaikan, tetapi harus diakui lebih dari …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Apa kompleksitas komputasi untuk mengoptimalkan berbagai fungsi di atas grup kesatuan ?U( n )U(n)\mathcal{U}(n) Sebuah tugas yang khas, yang timbul sering dalam teori informasi kuantum, akan memaksimalkan kuantitas tipe (atau perintah polinomial lebih tinggi di U ) atas semua kesatuan matriks U . Apakah jenis pengoptimalan ini secara efisien (mungkin …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

(sudah bertanya di situs utama , tetapi meminta juga di sini untuk cakupan yang lebih baik, maaf) Karena saya tahu tentang Struktur Data Singkat, saya sangat membutuhkan tinjauan yang baik tentang perkembangan terkini di bidang itu. Saya telah googled dan membaca banyak artikel yang bisa saya lihat di atas hasil …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

Saya menerapkan beberapa bagian sistem yang memerlukan bantuan. Karena itu saya membingkainya sebagai masalah grafik untuk menjadikannya domain independen. Masalah: Kami diberi grafik asiklik langsung G=(V,E)G=(V,E)G=(V,E) . Tanpa kehilangan umum menganggap bahwa memiliki tepat satu sumber vertex dan tepat satu wastafel titik ; biarkan menyatakan himpunan semua jalur diarahkan dari …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Ini bukan pekerjaan rumah, meskipun sepertinya. Setiap referensi diterima. :-) Skenario: Ada bola yang nnn berbeda dan nampan yang nnn berbeda (dilabeli dari 1 ke nnn , dari kiri ke kanan). Setiap bola dilemparkan secara independen dan seragam ke dalam tempat sampah. Biarkan f(i)f(i)f(i) menjadi jumlah bola di iii ~ …

14 reference-request  co.combinatorics  pr.probability 

Saya sedang menyiapkan beberapa materi kursus tentang heuristik untuk optimisasi, dan telah mencari metode penurunan koordinat. Pengaturan di sini adalah fungsi multivarian yang ingin Anda optimalkan. memiliki properti yang terbatas pada variabel tunggal mana pun, mudah dioptimalkan. Jadi mengoordinasikan keturunan hasil dengan bersepeda melalui koordinat, memperbaiki semua kecuali yang dipilih …

14 ds.algorithms  reference-request  optimization  heuristics 

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 

Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } : intuitif, sebuah CFG …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Algoritma Hungaria adalah algoritma optimisasi kombinatorial yang memecahkan masalah pencocokan bipartit berat maksimum dalam waktu polinomial dan mengantisipasi perkembangan selanjutnya dari metode primal-dual yang penting . Algoritma ini dikembangkan dan diterbitkan oleh Harold Kuhn pada tahun 1955, yang memberi nama "Algoritma Hongaria" karena algoritma ini didasarkan pada karya sebelumnya dari …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

Siapa yang memperkenalkan gagasan rekursi ? Dapatkah seseorang menjelaskan dari mana asalnya dan bagaimana pengaruhnya terhadap ilmu komputer?

14 reference-request  ho.history-overview  recursion 

Baru-baru ini saya belajar tentang dugaan serakah untuk Masalah Superstring Terpendek . Dalam masalah ini, kita diberi satu set string s1, … , Sns1,...,sns_1,\dots, s_n dan kami ingin menemukan terpendek superstring sss yaitu sehingga setiap ssayassayas_i muncul sebagai substring dari sss . Masalah ini NP-hard dan setelah kertas yang panjang, …

14 reference-request  approximation-algorithms  greedy-algorithms 

Sebagai seorang mahasiswa ilmu komputer, saya telah diperkenalkan dengan teori permainan, tetapi tidak melihat banyak detail pada subjek. Saya telah mencari di Google dan melihat beberapa buku tentang teori permainan dan mereka memberikan konfirmasi penggunaannya dalam ilmu komputer. Saya telah memulai studi formal teori permainan dari sudut pandang ekonom. Sekarang …

14 reference-request  gt.game-theory 

Apa algoritma deterministik tercepat yang diketahui yang dapat mengenali grafik berarah dengan sepasang siklus disintegrasi titik? Saya tahu grafik dengan min outdegree three selalu memiliki pasangan seperti itu ( Thomassen'83 ), tetapi meskipun demikian saya tidak dapat menemukan algoritma yang efisien dalam kasus umum. Adakah yang tahu referensi untuk ini?

13 reference-request