Ilmu Komputer

Saya adalah seorang pria berusia 16 tahun yang baru-baru ini diberi sebuah ensiklopedia besar tentang ilmu komputer oleh seorang teman saya. Saya biasanya tidak begitu tertarik pada komputer dan teknologi, tetapi ilmu komputer sudah mulai membuat saya terpesona. Namun saya berniat untuk belajar Fisika dan / atau Matematika dan bukan …

14 reference-request  education 

Saya dapat memahami pentingnya bahwa ilmuwan komputer atau insinyur terkait pengembangan perangkat lunak harus memahami studi tentang logika dasar sebagai dasar. Tetapi apakah ada tugas / pekerjaan yang secara eksplisit membutuhkan pengetahuan tentang hal ini, selain tugas yang membutuhkan representasi pengetahuan Knowledge Base? Saya ingin mendengar jenis tugas, bukan tanggapan …

14 logic 

Saat melakukan kata kode kedua (yang meminta Anda untuk menerapkan algoritma pencarian biner lima kali, setiap kali dengan metode yang berbeda), saya telah menghasilkan solusi yang sedikit berbeda yang berfungsi sebagai berikut: Jika saya memiliki array yang disortir dengan panjang 100 dan saya melihat bidang awalnya berisi angka 200 dan …

14 algorithms  terminology  search-algorithms  binary-search 

Saya mengerti bahwa lebih cepat dari dan lebih lambat dari . Yang sulit saya pahami adalah bagaimana sebenarnya membandingkan dan dengan mana .Θ ( n log n ) Θ ( n / log n ) Θ ( n log n ) Θ ( n / log n ) Θ ( …

14 asymptotics  mathematical-analysis  landau-notation 

Dapatkah nomor floating point IEEE-754 <1 (yaitu dihasilkan dengan generator angka acak yang menghasilkan angka> = 0,0 dan <1.0) pernah dikalikan dengan beberapa bilangan bulat (dalam bentuk floating point) untuk mendapatkan angka yang sama atau lebih besar dari integer itu karena pembulatan? yaitu double r = random() ; // generates …

13 numerical-analysis  floating-point  rounding 

Jadi penggabungan sort adalah algoritma divide and conquer. Ketika saya melihat diagram di atas, saya berpikir apakah mungkin untuk mem-bypass semua langkah pembagian. Jika Anda mengulangi lebih dari array asli sambil melompat dua, Anda bisa mendapatkan elemen di at i dan i +1 dan menempatkan mereka ke dalam array yang …

13 algorithms  sorting  efficiency  mergesort 

Saya percaya ini benar tetapi belum bisa mendapatkan bukti formal juga. Tetapi apakah benar bahwa spanning tree minimum dapat dicapai dengan menerapkan algoritma Kruskal? Demikian pula, apakah ini benar untuk algoritma Prim? EDIT: Untuk lebih tepatnya, saya ingin tahu jika diberi MST untuk grafik yang terhubung, tidak terarah, berbobot, apakah …

13 algorithms  graphs  minimum-spanning-tree 

Literatur cukup jelas bahwa RAM unit-biaya dengan perkalian primitif tidak masuk akal, dalam hal itu mereka tidak dapat disimulasikan oleh mesin Turing dalam waktu polinomial dapat menyelesaikan masalah PSPACE-complete dalam waktu polinomial Namun, semua referensi yang dapat saya temukan pada topik ini (Simon 1974, Schonhage 1979) juga melibatkan operasi boolean, …

13 complexity-theory  reference-request  computation-models  history 

Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh mesin, yang seharusnya (saya pikir?) Menjadi deterministik. Dengan cara ini, …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Saya sedang memikirkan tata bahasa untuk bahasa indendasi-sensitif dan sepertinya tata bahasa CF akan melakukan trik jika dikombinasikan dengan parameter. Sebagai contoh, pertimbangkan fragmen ini untuk tata bahasa Python yang disederhanakan dalam format seperti ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's consider …

13 formal-languages  context-free  formal-grammars  parsers 

Misalkan ada sesi tutorial di universitas. Kami memiliki serangkaian pertanyaan dan satu set siswa . Setiap siswa memiliki keraguan dalam subset pertanyaan tertentu, yaitu untuk setiap siswa , biarkan menjadi set pertanyaan yang siswa ragukan. Asumsikan bahwa \ forall 1 \ leq j \ leq n: Q_j \ neq \ …

13 algorithms  complexity-theory  np-complete  np-hard 

Apakah ada algoritma yang diketahui untuk masalah yang dirumuskan yang membutuhkan kompleksitas SPACE O (sqrt (N))? Saya tahu bahwa algoritma dengan kompleksitas waktu O-besar itu ada.

13 complexity-theory  asymptotics  space-complexity 

Saya baru-baru ini ditanya masalah ini dalam wawancara algoritmik dan gagal menyelesaikannya. Diberikan dua nilai N dan M, Anda harus menghitung jumlah permutasi dengan panjang N (menggunakan angka dari 1 hingga N) sedemikian sehingga perbedaan absolut antara angka dalam permutasi dan posisinya dalam permutasi tidak sama dengan M. Contoh - …

13 algorithms  permutations  algorithm-design 

Diberikan dua string bagaimana Anda bisa memeriksa apakah mereka permutasi satu sama lain menggunakan ruang O (1)? Memodifikasi string tidak diizinkan dengan cara apa pun. Catatan: O (1) spasi dalam kaitannya dengan panjang string DAN ukuran alfabet.

13 algorithms  strings  space-complexity 

Saya mempelajari bahasa formal dan sistem basis produksi (sistem basis aturan) dan saya sedikit bingung mengapa dua kata "produksi" dan "aturan" ini memiliki arti yang sama dalam banyak konteks dalam Ilmu Komputer. Dalam Bahasa Inggris mereka tampaknya tidak berarti hal yang sama. Saya bukan penutur asli bahasa Inggris, tetapi saya …

13 formal-languages  terminology  automata  finite-automata  formal-grammars