Ilmu Komputer

Dalam kursus algoritma standar kita diajarkan bahwa quicksort rata-rata adalah dan dalam kasus terburuk. Pada saat yang sama, algoritma pengurutan lainnya dipelajari yaitu dalam kasus terburuk (seperti mergesort dan heapsort ), dan bahkan waktu linier dalam kasus terbaik (seperti bubblesort ) tetapi dengan beberapa kebutuhan memori tambahan.O ( n 2 …

308 algorithms  sorting 

Saya dalam kursus tentang komputasi dan kompleksitas , dan saya tidak dapat memahami apa arti istilah-istilah ini. Yang saya tahu adalah bahwa NP adalah subset dari NP-complete, yang merupakan subset dari NP-hard, tapi saya tidak tahu apa yang sebenarnya mereka maksud. Wikipedia juga tidak banyak membantu, karena penjelasannya masih terlalu …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

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 saat dalam pemrograman mereka, dan mereka memiliki kompiler untuk memberi …

190 correctness-proof  mathematical-foundations  philosophy 

Melihat halaman web Julia , Anda dapat melihat beberapa tolok ukur dari beberapa bahasa di beberapa algoritma (timing ditunjukkan di bawah). Bagaimana bahasa dengan kompiler yang awalnya ditulis dalam C, mengungguli kode C? Gambar: waktu benchmark relatif terhadap C (lebih kecil lebih baik, kinerja C = 1.0).

175 programming-languages  compilers  efficiency 

Ada banyak pertanyaan tentang bagaimana menganalisis waktu berjalan algoritma (lihat, misalnya, analisis runtime dan analisis algoritma ). Banyak yang serupa, misalnya yang meminta analisis biaya loop bersarang atau algoritma Divide & Conquer, tetapi sebagian besar jawaban tampaknya dibuat khusus. Di sisi lain, jawaban untuk pertanyaan umum lainnya menjelaskan gambaran yang …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Saya tidak mengerti mengapa Masalah Pemutusan sering digunakan untuk mengabaikan kemungkinan menentukan apakah suatu program terhenti. Wikipedia [artikel] [1] dengan benar menjelaskan bahwa mesin deterministik dengan memori yang terbatas akan menghentikan atau mengulangi keadaan sebelumnya. Anda dapat menggunakan algoritme yang mendeteksi apakah daftar yang ditautkan loop untuk mengimplementasikan Fungsi Pemutusan …

149 computability  halting-problem 

Kami diberi latihan berikut. Membiarkan f( n ) = { 100n terjadi dalam representasi desimal πlainf(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Buktikan bahwa dapat dihitung.fff Bagaimana ini mungkin? …

130 computability  undecidability 

Saya cukup lancar dalam C / C ++, dan dapat berjalan di berbagai bahasa scripting (awk / sed / perl). Saya sudah mulai menggunakan python lebih banyak karena menggabungkan beberapa aspek bagus dari C ++ dengan kemampuan scripting dari awk / sed / perl. Tetapi mengapa ada begitu banyak bahasa …

130 programming-languages 

Izinkan saya mengklarifikasi: Diberikan sebaran beberapa titik tertentu n, jika saya ingin menemukan titik terdekat dengan titik mana pun dalam plot secara mental, saya dapat langsung mengabaikan sebagian besar titik dalam grafik, mempersempit pilihan saya ke beberapa titik kecil yang konstan di sekitar . Namun, dalam pemrograman, diberikan satu set …

122 algorithms  computer-vs-human  human-computing 

Saya belajar Haskell dan saya kagum dengan bahasanya. Namun saya tidak memiliki latar belakang matematika atau CS yang serius. Tapi saya seorang programmer perangkat lunak yang berpengalaman. Saya ingin belajar teori kategori sehingga saya bisa menjadi lebih baik di Haskell. Topik apa dalam teori kategori yang harus saya pelajari untuk …

118 programming-languages  functional-programming  category-theory 

Mengubah ekspresi reguler menjadi (minimal) NFA yang menerima bahasa yang sama adalah mudah dengan algoritma standar, misalnya algoritma Thompson . Namun, arah yang lain tampaknya lebih membosankan, dan terkadang ekspresi yang dihasilkannya berantakan. Algoritma apa yang ada untuk mengubah NFA menjadi ekspresi reguler yang setara? Apakah ada keuntungan terkait kompleksitas …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Sebagian besar enkripsi saat ini, seperti RSA, bergantung pada faktorisasi bilangan bulat, yang tidak diyakini sebagai masalah NP-keras, tetapi milik BQP, yang membuatnya rentan terhadap komputer kuantum. Saya bertanya-tanya, mengapa belum ada algoritma enkripsi yang didasarkan pada masalah NP-hard yang dikenal. Kedengarannya (setidaknya dalam teori) seperti itu akan membuat algoritma …

109 complexity-theory  np-hard  encryption  cryptography 

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 yang hebat: ini adalah cara yang bagus untuk dengan …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Pohon indeks biner memiliki sangat sedikit atau relatif tidak memiliki literatur dibandingkan dengan struktur data lainnya. Satu-satunya tempat di mana itu diajarkan adalah tutorial topcoder . Meskipun tutorialnya lengkap dalam semua penjelasannya, saya tidak bisa mengerti intuisi di balik pohon seperti itu? Bagaimana itu ditemukan? Apa bukti aktual dari kebenarannya?

99 algorithms  binary-trees  trees 

Ada banyak upaya untuk membuktikan atau , dan secara alami banyak orang berpikir tentang pertanyaan itu, memiliki ide untuk membuktikan arah mana pun.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Saya tahu bahwa ada pendekatan yang terbukti tidak berhasil, dan mungkin ada lebih …

96 complexity-theory  reference-request  history  p-vs-np  reference-question