Ilmu Komputer

Apa cara tercepat untuk melakukan ini (dari perspektif algoritmik, dan juga masalah praktis)? Saya sedang memikirkan sesuatu seperti itu. Saya bisa menambahkan ke akhir array dan kemudian menggunakan bubblesort karena memiliki kasus terbaik (array yang benar-benar diurutkan di awal) yang dekat dengan ini, dan memiliki waktu berjalan linier (dalam kasus …

31 algorithms  efficiency  arrays  sorting 

Alan Turing mengusulkan model untuk mesin (Turing Machine, TM) yang menghitung (angka, fungsi, dll.) Dan membuktikan Teorema Henti . TM adalah konsep abstrak dari mesin (atau mesin jika Anda suka). Teorema Penghentian adalah hasil ketidakmungkinan. Mesin Carnot (CE) adalah konsep abstrak dari mesin panas dan Carnot membuktikan Teorema Carnot , …

31 turing-machines  halting-problem  entropy 

Saya ditugaskan latihan di universitas saya. Saya membawanya pulang dan mencoba memprogram algoritma untuk menyelesaikannya, itu adalah sesuatu yang berhubungan dengan grafik, menemukan komponen yang terhubung, saya kira. Kemudian saya membuat hal paling sepele yang muncul di benak saya dan kemudian ditunjukkan kepada dosen saya. Setelah pengamatan singkat, ia merasa …

30 algorithms  algorithm-analysis  education  applied-theory 

Ada banyak definisi online tentang apa itu Tata Bahasa Bebas Konteks, tetapi tidak ada yang saya temukan yang memuaskan masalah utama saya: Konteks apa itu gratis? Untuk menyelidiki, saya mencari "tata bahasa sensitif konteks" di Google, tetapi saya masih gagal menemukan apa arti "konteks" itu. Bisakah seseorang tolong jelaskan apa …

30 terminology  context-free  formal-grammars 

Saya mencoba menjelaskan dasar-dasar Bitcoin kepada orang tua saya. Salah satu komponen inti dari bitcoin, adalah menandatangani transaksi untuk memastikan identitas Anda tidak dapat ditiru, dan dengan demikian kebutuhan untuk menjelaskan sandi asimetris yang disederhanakan. Apa itu cipher asimetris yang sangat sederhana yang dapat saya gunakan sebagai contoh? Bagaimana cipher …

30 cryptography 

Teorema Rice memberi tahu kita bahwa satu-satunya sifat semantik dari Mesin Turing (yaitu sifat fungsi yang dihitung oleh mesin) yang dapat kita putuskan adalah dua sifat sepele (yaitu selalu benar dan selalu salah). Tetapi ada sifat-sifat lain dari Mesin Turing yang tidak dapat memutuskan. Misalnya, properti yang ada keadaan tidak …

30 computability  undecidability 

Saat menerapkan kamus ('Saya ingin mencari data pelanggan dengan ID pelanggan mereka'), struktur data yang digunakan adalah tabel hash dan pohon pencarian biner. Saya tahu misalnya bahwa perpustakaan C ++ STL mengimplementasikan kamus (mereka menyebutnya peta) menggunakan pohon pencarian biner (seimbang), dan kerangka .NET menggunakan tabel hash di bawah tenda. …

30 algorithms  data-structures  binary-trees  hash-tables 

Saya mengerti bahwa jika ada 2 atau lebih pohon derivasi kiri atau kanan, maka tata bahasanya ambigu, tetapi saya tidak dapat memahami mengapa hal itu sangat buruk sehingga semua orang ingin menyingkirkannya.

30 compilers  ambiguity 

Saya membaca CLRS dan berkata: Jika memperhitungkan bilangan bulat besar itu mudah, maka memecahkan cryptosystem RSA itu mudah. Yang masuk akal bagi saya karena dengan pengetahuan dan , mudah untuk membuat kunci rahasia yang menjadi pengetahuan kunci publik. Padahal, itu menjelaskan pernyataan sebaliknya, yang saya tidak mengerti:pppqqq Pernyataan sebaliknya, bahwa …

30 cryptography 

Pada dasarnya saya mengetahui tiga dasar untuk matematika Tetapkan teori Jenis teori Teori kategori Jadi dalam hal apa bahasa pemrograman dan dasar matematika terkait? EDIT Pertanyaan aslinya adalah "Memprogram bahasa berdasarkan dasar matematika" dengan paragarph ditambahkan Dan implementasi teori 1. Ketikkan teori dalam Coq 2. Set teori dalam SETL 3. …

30 programming-languages  history  type-theory  category-theory 

FRP adalah tentang streaming peristiwa dan perilaku melalui fungsi murni. Model Aktor - setidaknya, seperti yang diterapkan di Akka - adalah tentang streaming pesan abadi (yang dapat dianggap sebagai peristiwa diskrit) melalui objek yang berpotensi tidak murni, yang disebut aktor. Jadi di permukaan mereka tampak terkait. Apa lagi yang bisa …

30 distributed-systems  functional-programming  programming-paradigms 

Apa metafora yang baik atau contoh untuk menjelaskan kepada jurusan bahasa Inggris perbedaan antara ilmu komputer klasik dan "menjadi baik dengan menggunakan MS-Windows" ilmu Komputer pemrograman komputer menggunakan komputer 3 hal yang sangat berbeda. Kebanyakan orang tidak tahu apa itu Ilmu Komputer. Mereka hanya melihat kata "komputer". Oleh karena itu, …

30 terminology  education 

Ini adalah fakta yang diketahui bahwa setiap formula LTL dapat diekspresikan oleh Büchi -automaton. Tetapi, tampaknya, Büchi automata adalah model yang lebih kuat dan ekspresif. Saya pernah mendengar bahwa Büchi automata setara dengan linear-time -calculus (yaitu, -calculus dengan fixpoint biasa dan hanya satu operator temporal: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Apakah ada algoritma (bukti …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Saya telah melalui diskusi tentang pertanyaan Bagaimana cara mendefinisikan mesin Turing kuantum? dan saya merasa bahwa TM kuantum dan TM nondetermistic adalah satu dan sama. Jawaban untuk pertanyaan lain tidak menyentuh itu. Apakah kedua model ini satu dan sama? Jika tidak, Apa perbedaan antara kuantum TM dan NDTM? Apakah ada …

30 computability  turing-machines  quantum-computing  nondeterminism 

Secara intuitif, "pohon seimbang" harus pohon di mana sub-pohon kiri dan kanan di setiap node harus memiliki "kurang lebih sama" jumlah node. Tentu saja, ketika kita berbicara tentang pohon merah-hitam * (lihat definisi di akhir) yang seimbang, kita benar-benar berarti bahwa mereka adalah tinggi badan seimbang dan dalam arti bahwa, …

30 data-structures  binary-trees  search-trees