Ilmu Komputer

Ini mungkin pertanyaan yang menggelikan, tetapi mungkinkah memiliki masalah yang sebenarnya semakin mudah saat input bertambah besar? Saya ragu ada masalah praktis seperti ini, tetapi mungkin kita dapat menemukan masalah yang merosot yang memiliki properti ini. Sebagai contoh, mungkin ia mulai "memecahkan dirinya sendiri" ketika menjadi lebih besar, atau berperilaku …

62 algorithms  asymptotics 

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 erat digabungkan ke multi-threading, atau bagaimana memanfaatkan sepenuhnya CPU tunggal. …

61 terminology  distributed-systems  parallel-computing 

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 penyemaian awal yang tidak tepat untuk …

60 pseudo-random-generators  random-number-generator 

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 selalu bisa mengatakan tidak, karena ada Mesin …

60 computability  turing-machines  halting-problem  human-computing 

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 melihat contohnya.

60 algorithms  graph-theory  graphs  weighted-graphs 

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 sekali untuk setiap elemen dalam daftar.O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Apakah ada cara intuitif yang serupa untuk memahami selain dari …

60 algorithms  complexity-theory  time-complexity  intuition 

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, menggunakan batasan linier. Bagaimana saya bisa melakukan ini? …

58 linear-programming  integer-programming 

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 Haskell, dan tipe dependen via Coq dan Agda. Yang …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

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 …

58 data-structures  hash  hash-tables  primes 

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 benar?

56 computer-architecture  numeral-representations 

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 mempublikasikan bukti konstruktif tak terbantahkan , apa saja efek langsung yang akan …

56 complexity-theory  p-vs-np 

Banyak yang tampaknya percaya bahwa , tetapi banyak juga yang meyakini bahwa sangat tidak mungkin hal ini akan pernah terbukti. Apakah tidak ada ketidakkonsistenan dalam hal ini? Jika Anda berpendapat bahwa bukti seperti itu tidak mungkin, maka Anda juga harus percaya bahwa argumen yang masuk akal untuk P ≠ N …

55 complexity-theory  p-vs-np 

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 itu?

55 computability  programming-languages  turing-machines  turing-completeness 

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 cepat? Jadi, apa kompleksitas paling sedikit untuk menyortir?

55 algorithms  time-complexity  optimization  sorting 

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 aman. Upaya saya sendiri untuk …

54 programming-languages