Pertanyaan yang diberi tag «reference-request»

Ingin memperbaiki pos ini? Berikan jawaban terinci untuk pertanyaan ini, termasuk kutipan dan penjelasan mengapa jawaban Anda benar. Jawaban tanpa detail yang cukup dapat diedit atau dihapus. Saya ditugaskan membangun perpustakaan buku tentang algoritma untuk perusahaan kecil kami (sekitar 15 orang). Anggarannya lebih dari 5k, tapi tentu saja kurang dari …

11 algorithms  reference-request  data-structures  books 

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 

Saya diberitahu bahwa komputer kuantum tidak lebih kuat secara komputasi daripada mesin Turing. Bisakah seseorang dengan ramah membantu memberikan beberapa referensi literatur yang menjelaskan fakta itu?

11 computability  reference-request  turing-machines  quantum-computing 

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 

Pertanyaan saya ditujukan kepada mereka yang peduli dengan algoritma biologi komputasi. Saya akan mengambil kursus bioinformatika musim gugur ini; Masalahnya, bagaimanapun, adalah bahwa saya memiliki terlalu sedikit latar belakang dalam biologi dan kimia untuk merasa siap untuk siklus lection (saya agak lemah pada mata pelajaran ini di sekolah). Bisakah Anda …

11 algorithms  reference-request  education  bioinformatics 

Semua orang tahu "Garey & Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa (dan lebih terkini ..?) Yang telah terbukti keras-APX. …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya seorang pengisap untuk keanggunan dan ketelitian matematika, dan sekarang saya sedang mencari …

11 algorithms  algorithm-analysis  reference-request  books 

Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa rekursi memiliki dasar yang kuat. Eliminator : Setiap datatype induktif memiliki konstan terkait …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

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 

Situasi saya Saya menulis makalah yang menyajikan modul perangkat lunak yang saya kembangkan dan saya ingin membandingkan runtime-nya dengan modul lain untuk tugas yang sama. Saya mengetahui kelemahan dari eksperimen runtime , tetapi harap anggap telah diberikan bahwa tidak ada jalan lain dalam kasus saya. (Saya dapat dan memang menyimpulkan …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Saya menggambarkan pendekatan pada grafik isomorfisme yang mungkin memiliki positif palsu, dan saya ingin tahu apakah ada literatur yang menunjukkan bahwa itu tidak berhasil. Diberikan dua matriks kedekatan , metode yang diakui naif untuk memeriksa isomorfisma adalah untuk memeriksa apakah untuk setiap baris u dari G , ada baris v …

10 reference-request  graph-isomorphism 

Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh beberapa teknik untuk alasan tentang …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

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 

Algoritma Brzozowski dapat diperluas ke Moore automata tetapi kompleksitas waktunya eksponensial secara umum. Apakah ada algoritma lain untuk meminimalkan Moore automata? Berapa kali menjalankan algoritma ini jika ada?

10 reference-request  automata  optimization  finite-automata  transducers 

Saya bertanya-tanya, apakah ada metode untuk analisis runtime otomatis yang berfungsi setidaknya pada subset algoritma yang relevan (algoritma yang dapat dianalisis)? Saya googled "Analisis algoritma otomatis" yang memberi saya ini tetapi terlalu matematika. Saya hanya ingin contoh sederhana dalam psuedocode yang bisa saya mengerti. Mungkin terlalu spesifik, tapi saya pikir …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis