Pertanyaan yang diberi tag «terminology»

Apa artinya ketika kita mengatakan bahwa suatu algoritma secara asimptot lebih efisien daripada ?XXXYYY XXX akan menjadi pilihan yang lebih baik untuk semua input. XXX akan menjadi pilihan yang lebih baik untuk semua input kecuali input kecil. XXX akan menjadi pilihan yang lebih baik untuk semua input kecuali input besar. …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Saya melihat Kalkulus Konstruksi dan tempatnya di Kubus Lambda . Jika saya mengerti dengan benar, setiap sumbu kubus dapat dianggap sebagai menambahkan operasi lain yang melibatkan jenis ke kalkulus yang diketik sederhana, λ→λ→\lambda_\to . Sumbu pertama menambahkan operator tipe-ke-istilah, operator tipe-ke-tipe kedua, dan operator mengetik-ketiga, atau operator tipe-ke-tipe. CoC memiliki …

11 terminology  lambda-calculus  type-theory  dependent-types 

Saya membutuhkan definisi singkat dari "keadaan suatu objek" dalam pemrograman berorientasi objek (untuk makalah). Sekitar setengah hari saya mencari makalah yang bisa saya kutip tentang topik ini, tetapi saya tidak dapat menemukannya. Semua makalah yang saya temukan sebagian besar makalah umum tentang pemrograman berorientasi objek dan mereka tidak menentukan keadaan …

11 terminology  reference-request  programming-languages  object-oriented 

Apakah "secara induktif" dan "secara rekursif" berarti sangat mirip? Misalnya, jika ada algoritma yang menentukan vektor n-dim dengan menentukan komponen k +1 pertama berdasarkan komponen k pertama yang telah ditentukan, dan diinisialisasi dengan komponen pertama, akankah Anda menyebutnya bekerja secara rekursif atau induktif? Saya telah menggunakan "secara rekursif", tetapi hari …

11 algorithms  terminology  recursion  induction 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan dengan jelas mendefinisikan masalah keputusan . Setelah menggali, saya menemukan …

11 computability  terminology  decision-problem 

Ini adalah pendahulu dari pertanyaan saya yang lebih maju tentang Pemeriksaan Stack. Stack Inspection adalah mekanisme keamanan yang diperkenalkan dalam JVM untuk menangani kode yang berjalan yang berasal dari lokasi yang memiliki tingkat kepercayaan berbeda. Pertanyaan ini bertujuan untuk menemukan deskripsi sederhana tentang fungsinya. Begitu: Bagaimana cara kerja inspeksi tumpukan?

11 terminology  security  stack-inspection 

Di pohon kedalaman pertama, ada tepi menentukan pohon (yaitu tepi yang digunakan dalam traversal). Ada beberapa tepi sisa yang menghubungkan beberapa node lainnya. Apa perbedaan antara tepi silang dan tepi depan? Dari wikipedia: Berdasarkan spanning tree ini, tepi grafik asli dapat dibagi menjadi tiga kelas: tepi depan, yang menunjuk dari …

11 algorithms  terminology  graphs  graph-traversal 

Dari Wikipedia : Jenis masalah komputasi: Masalah yang paling umum digunakan adalah masalah keputusan . Namun, kelas kompleksitas dapat didefinisikan berdasarkan masalah fungsi, masalah penghitungan, masalah optimisasi, masalah janji, dll. Saya juga melihat definisi NP-complete, NP-hard, NP, ..., didefinisikan untuk masalah keputusan saja. Saya bertanya-tanya mengapa demikian? Apakah itu karena …

11 complexity-theory  terminology 

Anda diberi larik panjang . Setiap elemen array milik salah satu kelas K. Anda seharusnya mengatur ulang array menggunakan jumlah minimum operasi swap sehingga semua elemen dari kelas yang sama selalu dikelompokkan bersama, yaitu mereka membentuk subarray yang berdekatan. Sebagai contoh: nnnKKK Tiga pengaturan valid lainnya masih ada.[ 2 , …

10 terminology  reference-request  sorting  arrays 

Secara kasar, grafik tidak terarah sangat mirip dengan grafik terarah di mana untuk setiap sisi (v, w), selalu ada sisi (w, v). Itu menunjukkan bahwa mungkin dapat diterima untuk melihat grafik yang tidak diarahkan sebagai bagian dari grafik yang diarahkan (mungkin dengan batasan tambahan bahwa penambahan / penghapusan tepi hanya …

10 graphs  terminology 

Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa memperbarui nilai yang di-cache setelah mengubah salah …

10 terminology  reference-request  functional-programming  programming-paradigms 

Menurut Peter Selinger , The Lambda Calculus adalah Aljabar (PDF). Di awal artikel ini dia berkata: Interpretasi combinatory dari kalkulus lambda diketahui tidak sempurna, karena tidak memenuhi ξξξ -rule: di bawah interpretasi, M=NM=NM = N tidak berarti λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Pertanyaan: Kesetaraan apa yang dimaksud di …

10 terminology  lambda-calculus  combinatory-logic 

Notasi apa yang digunakan untuk membahas koefisien fungsi dalam notasi O besar? Saya memiliki dua fungsi: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Jelas, kedua fungsi adalah O(x2)O(x2)O(x^2) , memang Θ(x2)Θ(x2)\Theta(x^2) , tetapi itu tidak memungkinkan perbandingan lebih jauh dari itu. Bagaimana saya membahas koefisien …

10 terminology  asymptotics  landau-notation 

Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari sisi"?

10 terminology  programming-languages