Ilmu Komputer

Tidak ada solusi analitik umum untuk masalah n-body yang dapat menghasilkan fungsi analitik yang dapat digunakan untuk memberikan status sistem n-body pada waktu acak t dengan presisi yang tepat. Namun, ada beberapa kasus khusus dari sistem n-body yang fungsi analitiknya diketahui. Dalam banyak cara yang sama, tidak ada algoritma umum …

16 computability  turing-machines  undecidability  computation-models 

Masalah apakah dua automat pushdown mengenali bahasa yang sama tidak dapat diputuskan. Masalah apakah automat pushdown mengenali bahasa kosong dapat diputuskan, maka itu juga dapat memutuskan apakah ia mengenali bahasa yang terbatas. Tidak dapat diputuskan apakah bahasa yang diterima oleh otomat pushdown adalah biasa. Tapi ... ... apakah dapat diputuskan …

16 computability  undecidability  pushdown-automata 

Anda dan seorang teman kehilangan satu sama lain pada saat konser, dan tidak ada yang yakin Anda lebih maju. Secara formal, masing-masing berada pada koordinat bilangan bulat dan hanya dapat berjalan menuju koordinat yang lebih tinggi atau tetap di tempatnya. Anggap Anda dan teman Anda mengikuti algoritma yang sama persis …

16 algorithms  randomized-algorithms 

Teorema Galois secara efektif mengatakan bahwa seseorang tidak dapat mengekspresikan akar polinomial derajat> = 5 menggunakan fungsi rasional dari koefisien dan radikal - tidak dapatkah ini dibaca dengan mengatakan bahwa dengan polinomial tidak ada algoritma deterministik untuk menemukan akar? Sekarang pertimbangkan sebuah pertanyaan keputusan dari formulir, "Diberikan polinomial berakar nyata …

16 complexity-theory  np-complete  np  polynomials 

Ketika kita melihat Model Aktor dan Mengkomunikasikan Proses Berurutan kita melihat bahwa mereka berdua mencoba melakukan konkurensi berdasarkan pesan yang lewat , namun keduanya berbeda . (Kita melihat implementasi dari Model CSP di go-lang 's goroutines (dan Clojure ini core.async ) dan Model Aktor di Scala Akka toolkit) Saya mencoba …

16 concurrency  message-passing 

Pertanyaan ini adalah tentang pendekatan terhadap lawan komputer yang telah saya buat dan saat ini sedang digunakan, atau direncanakan akan digunakan, di beberapa permainan komputer. Latar Belakang Tahun lalu, ketika mencoba meningkatkan lawan komputer untuk permainan yang disebut "Bendera Minesweeper" (deskripsi singkat: Versi multipemain-giliran Minesweeper di mana Anda harus mengambil …

16 algorithms  artificial-intelligence  computer-games 

Saat menggunakan A * (atau algoritma pencarian jalur terbaik lainnya), kami mengatakan bahwa heuristik yang digunakan harus dapat diterima , yaitu, ia tidak boleh melebih-lebihkan panjang jalur solusi aktual (atau bergerak). Bagaimana heuristik yang dapat diterima memastikan solusi yang optimal? Saya lebih suka mencari penjelasan intuitif. Jika mau, Anda bisa …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

Saya ingin membangun sistem pembelajaran mesin online berbasis web, di mana pengguna dapat terus menambahkan sampel rahasia, dan memperbarui model secara online. Saya ingin menggunakan perceptron atau algoritma pembelajaran online serupa. Tetapi, pengguna dapat membuat kesalahan dan memasukkan contoh yang tidak relevan. Dalam hal ini, saya ingin memiliki opsi untuk …

16 machine-learning  online-algorithms 

Saya baru-baru ini belajar tentang keberadaan memori temporal hirarkis (HTM) ini . Saya sudah membaca dokumen Hierarchical Temporal Memory: Concepts, Theory and Terminology (oleh Jeff Hawkins dan Dileep George), yang tampaknya agak mudah dimengerti, tetapi satu tanda merah adalah bahwa dokumen tersebut tidak ditinjau oleh rekan sejawat atau tidak mencoba …

16 neural-networks  hierarchical-temporal-memory 

Pertimbangkan pertanyaan 1C putaran Google Code Jam berikut : Tembok Besar Tiongkok dimulai sebagai garis tanpa batas, di mana ketinggian di semua lokasi adalah .000 Sejumlah suku , , akan menyerang dinding sesuai dengan parameter berikut - hari awal, , mulai kekuatan , mulai koordinat barat, , dan mulai koordinat …

16 algorithms  data-structures  binary-trees 

Diberikan adalah grafik planar dan biarkan menunjukkan penyisipannya di bidang st setiap tepi memiliki panjang . Saya juga memiliki himpunan titik mana setiap titik terkandung dalam . Selain itu, ia berlaku untuk titik dalam yang ada dengan jarak geodesik ke paling banyak satu. (Jarak diukur sebagai jarak terpendek dalam .)G=(V,E)G=(V,E)G=(V,E)GG\mathcal{G}111CCCc∈Cc∈Cc …

16 algorithms  graph-theory  set-cover 

Pertanyaan wawancara yang umum adalah untuk memberikan algoritma untuk menentukan apakah pohon biner yang diberikan seimbang tinggi (definisi pohon AVL). Saya bertanya-tanya apakah kita bisa melakukan sesuatu yang mirip dengan pohon Merah-Hitam. Diberikan pohon biner tanpa warna yang sewenang-wenang (dengan simpul NULL), apakah ada algoritma "cepat" yang dapat menentukan apakah …

16 algorithms  data-structures  binary-trees  search-trees 

Saya telah menggunakan FSM dalam desain Sirkuit berurutan Digital. Tapi saya tidak terbiasa dengan Finite Automata. Adakah yang bisa membantu saya memahami perbedaan 'dasar' di antara keduanya?

16 terminology  automata  finite-automata 

Dalam banyak diskusi tentang tumpukan biner, biasanya hanya kunci-menurun terdaftar sebagai operasi yang didukung untuk tumpukan-min. Sebagai contoh, CLR bab 6.1 dan halaman wikipedia ini . Mengapa tidak menambah kunci yang biasanya terdaftar untuk min-heap? Saya membayangkan adalah mungkin untuk melakukan itu dalam O (tinggi) dengan secara iteratif menukar elemen …

16 algorithms  data-structures  heaps  priority-queues 

Kita mengatakan bahwa bahasa adalah padat jika ada polinomial p sehingga | J c ∩ Σ n | ≤ p ( n ) untuk semua n ∈ N . Dengan kata lain, untuk setiap panjang n yang diberikan hanya ada banyak kata panjang n secara polinomi yang tidak ada dalam …

16 complexity-theory  time-complexity  np-complete  satisfiability