Ilmu Komputer

Misalkan saya memiliki dua fungsi dan dan saya tertarik untuk menentukan apakahFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Misalkan fungsi saya terdiri dari fungsi-fungsi dasar (polinomial, eksponensial, log, dan fungsi trigonometri), tetapi tidak, katakanlah, deret Taylor. Apakah masalah ini dapat diputuskan? Jika tidak, apakah itu bisa ditentukan? (Saya bertanya karena saya sedang …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Pada halaman wikipedia di sini dijelaskan dengan sangat baik algoritma CDCL (dan tampaknya gambar diambil dari slide yang dibuat oleh Sharad Malik di Princeton). Namun ketika menggambarkan bagaimana untuk mundur semua yang dikatakannya adalah "ke titik yang tepat". MiniSAT juga menggunakan varian dari algoritma CDCL jadi saya membaca makalah ini. …

9 machine-learning  satisfiability  sat-solvers  backtracking 

Saya memiliki satu set titik yang didefinisikan dalam ruang metrik - jadi saya dapat mengukur 'jarak' antara titik tetapi tidak ada yang lain. Saya ingin menemukan titik paling sentral dalam himpunan ini, yang saya definisikan sebagai titik dengan jumlah minimum jarak ke semua titik lainnya. Perhitungan metrik lambat, jadi harus …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Jadi ada suatu algoritma untuk mengubah istilah kalkulus lambda ke logika kombinatorik menggunakan kombinator SK. Ini menghasilkan hal-hal yang meledak dalam ukuran. Saya ingin tahu lebih banyak tentang ledakan ini. Saya sepertinya tidak bisa memikirkan algoritma yang lebih baik. Saya telah mendengar tentang bahasa fungsional yang secara praktis dikompilasi ke …

9 lambda-calculus  functional-programming  combinatory-logic 

Saya berpikir tentang bahasa unary , di mana diatur dari semua kata yang panjangnya adalah jumlah kuadrat. Secara formal: Mudah untuk menunjukkan bahwa tidak teratur (misalnya dengan Pumping-Lemma). Selanjutnya, kita tahu bahwa setiap bilangan asli adalah jumlah dari empat kotak yang menyiratkan bahwa untuk semua bahasa adalah teratur karena .L …

9 formal-languages  regular-languages 

Pertimbangkan masalah berikut. Diberikan: Grafik lengkap dengan bobot non-negatif nyata di tepinya. Tugas: Temukan subgraph planar dengan berat maksimum. ("Maksimum" di antara semua kemungkinan subgraph planar.) Catatan: Subgraph dengan berat maksimum akan menjadi triangulasi; jika grafik lengkapnya ada pada simpul, itu akan memiliki m = 3 n - 6 edge.nnnm=3n−6m=3n−6m=3n-6 …

9 algorithms  graph-theory  optimization  combinatorics 

Saya ingat dari kelas sarjana bahwa untuk Mesin Turing dengan kaset berhingga akan selalu ada Finite State Automata yang sesuai, tetapi saya tidak dapat menemukan ini dikonfirmasi di mana pun di internet. Apakah ini yang sebenarnya terjadi atau saya salah mengingat?

9 turing-machines  finite-automata 

Setahu saya tidak ada algoritma kasus terburuk yang memecahkan masalah berikut:O(n)O(n)O(n) Dengan urutan panjang terdiri dari bilangan bulat terbatas, temukan permutasi di mana setiap elemen kurang dari atau sama dengan penggantinya.nnn Tetapi apakah ada bukti bahwa itu tidak ada, dalam model komputasi transdichotomous ? Perhatikan bahwa saya tidak membatasi rentang …

9 complexity-theory  sorting  computation-models  lower-bounds 

Saya mendengar beberapa penjelasan yang mungkin, jadi saya ingin referensi yang dapat dipercaya. Pembaruan 05.19: Saya tertarik dengan pertanyaan itu karena salah seorang siswa saya menulis dalam tesisnya bahwa nama tersebut berasal dari penjelasan di bawah ini (1). Sampai sekarang saya berpikir / mendengar bahwa itu berasal dari penjelasan (2). …

9 terminology  reference-request  history 

Saat ini saya membaca beberapa makalah tentang penggumpalan rantai Markov dan saya gagal melihat perbedaan antara rantai Markov dan grafik tertimbang sederhana yang diarahkan. Sebagai contoh dalam artikel Optimal penggumpalan ruang-negara di rantai Markov, mereka memberikan definisi CTMC (rantai Markov waktu kontinu) sebagai berikut: Kami menganggap CTMC terbatas dengan ruang …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Ini adalah tindak lanjut dari pertanyaan lain di sini , dan saya harap itu tidak terlalu filosofis. Seperti yang ditunjukkan oleh Raphael dalam komentar pada pertanyaan saya sebelumnya, saya tidak benar-benar mendapatkan definisi "computable", tetapi menurut beberapa makalah yang saya baca, definisi itu juga tidak begitu jelas dalam hal model …

9 computability  computation-models 

Dalam Konsep dalam Bahasa Pemrograman , John Mitchell menulis bahwa pengecekan tipe statis harus konservatif (terlalu ketat) karena Masalah Pemutusan Hubungan. Dia memberi contoh: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Bisakah seseorang memberikan jawaban yang tidak dibuat-buat yang benar-benar menjadi masalah praktis? Saya mengerti bahwa Java memungkinkan gips yang diperiksa …

9 programming-languages  compilers  type-checking 

Karena saya sedang belajar untuk kursus bahasa formal di perguruan tinggi, saya menemukan tulisan-tulisan menarik ini ( Satu Dua ) yang menggambarkan bagaimana menemukan bilangan prima menggunakan regexp . Seperti yang saya katakan, regexp , bukan ekspresi reguler . Karena ekspresi reguler dapat mencocokkan string yang dihitung oleh Finite State …

9 regular-expressions 

Saya menggunakan variasi filter median 5-silang pada data gambar pada sistem tertanam kecil, yaitu x x x x x Algoritma ini sangat sederhana: baca 5 nilai integer tanpa tanda, dapatkan 2 tertinggi, lakukan beberapa perhitungan pada nilai tersebut dan tulis kembali hasil integer tanpa tanda. Yang menyenangkan adalah bahwa nilai …

9 algorithms  efficiency  selection-problem 

Saya seorang mahasiswa tahun kedua sekolah menengah yang tertarik pada ilmu komputer. Saya mengembangkan algoritma keren untuk #SAT, dan saya menerapkan dan melakukan proyek sains yang adil di atasnya. Penasihat saya, yang merupakan guru sains terbaik di sekolah saya dan juga guru AP Comp Sci, mengatakan kepada saya bahwa dia …

9 algorithms  satisfiability