Ilmu Komputer

Dari Wikipedia Pengambilan informasi adalah kegiatan memperoleh sumber daya informasi yang relevan dengan kebutuhan informasi dari kumpulan sumber daya informasi. Pencarian dapat didasarkan pada metadata atau pengindeksan teks lengkap. Dari Wikipedia Information Extraction (IE) adalah tugas mengekstraksi informasi terstruktur secara otomatis dari dokumen yang dapat dibaca mesin yang tidak terstruktur …

11 data-mining  natural-language-processing 

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 

Saya telah menemukan masalah menarik berikut: misalkan menjadi polinomial di atas bidang bilangan real, dan mari kita anggap bahwa koefisien mereka semuanya bilangan bulat (yaitu, ada representasi persis terbatas dari polinomial ini). Jika diperlukan, kita dapat menganggap bahwa tingkat kedua polinomial sama. Mari kita dilambangkan dengan x p (resp. X …

11 computability  undecidability  computer-algebra 

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 

Pertimbangkan kotak, ABCD. Intuitif tampaknya bagi saya bahwa polinomial kromatik adalah λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2) di mana ada λλ\lambda warna yang tersedia .. Yaitu ada λλ\lambda cara di mana warna untuk A dapat dipetik, ada λ−1λ−1\lambda - 1 cara untuk warna untuk B dan D untuk dipilih …

11 graph-theory  colorings 

Pemrograman dinamis dengan sejumlah besar masalah. Jadi saya mencoba menyelesaikan masalah ini dari Interview Street: Grid Walking (Nilai 50 poin) Anda berada di grid NNN dimensi pada posisi (x1,x2,…,xN)(x1,x2,…,xN)(x_1,x_2,\dots,x_N) . Dimensi grid adalah (D1,D2,…,DN(D1,D2,…,DN(D_1,D_2,\dots,D_N ). Dalam satu langkah, Anda dapat berjalan satu langkah di depan atau di belakang di salah …

11 algorithms  efficiency  dynamic-programming 

Untuk beberapa grafik, algoritma pencarian DFS dan BFS memproses simpul dalam urutan yang sama persis asalkan keduanya dimulai pada simpul yang sama. Dua contoh adalah grafik yang merupakan jalur dan grafik yang berbentuk bintang (pohon kedalaman dengan jumlah anak yang berubah-ubah). Apakah ada cara untuk mengelompokkan grafik yang memenuhi properti …

11 algorithms  graphs  graph-traversal 

Jadi saya punya pertanyaan ini untuk membuktikan pernyataan: ...O ( n ) ⊂ Θ ( n )O(n)⊂Θ(n)O(n)\subset\Theta(n) Saya tidak perlu tahu bagaimana membuktikannya, hanya saja dalam pikiran saya ini tidak masuk akal dan saya pikir itu seharusnya lebih dari itu .Θ ( n ) ⊂ O ( n )Θ(n)⊂O(n)\Theta(n)\subset O(n) …

11 asymptotics  mathematical-analysis  landau-notation 

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 

Ada algoritma pemilihan kasus terburuk yang terkenal untuk menemukan elemen terbesar k dalam array bilangan bulat. Ia menggunakan pendekatan median-of-median untuk menemukan pivot yang cukup baik, mempartisi array input di tempat dan kemudian secara rekursif melanjutkan pencariannya untuk elemen terbesar k '.O ( n )O(n)O(n) kkkkkk Bagaimana jika kita tidak …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

Pemecah SAT modern sangat baik dalam memecahkan banyak contoh dunia nyata dari contoh SAT. Namun, kami tahu cara menghasilkan yang sulit: misalnya menggunakan pengurangan dari anjak menjadi SAT dan memberikan nomor RSA sebagai input. Ini menimbulkan pertanyaan: bagaimana jika saya mengambil contoh mudah dari anjak piutang. Alih-alih mengambil dua bilangan …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Algoritma Borvka adalah salah satu algoritma standar untuk menghitung pohon rentang minimum untuk grafik , dengan | V | = n , | E | = m .G = ( V, E)G=(V,E)G = (V,E)| V| =n, | E| =m|V|=n,|E|=m|V| = n, |E| = m Kode semu adalah: MST T = …

11 algorithms  algorithm-analysis  spanning-trees 

Saya ingin belajar sesuatu tentang masalah optimasi ini: Untuk diberikan bilangan non-negatif , menemukan fungsi f meminimalkan ekspresiSebuahsaya , j , kai,j,ka_{i,j,k}fff maksk∑sayaSebuahsaya , f( i ) , kmaxk∑iai,f(i),k\max_k \sum_i a_{i,f(i),k} Contoh menggunakan formulasi yang berbeda mungkin membuatnya lebih jelas: Anda diberi seperangkat vektor seperti { {(3, 0, 0, 0, …

11 algorithms  optimization  linear-programming 

Ada keluarga grafik acak dengan n node ( karena Gilbert ). Setiap tepi yang mungkin dimasukkan secara independen ke dalam G ( n , p ) dengan probabilitas p . Mari X k adalah jumlah geng ukuran k di G ( n , p ) .G(n,p)G(n,p)G(n, p)nnnG(n,p)G(n,p)G(n, p)pppXkXkX_kkkkG(n,p)G(n,p)G(n, p) Saya …

11 graph-theory  combinatorics  probability-theory  random-graphs