Pertanyaan yang diberi tag «terminology»

Saya membaca di Wikipedia bahwa penyatuan adalah proses penyelesaian masalah kepuasan. Pada saat yang sama, saya tahu bahwa pemecah seperti itu disebut "pemecah SAT" atau "pemecah SMT". Jadi, apakah mereka berbeda nama untuk hal yang sama? Jika Anda mengatakan bahwa mereka berbeda, harap tunjukkan kesalahan dalam perawatan saya.

10 terminology  sat-solvers  unification 

Apakah menerima berarti bahwa TM akan membaca dan mengenali arang dari sel yang sedang dibacanya? Dan apakah TM berhenti jika inputnya dapat ditentukan?

10 terminology  turing-machines  undecidability 

Apakah ada definisi formal tentang tinggi rata-rata pohon biner? Saya punya pertanyaan tutorial tentang menemukan ketinggian rata-rata pohon biner menggunakan dua metode berikut: Solusi alami mungkin mengambil panjang rata-rata dari semua jalur yang mungkin dari akar ke daun, yaitu avh1(T)=1# leaves in T⋅∑v leaf of Tdepth(v)avh1⁡(T)=1# pergi T⋅∑v daun Tkedalaman⁡(v)\qquad …

10 graph-theory  terminology  combinatorics  binary-trees 

Saya mengajukan pertanyaan (seed) tentang jumlah istilah Landau sebelumnya , mencoba untuk mengukur bahaya penyalahgunaan notasi asimtotik di aritmatika, dengan kesuksesan beragam. Sekarang, di sini guru pengulangan kami, JeffE , pada dasarnya melakukan ini: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Walaupun hasil akhirnya benar, saya pikir ini salah. Mengapa? Jika …

10 terminology  asymptotics  landau-notation 

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 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 

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 meneliti pemrograman dinamis dan membaca yang berikut: Seringkali ketika menggunakan metode yang lebih naif, banyak dari subproblem yang dihasilkan dan dipecahkan berkali-kali. Apa itu metode naif?

10 terminology  dynamic-programming 

Sebuah graf bipartit adalah planar jika dan hanya jika ia tidak memiliki K3,3K3,3K_{3, 3} atau anak di bawah umur.K5K5K_5 Saya mencari kondisi yang diperlukan atau / dan cukup untuk memungkinkan gambar planar tanpa tepi "berkeliling" set simpul. Ini adalah gambar yang memuaskan: Semua simpul dari satu bagian digambar pada satu …

9 graph-theory  terminology  graph-drawing 

Saya mendengar beberapa penjelasan yang mungkin, jadi saya ingin referensi yang dapat dipercaya. Pembaruan 05.19: Saya tertarik dengan pertanyaan itu karena salah seorang siswa saya menulis dalam tesisnya bahwa nama tersebut berasal dari penjelasan di bawah ini (1). Sampai sekarang saya berpikir / mendengar bahwa itu berasal dari penjelasan (2). …

9 terminology  reference-request  history 

Adakah yang bisa menjelaskan kepada saya apa sebenarnya yang tidak diketahui RAM itu? Saya menemukan penjelasan berikut yang membuatnya agak jelas bagi saya, tetapi saya ingin memahami aspek teknis: Enkripsi tidak selalu cukup untuk memastikan privasi. Jika musuh dapat mengamati pola akses Anda ke penyimpanan terenkripsi, mereka masih dapat mempelajari …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Salah satu senior saya memiliki wawancara kerja dan dia ditanya mengapa itu disebut dinamis. Dia tidak bisa menjawab dan setelah dia menyerah pewawancara mengatakan bahwa tidak ada yang dinamis tentang hal itu, itu hanya disebut seperti itu. Sulit bagi saya untuk percaya. Apakah ini merujuk pada fakta bahwa subproblem diselesaikan …

9 terminology  dynamic-programming 

Tampaknya aneh bagi saya bahwa TSP menyangkal kemungkinan kota yang berulang. Tujuan dari penjual keliling ini adalah untuk pergi secepat mungkin dan mengunjungi semua kota, bukan? Jadi bagaimana jika lebih cepat melakukan perjalanan melalui kota yang sudah pernah Anda kunjungi?

9 terminology  traveling-salesman 

Dalam Bab 1 dari Yayasan Praktis untuk Bahasa Pemrograman , penulis menyebutkan bahwa pohon sintaksis abstrak terkait dengan jenis . Secara intuitif, jenis seperti tipe, tetapi saya ingin tahu apakah mereka memiliki definisi yang tepat. Saya akan senang jika beberapa referensi disediakan juga.

9 terminology  programming-languages  semantics