Pertanyaan yang diberi tag «reference-request»

Singkatnya: bagaimana sistem tipe dikategorikan dalam konteks akademik; khususnya, di mana saya dapat menemukan sumber yang memiliki reputasi baik yang membuat perbedaan antara berbagai jenis sistem yang jelas? Dalam arti, kesulitan dengan pertanyaan ini bukan karena saya tidak dapat menemukan jawaban, tetapi saya dapat menemukan terlalu banyak, dan tidak ada …

23 reference-request  programming-languages  type-theory 

Ketika datang ke desain algoritma, orang sering menggunakan teknik berikut: Pemrograman Dinamis Strategi Serakah Membagi dan menaklukkan Sementara untuk dua metode pertama, ada dasar-dasar teoretis yang terkenal, yaitu Prinsip Optimalitas Bellman dan teori matroid (resp. Greedoid), saya tidak dapat menemukan kerangka kerja umum untuk algoritma berdasarkan D&C. Pertama, saya menyadari …

22 algorithms  reference-request  divide-and-conquer 

Saya telah menyelesaikan sebagian besar materi dalam buku Cormen Intro to Algorithms dan saya mencari buku algoritma yang mencakup materi di luar buku Corman. Apakah ada rekomendasi? CATATAN: Saya menanyakan ini pada stackoverflow tetapi tidak terlalu senang dengan jawabannya. CATATAN: Melihat sebagian besar komentar yang saya pikir idealnya saya ingin …

21 algorithms  reference-request  books 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Apa buku ilmu komputer pemula yang bagus untuk seorang dewasa muda, katakanlah, berusia 15 tahun? Saya ingin memulai di CS, tetapi tidak tahu harus mulai dari mana. …

21 education  reference-request 

Saya sering berinteraksi dengan orang-orang yang ingin meminta algoritma untuk masalah komputasi (atau kerumitannya), tetapi mereka tidak mengungkapkannya dengan cara yang sulit bagi kita (ilmuwan komputer) untuk memahaminya. Merujuk mereka ke buku-buku seperti CLRS tidak membantu karena contoh-contoh di sana biasanya memiliki cara yang cukup mudah untuk menyatakan dengan keras, …

20 algorithms  reference-request  books 

Saya telah membaca sedikit literatur belakangan ini, dan telah menemukan beberapa struktur data yang agak menarik. Saya telah meneliti berbagai metode untuk menurunkan waktu pembaruan menjadi waktu pembaruan terburuk [1-7].O (1)O(1)\mathcal{O}(1) Baru-baru ini saya mulai mencari struktur data bebas kunci, untuk mendukung akses bersamaan yang efisien. Apakah ada teknik update-waktu …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- , ...222SATSAT\text{SAT}SATDUDUK\text{SAT} Apakah ada makalah survei (atau halaman web) …

20 complexity-theory  reference-request  satisfiability 

Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh semi-linear π(L)={(m,n)∣ambn∈L}π(L)={(m,n)∣ambn∈L}\pi(L) = \{ (m,n) \mid a^mb^n \in …

20 formal-languages  reference-request  context-free  closure-properties 

Beberapa algoritma yang rumit ( union-find ) memiliki fungsi Ackermann terbalik yang hampir konstan yang muncul dalam kompleksitas waktu asimptotik, dan waktu terburuk optimal jika istilah Ackermann terbalik yang hampir konstan diabaikan. Adakah contoh algoritma yang dikenal dengan waktu berjalan yang melibatkan fungsi yang secara fundamental tumbuh lebih lambat daripada …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Oke sebelum saya mulai, saya menyadari ini ada di pinggiran topik (saya telah membaca Bantuan Pertanyaan untuk situs ini), terutama karena ini bukan masalah dunia nyata. Namun: Saya tidak dapat menemukan apa pun yang relevan di Google Dari sudut pandang puritan tentu itu harus jatuh dalam Ilmu Komputer? Bagaimanapun, jika …

20 reference-request  human-computing 

Penyempurnaan partisi adalah teknik di mana Anda mulai dengan satu set terbatas objek dan semakin membelah set. Beberapa masalah, seperti minimisasi DFA, dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan cukup efisien. Saya tidak tahu ada masalah lain yang biasanya diselesaikan dengan menggunakan perbaikan partisi selain yang terdaftar di halaman Wikipedia. …

20 algorithms  reference-request  data-structures  partitions  sets 

Saya mengalami masalah dalam menerima pandangan teoritik kompleksitas "dipecahkan secara efisien oleh algoritma paralel" yang diberikan oleh kelas NC : NC adalah kelas masalah yang dapat diselesaikan dengan algoritma paralel dalam waktu pada prosesor dengan .p ( n ) ∈ O ( n k ) c , k ∈ NO …

20 complexity-theory  reference-request  parallel-computing 

Banyak algoritma aliran max yang biasa saya lihat diimplementasikan, algoritma Dinic, push relabel, dan lainnya, dapat meningkatkan biaya waktu asimptotik melalui penggunaan pohon dinamis (juga dikenal sebagai pohon tautan-potong). Relabel dorong berjalan di atau O ( V 3 ) atau O ( V 2 √O ( V2E)HAI(V2E)O(V^2E)O ( V3)HAI(V3)O(V^3)normal, tetapi …

20 reference-request  graphs  data-structures  network-flow 

Saya mencoba mencari tahu siapa yang menciptakan istilah "pembelajaran mesin". Sebuah pertanyaan tambahan adalah dari mana Arthur Samuel dikutip mendefinisikan bidang "pembelajaran mesin" pada tahun 1959 sebagai: bidang studi yang memberikan komputer kemampuan untuk belajar tanpa diprogram secara eksplisit ? Anda dapat menemukan banyak, banyak referensi untuk definisi ini di …

19 terminology  reference-request  machine-learning  history 

Pertimbangkan masalah berikut: Input: dua array AAA dan BBB dengan panjang nnn , di mana BBB berada dalam urutan urutan. Pertanyaan: apakah AAA dan BBB berisi item yang sama (dengan multiplisitasnya)? Apa algoritma deterministik tercepat untuk masalah ini? Apakah bisa diselesaikan lebih cepat daripada menyortirnya? Bisakah masalah ini diselesaikan dalam …

19 algorithms  reference-request  sorting