Ilmu Komputer

Dalam kendala masalah kepuasan, heuristik dapat digunakan untuk meningkatkan kinerja pemecah bactracking. Tiga heuristik yang biasa diberikan untuk solver backtracking sederhana adalah: Nilai sisa minimum (berapa banyak nilai masih valid untuk variabel ini) Derajat heuristik (berapa banyak variabel lain yang dipengaruhi oleh variabel ini) Least-constraining-value (nilai apa yang akan meninggalkan …

11 artificial-intelligence  constraint-satisfaction 

Selama wawancara untuk posisi pengembang Java, saya ditanya hal berikut: Tulis fungsi yang membutuhkan dua params: String yang mewakili dokumen teks dan bilangan bulat yang menyediakan jumlah item untuk dikembalikan. Menerapkan fungsi sedemikian rupa sehingga mengembalikan daftar String yang dipesan berdasarkan frekuensi kata, kata yang paling sering muncul terlebih dahulu. …

11 algorithms  sorting  strings  data-mining 

Seperti yang saya mengerti, masalah penugasan dalam P karena algoritma Hungaria dapat menyelesaikannya dalam waktu polinomial - O (n 3 ). Saya juga mengerti bahwa masalah penugasan adalah masalah pemrograman linear integer , tetapi halaman Wikipedia menyatakan bahwa ini adalah NP-Hard. Bagi saya, ini menyiratkan masalah penugasan dalam NP-Hard. Tapi …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Saya mencoba untuk berpendapat bahwa N bukan NP sama dengan menggunakan teorema hierarki. Ini adalah argumen saya, tetapi ketika saya menunjukkannya kepada guru kami dan setelah deduksi, ia mengatakan bahwa ini bermasalah di mana saya tidak dapat menemukan alasan kuat untuk menerimanya. Kami memulai dengan mengasumsikan bahwa . Kemudian ia …

10 complexity-theory  time-complexity  p-vs-np 

Saya bekerja melalui latihan keras di buku teks, dan saya tidak tahu bagaimana untuk melanjutkan. Inilah masalahnya. Misalkan kita memiliki bahasa mana adalah bilangan irasional. Bagaimana saya membuktikan bahwa bukan bahasa bebas konteks?L = { a i b j : i ≤ j γ , i ≥ 0 , j …

10 formal-languages  automata  context-free 

Khususnya, jika saya mendefinisikan baru sebagai alih-alih akankah -kalkulus menjadi basis kompetisi?K2K2K_2K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y)K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x){S,K2,I}{S,K2,I}\{S, K_2,I\} Dugaan saya adalah "tidak," hanya karena saya sepertinya tidak dapat membuat kombinator reguler K dari kombinator , , dan , tetapi saya tidak memiliki algoritma …

10 lambda-calculus  combinatory-logic 

Saya telah mendengar tentang semua pencegahan Man-In-The-Middle Attack ini dan saya bertanya-tanya, bagaimana ini bisa bekerja jika pria di tengah hanya mendengarkan aliran Anda dan tidak ingin mengubah pesan itu sendiri. Bisakah pria di tengah tidak hanya mengambil kunci yang ditukar oleh lawan, mengubah kunci lalu mendekripsi dan mengenkripsi pesan …

10 cryptography  security 

Biarkan menjadi -pengurangan dalam -calculus. Tentukan -pengembangan oleh .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Apakah confluent? Dengan kata lain, apakah kita memilikinya untuk setiap , jika , maka ada sedemikian rupa sehingga ?←β←β\leftarrow_\betal,d,rl,d,rl,d,rl→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* ruuul←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r Kata kunci: Pertemuan ke atas, properti CR terbalik Saya mulai dengan melihat …

10 lambda-calculus  term-rewriting 

Saya tidak tahu harus bertanya ke mana lagi, saya harap ini tempat yang bagus. Saya hanya ingin tahu apakah mungkin membuat generator kalkulus lambda; pada dasarnya, loop yang akan, diberikan waktu yang tak terbatas, menghasilkan setiap fungsi kalkulus lambda yang mungkin. (seperti dalam bentuk string). Karena kalkulus lambda sangat sederhana, …

10 lambda-calculus 

Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa rekursi memiliki dasar yang kuat. Eliminator : Setiap datatype induktif memiliki konstan terkait …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Perhatian utama saya adalah apakah pemrograman genetika adalah bidang penelitian aktif, dengan beberapa aplikasi yang menjanjikan dalam praktiknya. Sepertinya di bidang pembelajaran mesin, jaringan saraf adalah kata kunci utama, dengan menyebutkan dalam berita arus utama hari ini, tetapi saya belum pernah mendengar pemrograman genetik serupa "kisah sukses".

10 machine-learning  evolutionary-computing 

Anda diberi larik panjang . Setiap elemen array milik salah satu kelas K. Anda seharusnya mengatur ulang array menggunakan jumlah minimum operasi swap sehingga semua elemen dari kelas yang sama selalu dikelompokkan bersama, yaitu mereka membentuk subarray yang berdekatan. Sebagai contoh: nnnKKK Tiga pengaturan valid lainnya masih ada.[ 2 , …

10 terminology  reference-request  sorting  arrays 

Situasi saya Saya menulis makalah yang menyajikan modul perangkat lunak yang saya kembangkan dan saya ingin membandingkan runtime-nya dengan modul lain untuk tugas yang sama. Saya mengetahui kelemahan dari eksperimen runtime , tetapi harap anggap telah diberikan bahwa tidak ada jalan lain dalam kasus saya. (Saya dapat dan memang menyimpulkan …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Saya membaca makalah "Mesin komputer dan kecerdasan" Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) dan menemukan sebuah fragmen di mana ia berkata: Saya telah mengatur di komputer Manchester sebuah program kecil yang hanya menggunakan 1.000 unit penyimpanan, di mana mesin tersebut dilengkapi dengan satu nomor enam belas angka yang dibalas dengan yang lain …

10 algorithms  history