Ilmu Komputer

Saya baru saja mengetahui tentang KRR (Representasi Pengetahuan dan Penalaran) dan ASP, tidak mendengar apa pun tentang mereka sebelumnya (kecuali sedikit tentang prolog). Saya sudah membaca sedikit tentang mereka dan salah satu penggunaan utama mereka tampaknya AI. Pertanyaan saya adalah seberapa banyak ASP yang digunakan atau bahasa deklaratif lainnya, apakah …

9 prolog 

Saya sudah mencoba untuk memisahkan definisi dari tipe keselamatan dan tipe kesehatan dan saya mengalami masa-masa itu. Saya bertanya kepada seorang profesor baru-baru ini dan setelah sedikit berpikir dia berkata bahwa tidak ada perbedaan. Namun setelah membaca ini sepertinya: Jenis Keamanan adalah properti dari bahasa yang mengatakan bahwa penerapan fungsi …

9 programming-languages  type-theory  type-checking 

Dengan asumsi ujung-ujungnya tidak diarahkan, memiliki bobot yang unik, dan tidak ada jalur negatif, apakah algoritma ini menghasilkan Pohon Pembentang Minimum yang sama?

9 graphs  trees  minimum-spanning-tree 

Di mana saya dapat menemukan beberapa kode untuk menghasilkan jalan acak yang menghindar dari diri sendiri pada kisi 2 dan 3 dimensi yang panjang sisinya adalah kekuatan dua? Jalan kaki harus melewati setiap titik pada kisi. Lebih khusus, bagaimana saya bisa menemukan jalur hamiltonian acak di jalan besar2n×2n2n×2n2^n \times 2^n …

9 random-walks  lattices 

Misalkan Anda memperpanjang Kalkulus Konstruksi dengan "lubang" - yaitu, potongan kode tidak lengkap yang belum Anda isi. Saya ingin tahu apakah ada algoritma untuk mengisi peran itu secara otomatis. Misalnya (menggunakan sintaksis Morte ): Kasus A: λ (pred : ?) -> λ (Nat : *) -> λ (Succ : Nat …

9 machine-learning  programming-languages  unification 

Menurut sumber ini, konstanta Chaitin ΩΩ\Omega itu normal. Setiap probabilitas penghentian adalah bilangan real normal dan transendental yang tidak dapat dihitung, yang berarti bahwa tidak ada algoritma untuk menghitung digitnya. Memang, setiap probabilitas penghentian adalah acak Martin-Löf, yang berarti tidak ada algoritma apa pun yang dapat dengan andal menebak angka-angkanya. …

9 halting-problem 

Saya sedang memecahkan hubungan pengulangan. Hubungan perulangan pertama adalah T( n ) = 2 T( n / 2 ) + nT(n)=2T(n/2)+nT(n)=2T(n/2)+n Solusi yang satu ini dapat ditemukan oleh Master Theorem atau metode pengulangan pohon. Pohon perulangan akan seperti ini: Solusinya adalah: T( n ) =n + n + n + …

9 recurrence-relation 

Saya belajar tentang jalur terpanjang dan menemukan fakta bahwa jalur terpanjang dalam grafik umum tidak dapat dipecahkan oleh pemrograman dinamis karena masalahnya tidak memiliki substruktur optimal (yang saya pikir pernyataan itu perlu diperbaiki ke jalur sederhana terpanjang pada grafik umum tidak dapat dipecahkan oleh pemrograman dinamis). Jika kita berasumsi mereka …

9 algorithms  graphs  optimization  dynamic-programming 

Saya telah membaca di banyak makalah tentang pencarian tetangga terdekat berdimensi lebih tinggi yang KD-Trees eksponensial dalam K, tetapi sepertinya saya tidak dapat menentukan mengapa. Apa yang saya cari adalah analisis kompleksitas runtime yang menjelaskan aspek masalah ini.

9 algorithm-analysis  data-structures  search-trees  nearest-neighbour  search 

Pada 1950-an sejumlah metode untuk meminimalkan sirkuit untuk fungsi Boolean telah ditemukan. Apakah ada perluasan dari metode tersebut atau yang serupa untuk mengoptimalkan kompleksitas waktu atau ruang dari algoritma? Misalnya implementasi bubble sort sebagai input untuk algoritma seperti itu akan menghasilkan implementasi algoritma sorting dengan kompleksitas waktu yang lebih dekat …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

String adalah kelas yang tidak dapat diubah di Jawa. Kelas yang tidak berubah hanyalah kelas yang instansnya tidak dapat dimodifikasi. Mengapa bahasa pemrograman Java memilih untuk membuat objek String kelas tidak berubah?

9 programming-languages  language-design 

Saya memiliki matriks pita - matriks yang jarang, kuadrat, simetris yang strukturnya tampak seperti berikut:N× NN×NN \times N Di sini, area di bawah garis-garis biru adalah elemen bukan nol; yang lainnya nol Apakah ada algoritma untuk membalikkan jenis matriks yang sederhana namun lebih efisien daripada eliminasi Gaussian dan dekomposisi LU?

9 algorithms  linear-algebra  sparse-matrices 

Saya belajar tentang paging. Buku saya mengatakan bahwa alamat logis yang dihasilkan oleh CPU ada dalam formulir |p|d|(nomor halaman, offset halaman) dan alamat fisik dalam bentuk |f|d|(nomor frame, frame offset). Juga disebutkan secara khusus bahwa doffset di-copy secara langsung untuk menghasilkan alamat fisik dari alamat yang logis. Sekarang, akal sehat …

9 memory-management  paging 

Saya disajikan dengan jaringan perbandingan. Bagaimana saya bisa menentukan apakah jaringan perbandingan adalah jaringan penyortiran? Pada gambar di bawah ini ada contoh pemilihan semacam dan jaringan semacam penyisipan. Tujuannya adalah untuk memiliki jaringan perbandingan dan mengurutkan nilai numerik. Jika saya menguji 2 ^ n nilai dalam kasus ini 2 ^ …

9 sorting 

Bisakah operasi pemisahan diterapkan untuk pohon AVL dengan kompleksitas O(logn)O(log⁡n)O(\log n)? Saya tertarik pada tautan ke artikel atau informasi spesifik tentang subjek ini. Operasi pembagian membagi pohon AVL menjadi dua pohon AVL yang diturunkan, berdasarkan kunci. Salah satu pohon yang diturunkan harus berisi semua simpul di mana semua kunci kurang …

9 data-structures  search-trees  balanced-search-trees