Ilmu Komputer

Biasanya dalam algoritma kami tidak peduli tentang perbandingan, penambahan, atau pengurangan angka - kami menganggap mereka berjalan dalam waktu . Sebagai contoh, kita mengasumsikan ini ketika kita mengatakan bahwa pengurutan berbasis perbandingan adalah , tetapi ketika angka terlalu besar untuk masuk ke dalam register, kita biasanya mewakili mereka sebagai array …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Saya tahu bahwa operasi bit-wise sangat cepat pada prosesor modern, karena mereka dapat beroperasi pada 32 atau 64 bit secara paralel, sehingga operasi bit-wise hanya memerlukan satu siklus clock. Namun penambahan adalah operasi kompleks yang terdiri dari setidaknya satu dan mungkin hingga selusin operasi yang bijaksana, jadi saya secara alami …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Pertanyaan: "Properti tertentu dari bahasa pemrograman mungkin mensyaratkan bahwa satu-satunya cara agar kode yang tertulis di dalamnya dieksekusi adalah dengan interpretasi. Dengan kata lain, kompilasi ke kode mesin asli dari CPU tradisional tidak dimungkinkan. Apa properti ini?" Penyusun: Prinsip dan Praktek oleh Parag H. Dave dan Himanshu B. Dave (2 …

72 programming-languages  compilers  interpreters 

Sering dikatakan bahwa pencarian tabel hash beroperasi dalam waktu konstan: Anda menghitung nilai hash, yang memberi Anda indeks untuk pencarian array. Namun ini mengabaikan tabrakan; dalam kasus terburuk, setiap item kebetulan mendarat di ember yang sama dan waktu pencarian menjadi linear ( ).Θ(n)Θ(n)\Theta(n) Apakah ada kondisi pada data yang dapat …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

Bagaimana komputer dapat memberi tahu waktu dan tanggal yang benar setiap waktu? Setiap kali saya menutup komputer (matikan) semua koneksi dan proses dalam berhenti. Bagaimana bisa ketika saya membuka komputer lagi ia memberi tahu waktu yang tepat tepat? Apakah komputer tidak mati sepenuhnya ketika saya mematikannya? Apakah ada beberapa proses …

69 computer-architecture  clocks 

Beberapa tahun yang lalu, MapReduce dipuji sebagai revolusi pemrograman terdistribusi. Ada juga kritikus tetapi pada umumnya ada hype antusiasme. Bahkan dipatenkan! [1] Namanya mengingatkan mapdan reducedalam pemrograman fungsional, tetapi ketika saya membaca (Wikipedia) Langkah peta: Node master mengambil input, membaginya menjadi sub-masalah yang lebih kecil, dan mendistribusikannya ke node pekerja. …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

Saya seorang sarjana CS. Saya mengerti bagaimana Turing menghasilkan mesin abstraknya (memodelkan seseorang yang melakukan perhitungan), tetapi bagi saya tampaknya adalah abstraksi yang canggung dan tidak masuk akal. Mengapa kita mempertimbangkan "pita", dan kepala mesin menulis simbol, mengubah keadaan, menggeser pita itu maju dan mundur? Apa signifikansi yang mendasarinya? DFA …

68 turing-machines  computation-models 

Saya pernah mendengar tentang induksi (struktural). Ini memungkinkan Anda untuk membangun struktur yang terbatas dari yang lebih kecil dan memberi Anda prinsip-prinsip bukti untuk alasan tentang struktur tersebut. Idenya cukup jelas. Tapi bagaimana dengan coinduction? Bagaimana cara kerjanya? Bagaimana seseorang dapat mengatakan sesuatu yang konklusif tentang struktur yang tak terbatas? …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Orang sering mengatakan bahwa parser LR (k) lebih kuat daripada parser LL (k) . Pernyataan-pernyataan ini sebagian besar tidak jelas; khususnya, haruskah kita membandingkan kelas untuk tetap atau serikat atas semua ? Jadi bagaimana sebenarnya situasinya? Secara khusus, saya tertarik pada bagaimana LL (*) cocok.kkkkkk Sejauh yang saya tahu, set …

67 formal-languages  formal-grammars  parsers  reference-question 

Sebagai seorang insinyur perangkat lunak, saya menulis banyak kode untuk produk industri. Hal-hal yang relatif rumit dengan kelas, utas, beberapa upaya desain, tetapi juga beberapa kompromi untuk kinerja. Saya melakukan banyak pengujian, dan saya bosan dengan pengujian, jadi saya tertarik pada alat bukti formal, seperti Coq, Isabelle ... Bisakah saya …

66 programming-languages  program-correctness  software-verification 

Saya ingin tahu apakah ada pekerjaan yang menghubungkan kode hukum dengan kompleksitas. Secara khusus, misalkan kita memiliki masalah keputusan "Mengingat buku hukum ini dan keadaan khusus ini, apakah terdakwa bersalah?" Kelas kompleksitas apa yang dimilikinya? Ada hasil yang telah membuktikan bahwa permainan kartu Magic: the Gathering adalah NP dan Turing-complete …

64 complexity-theory  np-complete  decision-problem 

Saat ini saya sedang menyelesaikan MSc saya dalam ilmu komputer. Saya tertarik pada bahasa pemrograman, terutama dalam sistem tipe. Saya tertarik dalam penelitian di bidang ini dan semester depan saya akan memulai PhD pada subjek. Sekarang inilah pertanyaan sebenarnya: bagaimana saya bisa menjelaskan apa yang saya (ingin) lakukan kepada orang-orang …

64 programming-languages  education  typing  research 

Saya bertanya-tanya apakah mungkin untuk membangun kompiler untuk bahasa dinamis seperti Ruby untuk memiliki kinerja yang mirip dan sebanding dengan C / C ++? Dari apa yang saya pahami tentang kompiler, ambil Ruby misalnya, kompilasi kode Ruby tidak pernah bisa efisien karena cara Ruby menangani refleksi, fitur seperti konversi tipe …

64 programming-languages  compilers 

Dalam bahasa seperti C, programmer diharapkan memasukkan panggilan gratis. Mengapa kompiler tidak melakukan ini secara otomatis? Manusia melakukannya dalam jumlah waktu yang wajar (mengabaikan serangga), jadi itu tidak mustahil. EDIT: Untuk referensi di masa mendatang, berikut adalah diskusi lain yang memiliki contoh menarik.

63 compilers  memory-management  garbage-collection 

Anda diberi array elemen2n2n2n a1,a2,…,an,b1,b2,…bna1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n Tugasnya adalah untuk interleave array, menggunakan algoritma di tempat sedemikian rupa sehingga array yang dihasilkan terlihat seperti b1,a1,b2,a2,…,bn,anb1,a1,b2,a2,…,bn,anb_1, a_1, b_2, a_2, \dots , b_n, a_n Jika persyaratan di tempat tidak ada, kami dapat dengan mudah membuat array baru …

62 algorithms  arrays  permutations  in-place