Ilmu Komputer

Gagasan utama k-Nearest-Neighbor memperhitungkan titik terdekat dan memutuskan klasifikasi data berdasarkan suara terbanyak. Jika demikian, maka seharusnya tidak memiliki masalah dalam data dimensi yang lebih tinggi karena metode seperti hashing sensitif lokalitas dapat secara efisien menemukan tetangga terdekat.kkk Selain itu, pemilihan fitur dengan jaringan Bayesian dapat mengurangi dimensi data dan …

11 machine-learning  artificial-intelligence 

Saya memiliki tugas pekerjaan rumah yang selama ini saya anggap bertentangan, dan saya akan menghargai setiap petunjuk. Ini adalah tentang memilih masalah yang diketahui, NP-kelengkapan yang terbukti, dan membangun pengurangan dari masalah itu ke masalah berikut saya akan memanggil DGD (diagnosis grafik diarahkan). Masalah Sebuah contoh dari DGD terdiri dari …

11 complexity-theory  np-hard  graph-theory 

Ini adalah pendahulu dari pertanyaan saya yang lebih maju tentang Pemeriksaan Stack. Stack Inspection adalah mekanisme keamanan yang diperkenalkan dalam JVM untuk menangani kode yang berjalan yang berasal dari lokasi yang memiliki tingkat kepercayaan berbeda. Pertanyaan ini bertujuan untuk menemukan deskripsi sederhana tentang fungsinya. Begitu: Bagaimana cara kerja inspeksi tumpukan?

11 terminology  security  stack-inspection 

Algoritma simpleks berjalan dengan rakus di sudut-sudut polytope untuk menemukan solusi optimal untuk masalah pemrograman linier. Alhasil, jawabannya selalu merupakan sudut dari polytope. Metode titik interior berjalan di bagian dalam polytope. Akibatnya, ketika seluruh bidang polytope optimal (jika fungsi objektifnya sejajar dengan bidang), kita bisa mendapatkan solusi di tengah bidang …

11 algorithms  optimization  linear-programming 

Jika saya mengerti dengan benar, NFA memiliki kekuatan ekspresif yang sama dengan ekspresi reguler. Seringkali, membacakan persamaan reguler yang setara dari NFA mudah: Anda menerjemahkan siklus ke bintang, persimpangan sebagai alternatif, dan sebagainya. Tetapi apa yang harus dilakukan dalam kasus ini: [ sumber ] Siklus yang tumpang tindih membuat sulit …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Saat ini saya sedang mempelajari kalkulus lambda dan bertanya-tanya tentang dua jenis penulisan istilah lambda berikut. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Apakah ada perbedaan makna atau cara Anda menerapkan pengurangan beta, atau hanya dua cara untuk mengekspresikan hal yang sama? …

11 logic  lambda-calculus 

Saya memiliki bahasa berikut { 0saya1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Saya mencoba menentukan kelas bahasa Chomsky mana yang cocok untuknya. Saya bisa melihat bagaimana itu bisa dibuat menggunakan tata bahasa konteks-sensitif jadi saya tahu itu …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Ini mungkin berbatasan dengan ilmu kognitif komputasi, tapi saya ingin tahu bagaimana proses yang diikuti oleh algoritma pathfinding umum (seperti A * ) dibandingkan dengan proses yang digunakan manusia dalam situasi pathfinding yang berbeda (diberi informasi yang sama). Apakah proses ini serupa?

11 algorithms  graphs  artificial-intelligence 

Sistem menulis ulang adalah seperangkat aturan dalam bentuk . Jika kita menerapkan aturan itu ke string kita mengganti substring in dengan substring dan sebaliknya.w A w BA ↔ BA↔BA \leftrightarrow BwwwSEBUAHAAwwwBBB Diberikan string awal dapatkah kita menurunkan dalam sistem dengan aturan berikut:B A A BA A A B BAAABBAAABBB A …

11 computability  term-rewriting 

Dispenser minuman mengharuskan pengguna untuk memasukkan koin ( ), lalu tekan salah satu dari tiga tombol: meminta secangkir teh , selain kopi , dan meminta pengembalian uang (yaitu mesin mengembalikan koin: ). Dispenser ini dapat dimodelkan dengan proses CCS berikut :ˉ d teheteh ˉ r ˉ bc¯c¯\bar cd¯tehd¯tea\bar d_{\text{tea}}eteheteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar …

11 logic  concurrency  modelling  process-algebras  ccs 

Bagaimana bisa diputuskan apakah memiliki beberapa urutan digit? ππ\pimengilhami saya untuk bertanya apakah variasi yang tampak tidak bersalah berikut ini dapat dihitung: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal …

11 computability  real-numbers 

Pertimbangkan sistem file yang ditargetkan pada beberapa perangkat tertanam yang tidak lebih dari menyimpan file dalam struktur direktori hierarkis. Sistem file ini tidak memiliki banyak operasi yang dapat Anda gunakan dalam sistem seperti unix dan Windows (misalnya, izin aksesnya sangat berbeda dan tidak terikat dengan metadata yang disimpan dalam direktori). …

11 operating-systems  filesystems 

Misalkan , , , menjadi urutan tak dari bahasa bebas konteks, yang masing-masing ditentukan berdasarkan alfabet umum Σ . Biarkan L menjadi penyatuan tak terbatas L_1 , L_2 , L_3 , \ dots ; yaitu, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots .L 2 …

11 formal-languages  context-free  closure-properties 

Saya telah mengamati bahwa ada dua jenis negara dalam prediksi cabang. Dalam eksekusi superscalar, di mana prediksi cabang sangat penting, dan terutama dalam penundaan eksekusi daripada mengambil penundaan. Dalam pipa instruksi, di mana pengambilan lebih banyak masalah karena instruksi tidak benar-benar dieksekusi sampai nanti. Manakah dari ini yang sangat penting …

11 cpu-pipelines  computer-architecture 

Manakah dari pernyataan berikut ini yang benar? kondisi yang memadai dan perlu tentang keteraturan bahasa ada tetapi belum ditemukan. Tidak ada syarat yang cukup dan perlu tentang keteraturan suatu bahasa. Memompa lemma adalah kondisi yang diperlukan untuk ketidakteraturan bahasa. Memompa lemma adalah kondisi yang cukup untuk ketidakteraturan suatu bahasa. Saya …

11 formal-languages  regular-languages