Saya sering mendengar orang berbicara tentang komputasi paralel dan komputasi terdistribusi , tetapi saya mendapat kesan bahwa tidak ada batasan yang jelas antara keduanya, dan orang-orang cenderung bingung dengan cukup mudah, sementara saya percaya itu sangat berbeda: Komputasi paralel lebih...
Saya percaya saya memiliki pemahaman yang masuk akal tentang kompleksitas seperti , dan .O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Dalam hal daftar, adalah pencarian konstan, jadi hanya mendapatkan kepala daftar. adalah tempat saya menelusuri seluruh daftar, dan berjalan daftar...
Kita tahu masalah penghentian (pada Mesin Turing) tidak dapat dipastikan untuk Mesin Turing. Apakah ada penelitian tentang seberapa baik pikiran manusia dapat mengatasi masalah ini, mungkin dibantu oleh Turing Machines atau komputer tujuan umum? Catatan : Jelas, dalam arti yang paling ketat, Anda...
Ada banyak aplikasi di mana generator angka acak pseudo digunakan. Jadi orang menerapkan satu yang mereka anggap hebat hanya untuk menemukan kemudian bahwa itu cacat. Sesuatu seperti ini terjadi dengan generator nomor acak Javascript baru-baru ini. RandU jauh lebih awal juga. Ada juga masalah...
Saya mencoba menulis skrip yang menghasilkan grafik acak dan saya perlu tahu apakah suatu sisi dalam grafik berbobot dapat memiliki nilai 0. sebenarnya masuk akal bahwa 0 dapat digunakan sebagai bobot tepi, tetapi saya telah bekerja dengan grafik dalam beberapa hari terakhir dan saya belum pernah...
Jika saya memiliki daftar nilai kunci dari 1 hingga 100 dan saya ingin mengaturnya dalam array 11 ember, saya telah diajarkan untuk membentuk fungsi mod H=kmod 11H=kmod 11 H = k \bmod \ 11 Sekarang semua nilai akan ditempatkan satu demi satu dalam 9 baris. Misalnya, dalam ember pertama akan ada...
Saya memiliki program linear integer (ILP) dengan beberapa variabel yang dimaksudkan untuk mewakili nilai boolean. The 's dibatasi menjadi bilangan bulat dan memegang 0 atau 1 ( ).xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Saya ingin mengekspresikan operasi boolean pada variabel bernilai 0/1 ini,...
Bisakah seseorang menjelaskan perbedaan antara tipe dependen dan tipe perbaikan? Seperti yang saya pahami, tipe penyempurnaan berisi semua nilai dari tipe yang memenuhi predikat. Apakah ada fitur tipe dependen yang membedakannya? Jika itu membantu, saya menemukan tipe Refined melalui proyek Liquid...
Saya membaca dalam tutorial pemrograman rakitan ini bahwa 8 bit digunakan untuk data sedangkan 1 bit untuk paritas, yang kemudian digunakan untuk mendeteksi kesalahan paritas (disebabkan oleh kesalahan perangkat keras atau gangguan listrik). Apakah ini
Saya memiliki pemahaman tingkat tinggi tentang masalah dan saya mengerti bahwa jika itu benar-benar "terbukti" benar dengan solusi yang diberikan, itu akan membuka pintu untuk memecahkan berbagai masalah dalam bidang ilmu komputer.P= NPP=NPP=NP Pertanyaan saya adalah, jika seseorang...
Apakah ada set konstruksi bahasa pemrograman dalam bahasa pemrograman agar Turing Lengkap? Dari apa yang saya dapat katakan dari wikipedia , bahasa perlu mendukung rekursi, atau, tampaknya, harus dapat berjalan tanpa berhenti. Apakah ini semua yang ada untuk
Saya telah menemukan banyak algoritma penyortiran selama studi sekolah menengah saya. Namun, saya tidak pernah tahu mana yang tercepat (untuk array integer acak). Jadi pertanyaan saya adalah: Manakah algoritma penyortiran tercepat yang saat ini dikenal? Secara teoritis, mungkinkah ada yang lebih...
Saya tertarik pada kompleksitas waktu dari kompiler. Jelas ini adalah pertanyaan yang sangat rumit karena ada banyak kompiler, opsi kompiler dan variabel yang perlu dipertimbangkan. Secara khusus, saya tertarik pada LLVM tetapi akan tertarik pada pemikiran orang atau tempat untuk memulai...
Apakah semua string kode Morse dapat diuraikan secara unik? Tanpa ruang, ......-...-..---.-----.-..-..-.. bisa jadi Hello Worldtetapi mungkin huruf pertama adalah 5- pada kenyataannya tampaknya sangat tidak mungkin urutan titik dan garis sewenang-wenang harus memiliki terjemahan yang...
Saya setuju bahwa Mesin Turing dapat melakukan "semua kemungkinan masalah matematika". Tapi itu karena itu hanya representasi mesin dari suatu algoritma: pertama lakukan ini, kemudian lakukan itu, akhirnya keluaran itu. Maksud saya apa pun yang dapat dipecahkan dapat diwakili oleh suatu algoritma...
Bahasa pemrograman aman (PL) semakin populer. Saya ingin tahu apa definisi formal PL yang aman. Misalnya, C tidak aman, tetapi Java aman. Saya menduga bahwa properti "aman" harus diterapkan untuk implementasi PL daripada PL itu sendiri. Jika demikian, mari kita bahas definisi implementasi PL yang...
Masalah ransel mudah dipecahkan oleh pemrograman dinamis. Pemrograman dinamis berjalan dalam waktu polinomial; itu sebabnya kami melakukannya, kan? Saya telah membaca itu sebenarnya adalah masalah NP-lengkap, yang berarti menyelesaikan masalah dalam masalah polinomial mungkin tidak mungkin. Di...
Dalam perhitungan kuantum, apa model yang setara dari mesin Turing? Sangat jelas bagi saya bagaimana sirkuit kuantum dapat dibangun dari gerbang kuantum, tetapi bagaimana kita dapat mendefinisikan mesin Turing kuantum (QTM) yang benar-benar dapat mengambil manfaat dari efek kuantum, yaitu, bekerja...
Saya tahu konsep umum rekursi. Saya menemukan konsep rekursi ekor sambil mempelajari algoritma quicksort. Dalam video algoritma pengurutan cepat ini dari MIT pada pukul 18:30, profesor mengatakan bahwa ini adalah algoritme rekursif ekor. Tidak jelas bagi saya apa yang dimaksud dengan rekursi ekor...
Saya selalu bertanya-tanya mengapa prosesor berhenti di 32 register. Ini adalah bagian mesin yang tercepat, mengapa tidak membuat prosesor yang lebih besar dengan register yang lebih banyak? Bukankah itu berarti lebih sedikit pergi ke