Ilmu Komputer

Banyak program ilmu komputer membutuhkan dua atau tiga kelas kalkulus. Saya bertanya-tanya, bagaimana dan kapan kalkulus digunakan dalam ilmu komputer? Isi CS dari gelar dalam ilmu komputer cenderung fokus pada algoritma, sistem operasi, struktur data, kecerdasan buatan, rekayasa perangkat lunak, dll. Apakah ada waktu ketika Kalkulus berguna dalam bidang ini …

95 education  mathematical-analysis 

Saya telah bertanya-tanya tentang pertanyaan ini sejak saya masih mahasiswa. Ini adalah pertanyaan umum tetapi saya akan menguraikan dengan contoh di bawah ini. Saya telah melihat banyak algoritma - misalnya, untuk masalah aliran maksimum, saya tahu sekitar 3 algoritma yang dapat menyelesaikan masalah: Ford-Fulkerson, Edmonds-Karp & Dinic, dengan Dinic memiliki …

91 algorithms  data-structures  education  didactics 

Keduanya tampak sangat mirip dan memiliki struktur yang hampir identik. Apa bedanya? Apa kompleksitas waktu untuk operasi yang berbeda masing-masing?

91 data-structures  binary-trees  heaps 

Di sebagian besar kelas algoritma pengantar, notasi seperti (Big O) dan diperkenalkan, dan seorang siswa biasanya akan belajar menggunakan salah satu dari ini untuk menemukan kompleksitas waktu.ΘOOOΘΘ\Theta Namun, ada notasi lain, seperti , dan . Apakah ada skenario khusus di mana satu notasi lebih disukai daripada yang lain?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Dalam ilmu komputer, kita sering harus memecahkan hubungan pengulangan , yaitu menemukan bentuk tertutup untuk urutan angka yang didefinisikan secara rekursif. Ketika mempertimbangkan runtimes, kita sering tertarik terutama pada pertumbuhan asimptotik urutan . Contohnya adalah Runtime dari fungsi rekursif-ekor melangkah ke bawah ke dari yang tubuhnya membutuhkan waktu :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Kami belajar tentang kelas bahasa bebas konteks . Ini dicirikan oleh tata bahasa bebas konteks dan automata pushdown sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah bebas konteks.CFLCFL\mathrm{CFL} Bagaimana saya menunjukkan yang sebaliknya? TA saya bersikeras bahwa untuk melakukannya, kami harus menunjukkan kepada semua tata bahasa (atau automata) bahwa …

88 formal-languages  context-free  proof-techniques  reference-question 

The Vapnik-Chervonenkis (VC) -Dimensi rumus untuk jaringan saraf berkisar dari ke , dengan dalam kasus terburuk, di mana adalah jumlah tepi dan adalah jumlah node. Jumlah sampel pelatihan yang diperlukan untuk memiliki jaminan kuat akan generalisasi adalah linier dengan dimensi VC.O ( E)O(E)O(E)O ( E2)O(E2)O(E^2)O ( E2V2)O(E2V2)O(E^2V^2)EEEVVV Ini berarti bahwa …

86 machine-learning  vc-dimension 

Ada dua metode partisi quicksort yang disebutkan dalam Cormen: Hoare-Partition(A, p, r) x = A[p] i = p - 1 j = r + 1 while true repeat j = j - 1 until A[j] <= x repeat i = i + 1 until A[i] >= x if i < …

83 algorithms  sorting  quicksort 

Saya telah memperhatikan bahwa beberapa aplikasi atau algoritma yang dibangun pada bahasa pemrograman, katakanlah C ++ / Rust berjalan lebih cepat atau lebih cepat daripada yang dibangun di atas, Java / Node.js, berjalan pada mesin yang sama. Saya punya beberapa pertanyaan tentang ini: Mengapa ini terjadi? Apa yang mengatur "kecepatan" …

82 programming-languages  compilers 

Jika Anda menghitung luas persegi panjang, Anda hanya mengalikan tinggi dan lebar dan mendapatkan kembali unit kuadrat. Contoh: 5cm * 10cm = 50cm² Sebaliknya, jika Anda menghitung ukuran gambar, Anda juga mengalikan tinggi dan lebar, tetapi Anda mendapatkan kembali unit - Pixel - sama seperti itu adalah satuan tinggi dan …

81 terminology 

Saat mencari grafik, ada dua algoritma mudah: breadth-first dan depth-first (Biasanya dilakukan dengan menambahkan semua node grafik adjactent ke antrian (breadth-first) atau stack (depth-first)). Sekarang, apakah ada kelebihan satu sama lain? Yang bisa saya pikirkan: Jika Anda berharap data Anda berada cukup jauh di dalam grafik, kedalaman-pertama mungkin menemukannya lebih …

79 algorithms  graph-theory  search-algorithms  graph-traversal 

Kami belajar tentang kelas bahasa reguler . Ini dicirikan oleh salah satu konsep antara ekspresi reguler, automata terbatas dan tata bahasa linier kiri, sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah reguler.REGREG\mathrm{REG} Bagaimana saya menunjukkan yang sebaliknya? TA saya telah bersikeras bahwa untuk melakukannya, kami harus menunjukkan untuk semua …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Saya selalu berpikir secara samar bahwa jawaban untuk pertanyaan di atas adalah afirmatif di sepanjang baris berikut. Teorema ketidaklengkapan Gödel dan ketidakpastian masalah penghentian keduanya merupakan hasil negatif tentang decidability dan dibangun oleh argumen diagonal (dan pada 1930-an), sehingga keduanya harus menjadi dua cara untuk melihat hal yang sama. Dan …

76 computability  logic  halting-problem  incompleteness 

Sebagai bagian dari beberapa penelitian terkait blockchain yang saya lakukan saat ini, gagasan untuk menggunakan blockchains untuk berbagai aplikasi dunia nyata dilemparkan secara longgar. Karena itu, saya mengajukan pertanyaan-pertanyaan berikut: Aplikasi dunia nyata apa yang penting / krusial yang menggunakan blockchain? Untuk menambah pertanyaan pertama, lebih spesifik lagi, aplikasi dunia …

75 blockchain 

Saya telah membaca tentang kalkulus Lambda baru-baru ini tetapi anehnya saya tidak dapat menemukan penjelasan mengapa ini disebut "Lambda" atau dari mana ungkapan itu berasal. Adakah yang bisa menjelaskan asal usul istilah ini?

75 terminology  computation-models  lambda-calculus  history