Ilmu Komputer

Mengenai masalah Heartbleed bug, Bruce Schneier menulis dalam Crypto-Gram-nya tanggal 15 April: 'Bencana "adalah kata yang tepat. Pada skala 1 hingga 10, ini adalah 11. ' Saya membaca beberapa tahun yang lalu bahwa kernel dari sistem operasi tertentu telah diverifikasi secara ketat dengan sistem verifikasi program modern. Maka dapatkah bug …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Mengetahui frekuensi masing-masing simbol, apakah mungkin untuk menentukan ketinggian maksimum pohon tanpa menerapkan algoritma Huffman? Apakah ada formula yang memberikan tinggi pohon ini?

9 trees  coding-theory 

Bagaimana seseorang dapat memilih jumlah parameter yang tepat untuk algoritma genetika untuk memodelkan sistem yang diberikan? Misalnya, Anda ingin mengoptimalkan produksi mobil, dan Anda memiliki 1.000 pengukuran efisiensi per jam di berbagai tugas untuk masing-masing 1.000 karyawan yang berbeda. Jadi, Anda memiliki 1.000.000 titik data. Sebagian besar dari ini cenderung …

9 genetic-algorithms 

Dengan diberi digraf tertimbang , dan fungsi bobot, d ( u , v ) , orang biasanya dapat menggunakan algoritma Dijkstra untuk mendapatkan jalur terpendek. Apa yang saya tertarik, adalah bagaimana cara mendapatkan 2 n d- jalur terpendek, 3 r d- terpendek, dan sebagainya.G = V, EG=V,EG=V,Ed( kamu , v …

9 algorithms  graphs  shortest-path  graph-traversal 

Saya mencari implementasi tipe data yang ditetapkan. Kita harus melakukannya memelihara subset dinamis SSS (ukuran nnn ) dari alam semesta dari ukuran denganU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu operasi insert(x)(tambahkan elemen xke ) dan (memeriksa apakah elemen adalah anggota ).SSSfind(x)xSSS Saya tidak peduli dengan operasi …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

Latar Belakang. Saya menulis beberapa kode untuk penilaian semi-otomatis, menggunakan penilaian rekan sebagai bagian dari proses penilaian. Siswa diberi pasangan esai sekaligus, dan siswa memiliki bilah geser untuk memilih mana yang lebih baik dan seberapa baik. mis. slider mungkin terlihat seperti ini: A---X-B Berdasarkan hasil penilaian sejawat, esai diberi peringkat …

9 algorithms  graphs  modelling 

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 

Saya menggunakan Mathematica untuk menyelesaikan masalah. Saya punya pertanyaan tentang matriks invers. jika saya hanya menginginkan satu elemen dari matriks invers, apakah ada algoritma yang lebih cepat daripada menggunakan Inverseuntuk menghitung seluruh matriks invers dan mengekstrak elemen yang saya inginkan?

9 algorithms 

Seperti yang dinyatakan dalam pertanyaan, bagaimana kita membuktikan bahwa ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Adakah yang bisa mengarahkan saya ke bukti atau menguraikannya di sini? Terima kasih!

9 complexity-theory  time-complexity  space-complexity 

Diberikan program yang terdiri dari variabel dan instruksi yang memodifikasi variabel-variabel ini, dan primitif sinkronisasi (monitor, mutex, kunci java disinkronkan atau kunci C #), apakah mungkin untuk membuktikan bahwa program seperti itu aman untuk digunakan? Apakah ada model formal untuk menggambarkan hal-hal seperti keselamatan benang atau kondisi balap?

9 proof-techniques  correctness-proof  concurrency  threads 

Saya sudah belajar tentang jaringan saraf dan SVM. Tutorial yang saya baca menekankan betapa pentingnya kernelisasi, untuk SVM. Tanpa fungsi kernel, SVM hanyalah sebuah classifier linier. Dengan kernelisasi, SVMs juga dapat menggabungkan fitur-fitur non-linear, yang membuatnya menjadi classifier yang lebih kuat. Sepertinya saya juga bisa menerapkan kernelisasi ke jaringan saraf, …

9 machine-learning  artificial-intelligence  neural-networks 

Saat memasukkan item ke pohon splay, rotasi dilakukan berpasangan berdasarkan pola zig-zag atau zig-zig. Ketika ada jumlah rotasi yang ganjil untuk dilakukan, kita bisa melakukan rotasi ekstra dimulai dari daun atau menyimpan rotasi ekstra dan melakukannya di root. Apakah itu penting? Sebagai contoh, pada gambar terlampir saya memasukkan 4 ke …

9 data-structures  binary-trees  splay-trees 

Mengapa jaringan saraf bobot awal diinisialisasi sebagai angka acak? Saya telah membaca di suatu tempat bahwa ini dilakukan untuk "memecahkan simetri" dan ini membuat jaringan saraf belajar lebih cepat. Bagaimana cara memecahkan simetri membuatnya belajar lebih cepat? Bukankah menginisialisasi bobot ke 0 adalah ide yang lebih baik? Dengan begitu bobot …

9 machine-learning  artificial-intelligence  neural-networks 

Saya ingin mencicipi titik acak seragam dalam poligon ... Jika sampel dalam jumlah besar, mereka kemungkinan besar akan jatuh ke dalam dua wilayah jika mereka memiliki wilayah yang sama. Ini akan sangat sederhana jika itu adalah kuadrat karena saya akan mengambil dua angka acak dalam [0,1] sebagai koordinat saya. Bentuk …

9 algorithms  randomness  sampling  random-number-generator