Ilmu Komputer

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 

Saya bingung saat memecahkan masalah berikut (pertanyaan 1-3). Pertanyaan Sebuah d tumpukan -ary seperti tumpukan biner, tetapi (dengan satu pengecualian mungkin) node non-daun memiliki d anak bukannya 2 anak-anak. Bagaimana Anda mewakili tumpukan d -ary dalam array? Berapa tinggi dari d tumpukan -ary dari n elemen dalam hal n dan …

10 data-structures  time-complexity  runtime-analysis 

Bagaimana Anda membuktikan bahwa ketinggian yang diharapkan dari pohon pencarian biner yang dibangun secara acak dengan node adalah ? Ada bukti dalam CLRS Pengantar Algoritma (bab 12.4), tapi saya tidak memahaminya.O ( log n )nnnO ( logn )HAI(catatan⁡n)O(\log n)

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Saya mencari jurusan Ilmu Komputer Teoritis; khususnya, saya tertarik pada teori kompleksitas dan teori automata probabilistik. Ketika saya lulus dalam satu tahun, mata pelajaran matematika apa yang maju (seperti teori Galois atau analisis Harmonic) menurut Anda akan berguna untuk mengambil alih dua semester berikutnya? Mengapa?

10 complexity-theory  automata  education 

Di Wikipedia , implementasi untuk skema pemrograman dinamis bottom-up untuk jarak edit diberikan. Itu tidak mengikuti definisi sepenuhnya; sel-sel dalam dihitung sebagai berikut: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a deletion …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Dalam pembuktian teorema resolusi, biasanya diasumsikan variabel dalam klausa yang berbeda berbeda. Ini bukan sesuatu yang terjadi secara otomatis; itu membutuhkan kode dan perhitungan tambahan yang signifikan untuk diterapkan. Mengingat itu, saya mencari test case untuk itu. Masalahnya adalah, dalam semua kasus uji yang saya coba sejauh ini, tidak ada …

10 logic  automated-theorem-proving 

Apa kompleksitas komputasi ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Asumsikan L.L.L adalah bahasa reguler di atas alfabet yang diurutkan. Apakah bahasa dibangun dengan mengambil setiap kata dalam L.L.L dan mengurutkannya selalu bahasa biasa?

10 formal-languages  regular-languages 

Saya tidak yakin apakah pertanyaan ini ada di sini dan saya minta maaf jika tidak. Apa yang ingin saya lakukan adalah mengembangkan cara terprogram di mana saya bisa menentukan apakah string yang diberikan "milik" dalam sekumpulan string. Sebagai contoh, jika saya memiliki sekantong 10.000 nama kota AS, dan kemudian saya …

10 algorithms  reference-request  string-metrics 

\newcommand\ldotd{\mathinner{..}} Karena A [ 1 . . n ]SEBUAH[1..n]A[1\ldotd n] adalah bilangan bulat sehingga 0 ≤ A [ k ] ≤ m0≤A[k]≤m0\le A[k]\le m untuk semua 1 ≤ k ≤ n1≤k≤n1\le k\le n , dan kemunculan masing-masing nomor kecuali nomor tertentu dalam A [ 1 . . n ]A[1..n]A[1\ldotd n] …

10 algorithms  search-algorithms 

Alamat IPv6 dalam bentuk 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0jauh lebih sulit untuk dihafal atau bahkan menyalin daripada 4 oktet IPv4. Ada telah menjadi upaya untuk mengurangi ini, membuat alamat IPv6 entah bagaimana lebih berkesan. Apakah ada fungsi hashing yang sengaja lemah yang dapat dibalik untuk menemukan bahwa frasa, katakan, "Ini relatif jinak dan mudah …

10 cryptography  computer-networks  hash  user-interface 

Terbukti bahwa jaringan syaraf tiruan dengan bobot rasional memiliki kekuatan komputasi dari mesin Turing Universal Turing Machine dengan Neural Nets . Dari apa yang saya dapatkan, tampaknya menggunakan bobot bernilai nyata menghasilkan kekuatan komputasi yang lebih besar, meskipun saya tidak yakin dengan yang ini. Namun, apakah ada korelasi antara kekuatan …

10 computability  neural-networks 

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 

Pertanyaannya adalah latihan 1.9 dari buku Arora-Barak's Computational Complexity - A Modern Approach : Tentukan mesin RAM Turing menjadi mesin Turing yang memiliki memori akses acak. Kami meresmikan ini sebagai berikut: Mesin memiliki array A tak terbatas yang diinisialisasi ke semua kosong. Ini mengakses array ini sebagai berikut. Salah satu …

10 complexity-theory  turing-machines  machine-models  simulation