Pertanyaan yang menanyakan atau tentang bukti kebenaran algoritme.
Saya telah memperhatikan bahwa saya merasa jauh lebih mudah untuk menuliskan bukti matematika tanpa membuat kesalahan, daripada menuliskan program komputer tanpa bug. Sepertinya ini adalah sesuatu yang lebih luas dari sekedar pengalaman saya. Kebanyakan orang membuat bug perangkat lunak setiap...
Untuk mencoba menguji apakah suatu algoritma untuk beberapa masalah sudah benar, titik awal yang biasa adalah mencoba menjalankan algoritme dengan tangan pada sejumlah kasus uji sederhana - cobalah beberapa contoh contoh masalah, termasuk beberapa "kasus sudut" sederhana. ". Ini adalah heuristik...
Saya memiliki algoritma serakah yang saya duga mungkin benar, tetapi saya tidak yakin. Bagaimana saya memeriksa apakah itu benar? Apa teknik yang digunakan untuk membuktikan algoritma serakah yang benar? Apakah ada pola atau teknik yang umum? Saya berharap ini akan menjadi pertanyaan referensi...
Saya memiliki dua cara untuk menghasilkan daftar item dalam urutan acak dan ingin menentukan apakah mereka sama adil (tidak bias). Metode pertama yang saya gunakan adalah untuk membangun seluruh daftar elemen dan kemudian melakukan pengocokan (katakanlah Fisher-Yates shuffle). Metode kedua lebih...
Seperti lubang hitam dalam ilmu komputer. Kita hanya bisa tahu mereka ada tetapi ketika kita memiliki salah satu dari mereka kita tidak akan pernah tahu itu salah
Kami memiliki logika Hoare. Mengapa masih mungkin bahwa suatu algoritma itu benar tetapi tidak ada bukti bahwa itu benar? Misalkan algoritma dinyatakan dalam C. Kemudian kita dapat berdebat langkah demi langkah bahwa itu melakukan apa yang seharusnya dilakukan. Jadi pertanyaan saya adalah:...
Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0...
Awalnya pada matematika. SE tetapi tidak dijawab di sana. Pertimbangkan algoritma berikut. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while di mana u, v, dan n adalah bilangan bulat dan operasi divisi...
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...
Bukti ini adalah bukti melalui induksi, dan berlaku sebagai berikut: P (n) adalah pernyataan bahwa "Quicksort dengan benar mengurutkan setiap larik input dengan panjang n." Kasus dasar: setiap larik input dengan panjang 1 sudah diurutkan (P (1) berlaku) Langkah induktif: fix n => 2. Perbaiki...
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...
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...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...