Ilmu Komputer

Apakah algoritma Dijkstra digunakan dalam sistem pencarian rute modern seperti Google maps atau satnav di mobil Anda? Jika tidak, lalu apa?

10 algorithms  graphs  shortest-path  applied-theory 

Whist membaca sebuah artikel yang menguraikan perbedaan dalam pemrograman OO dan Fungsional. Saya menemukan pointer fungsi. Sudah lama sejak saya menyelesaikan gelar Ilmu Komputer saya (2003) dan jadi saya mencari petunjuk untuk menyegarkan ingatan saya. Pointer adalah variabel yang berisi referensi ke alamat memori. Mereka dapat dianggap menunjuk ke data …

10 terminology  programming-languages 

Saya mencoba untuk memahami bagaimana pohon indeks biner (pohon fenwick) dapat dimodifikasi untuk menangani permintaan rentang dan pembaruan rentang. Saya menemukan sumber-sumber berikut: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = Utas & threadID = 756271 & mulai = 0 & mc = 4 # 1579597 Tetapi bahkan setelah membaca semuanya, …

10 data-structures  binary-trees  search-trees 

Saya sedang mempelajari runtime quicksort kasus terburuk dengan syarat bahwa ia tidak akan pernah melakukan partisi yang sangat tidak seimbang untuk berbagai definisi sangat . Untuk melakukan ini, saya bertanya pada diri sendiri pertanyaan apa runtime T(n,p)T(n,p)T(n, p) akan terjadi dalam kasus quicksort selalu terjadi pada partisi di sebagian kecil …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

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 

Buku teks saya mengatakan: "Kami mendefinisikan fungsif:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} sebagai berikut: f(1)=2f(1)=2f(1)=2 dan f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}} . Perhatikan bahwa diberikan nnn , kita dapat dengan mudah menemukan di O(n1.5)O(n1.5)O(n^{1.5}) waktu jumlah iii sehingga nnn terjepit di antara f(i)f(i)f(i) dan f(i+1)f(i+1)f(i+1) ." Bagaimana saya dapat meyakinkan diri sendiri bahwa kita dapat dengan mudah menemukan …

10 complexity-theory  algorithm-analysis  nondeterminism 

Saya mencari sebuah algoritma untuk mengubah digraf (grafik berarah) menjadi grafik tidak terarah dengan cara yang dapat dibalik, yaitu digraf harus direkonstruksi jika kita diberi grafik yang tidak terarah. Saya mengerti bahwa ini akan menyebabkan grafik yang tidak diarahkan memiliki lebih banyak titik tetapi saya tidak keberatan. Apakah ada yang …

10 algorithms  graph-theory  graphs 

Saya seorang mahasiswa ilmu komputer. Saya ingin membuat bahasa pemrograman saya sendiri (Bahasa dasar dengan beberapa instruksi). Saya tahu bagaimana melakukan analisa sintaksis, saya sudah melakukannya di Perl. Dalam sebuah artikel, saya membaca sesuatu tentang kompiler, kompiler dilakukan dengan sendirinya. Misalnya kompiler C ditulis dalam C. Bagaimana mungkin? Saya dapat …

10 programming-languages  compilers 

Saya sedang mengerjakan editor diagram. Diagram menampilkan bentuk 2D ( node ) yang terhubung dengan konektor ( tepi ). Saya ingin menambahkan operasi yang, diberi pilihan node, "pisahkan" mereka: itu memposisikan mereka untuk mengurangi jumlah tepi yang bersilangan, jika mungkin (dan tidak apa-apa jika ujung-ujungnya harus digambar dengan titik tikungan) …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

Latar Belakang Saya belajar bantuan, Coq, sendiri. Sejauh ini, saya telah selesai membaca Yves Bertot's Coq in a Hurry . Sekarang, tujuan saya adalah untuk membuktikan beberapa hasil dasar mengenai bilangan asli, yang berpuncak dengan algoritma pembagian. Namun, saya telah menemui beberapa kemunduran dalam perjalanan menuju tujuan itu. Secara khusus, …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Saya merasa sulit untuk membedakan secara jelas antara Multiprogramming dan Multitasking. Sumber utama saya adalah Wikipedia , tetapi artikel WP tampaknya sedikit berselisih dengan beberapa sumber yang kurang memiliki reputasi (seperti profesor perguruan tinggi saya). Ketika saya membaca WP, multiprogramming adalah cara dasar untuk meningkatkan throughput CPU, dengan pengalihan konteks …

10 terminology  process-scheduling 

Dari sudut pandang perilaku asimptotik, apa yang dianggap sebagai algoritma "efisien"? Apa standar / alasan untuk menggambar garis pada titik itu? Secara pribadi, saya akan berpikir bahwa apa pun yang mungkin secara naif saya sebut "sub-polinomial", sehingga seperti akan efisien dan apa pun yang akan "tidak efisien". Namun, saya pernah …

10 algorithms  terminology  asymptotics  landau-notation 

Halaman ini tentang Algoritma Knuth-Moriss-Pratt dibandingkan dengan Boyer-Moore menjelaskan kemungkinan kasus di mana algoritma Boyer-Moore menderita dari jarak lompatan kecil sementara KMP dapat bekerja lebih baik. Saya mencari contoh yang bagus (teks, pola) yang dapat dengan jelas menunjukkan kasus ini.

10 algorithms  substrings  matching 

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 

Di kelas Java saya, kami belajar tentang kompleksitas berbagai jenis koleksi. Segera kita akan membahas pohon biner, yang telah saya baca. Negara-negara buku yang tinggi minimal pohon biner adalah log2(n+1)−1log2⁡(n+1)−1\log_2(n+1) - 1 , tetapi tidak menawarkan penjelasan lebih lanjut. Adakah yang bisa menjelaskan mengapa?

10 data-structures  binary-trees  discrete-mathematics  trees