Ilmu Komputer

Linear programming (LP) dalam P dan integer programming (IP) adalah NP-hard. Tetapi karena komputer hanya dapat memanipulasi angka dengan ketepatan yang terbatas, dalam praktiknya komputer menggunakan bilangan bulat untuk pemrograman linier. Karena itu, bukankah LP dan IP harus berada dalam kelas kompleksitas yang sama?

35 complexity-theory  polynomial-time 

Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan formulasi yang berbeda untuk alasan ini. Ketika saya bekerja dengan …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

Dalam teori automata, kita semua membaca automata sebagai automata terbatas, sejak awal. Yang ingin saya ketahui adalah, mengapa automata terbatas? Untuk lebih jelasnya, apa yang ada dalam otomat yang terbatas - alfabet, bahasa, string yang dibuat dengan ekspresi reguler, atau apa? Dan apakah ada (secara teori) automata non-terbatas?

35 automata  finite-automata 

Saya mengalami kesulitan menemukan sumber daya yang baik yang memberikan kasus terburuk di tempat algoritma penyortiran stabil . Adakah yang tahu sumber daya yang bagus?O(nlnn)O(nln⁡n)O(n \ln n) Hanya pengingat, di tempat berarti menggunakan array yang diteruskan dan algoritma pengurutan hanya diperbolehkan untuk menggunakan ruang ekstra konstan. Stabil berarti bahwa elemen …

35 algorithms  reference-request  sorting  in-place 

Saya baru memahami algoritma ilmu komputer. Saya mengerti proses pencarian biner, tetapi saya memiliki sedikit kesalahpahaman dengan efisiensinya. Dalam ukuran elemen, dibutuhkan, rata-rata, n langkah untuk menemukan elemen tertentu. Mengambil logaritma basis 2 dari kedua sisi menghasilkan log 2 ( s ) = n . Jadi bukankah jumlah rata-rata langkah …

35 algorithms  runtime-analysis  binary-search 

Saya tahu bahwa Idris memiliki tipe dependen tetapi belum selesai. Apa yang tidak bisa dilakukan dengan melepaskan kelengkapan Turing, dan apakah ini terkait dengan memiliki tipe dependen? Saya kira ini adalah pertanyaan yang cukup spesifik, tetapi saya tidak tahu banyak tentang tipe dependen dan sistem tipe terkait.

35 computability  programming-languages  type-theory  dependent-types 

Menurut Wikipedia : Entropi Shannon mengukur informasi yang terkandung dalam pesan sebagai lawan bagian pesan yang ditentukan (atau dapat diprediksi). Contoh yang terakhir termasuk redundansi dalam struktur bahasa atau sifat statistik yang berkaitan dengan frekuensi kemunculan pasangan huruf atau kata, kembar tiga dll. Jadi entropi adalah ukuran dari jumlah informasi …

35 information-theory  data-compression  entropy 

Sebagian besar dari kita belajar pemrograman menggunakan bahasa pemrograman "tekstual" seperti Basic, C / C ++, dan Java. Saya percaya itu lebih alami dan efisien bagi manusia untuk berpikir secara visual. Pemrograman visual memungkinkan pengembang untuk menulis program dengan memanipulasi elemen grafis. Saya kira menggunakan pemrograman visual harus meningkatkan kualitas …

35 programming-languages 

Sebagai seorang pendidik CS tingkat universitas, masalah yang mana bahasa pemrograman untuk mengajar dalam kursus pemrograman pertama sering muncul untuk diskusi. Ada ribuan bahasa untuk dipilih, dan banyak demam agama (atau demam) mendukung satu kamp bahasa di atas yang lain. Semua ini bias subjektif seputar setiap bahasa pemrograman membuatnya sangat …

35 programming-languages  education 

Ini adalah pseudocode standar untuk pencarian pertama luasnya: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Di sini pushdan …

35 algorithms  graphs 

Seorang kolega saya dan saya baru saja menekan beberapa catatan dari salah satu profesor kami. Catatan menyatakan bahwa ada tugas-tugas yang mungkin diselesaikan dalam waktu polinomial (berada dalam kelas PF) tetapi yang TIDAK dapat diverifikasi dalam waktu polinomial (TIDAK dalam kelas NPF). Untuk menguraikan tentang kelas-kelas ini: Kami mendapatkan beberapa …

34 complexity-theory  np 

Can anyone menyarankan saya algoritma waktu linear yang mengambil sebagai masukan diarahkan asiklik grafik dan dua simpul dan dan kembali jumlah jalur sederhana dari ke di . Saya memiliki algoritma di mana saya akan menjalankan DFS (Depth First Search) tetapi jika DFS menemukan maka tidak akan mengubah warna (dari putih …

34 algorithms  graphs 

Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti halnya untuk Mesin Turing), bagaimana bahasa …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Ini mungkin terdengar seperti pertanyaan bodoh, tetapi saya benar-benar ingin tahu bagaimana komputer mengetahui bahwa ? Juga, bagaimana komputer mengetahui bahwa urutan bilangan bulat adalah dan alfabet adalah A, B, C, D, ...? Apakah di suatu tempat tersimpan di perangkat keras atau apakah sistem operasi menyediakan informasi semacam ini?1&lt;21&lt;21<21,2,3,4,5,…1,2,3,4,5,...1,2,3,4,5,\ldots

34 computer-architecture  reference-question 

Saya melihat bahwa sebagian besar definisi Turing-complete adalah tautologis. Misalnya jika Anda Google "apa artinya menjadi Turing lengkap", Anda mendapatkan: Komputer Turing lengkap jika dapat menyelesaikan masalah apa pun yang dapat dilakukan mesin Turing ... Sementara itu didefinisikan dengan sangat baik apakah sistem yang berbeda Turing lengkap atau tidak, saya …

34 turing-machines  turing-completeness