Ilmu Komputer

Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan dengan jelas mendefinisikan masalah keputusan . Setelah menggali, saya menemukan …

11 computability  terminology  decision-problem 

Kami diberi generator bilangan acak RandNum50yang menghasilkan bilangan bulat acak seragam di kisaran 1-50. Kami hanya dapat menggunakan generator angka acak ini untuk menghasilkan dan mencetak semua bilangan bulat dari 1 hingga 100 dalam urutan acak. Setiap angka harus tepat satu kali, dan probabilitas setiap angka yang terjadi di tempat …

11 algorithms  integers  randomness  random-number-generator 

Mengingat array bilangan ≤ k , di mana k adalah konstanta, saya ingin jawaban dalam O ( 1 ) query dalam bentuk: "berapa kali m muncul dalam array antara indeks i dan j "?a1,…,ana1,…,ana_1,\ldots,a_n≤k≤k\leq kkkkO(1)O(1)O(1)mmmiiijjj Array harus preprocessed dalam waktu linier. Khususnya saya ingin tahu apakah ada pengurangan ke Range …

11 algorithms  arrays  algorithm-design 

Diberikan persamaan rekursif berikut kita ingin menerapkan teorema Master dan perhatikan ituT(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Sekarang kita periksa dua case pertama untuk , yaitu apakahε>0ε>0\varepsilon > 0 ataunlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) .nlogn∈Θ(n)nlog⁡n∈Θ(n)n\log n \in \Theta(n) Kedua kasus tidak puas. Jadi kita harus memeriksa kasus ketiga, …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

Pertanyaan ujian baru-baru ini adalah sebagai berikut: adalah himpunan enumerable rekursif tak terbatas. Buktikan bahwa A memiliki subset rekursif tak terbatas.SEBUAHAASEBUAHAA Biarkan menjadi bagian rekursif tak terbatas A . Haruskah C memiliki subset yang tidak dapat dihitung berulang secara rekursif?CCCSEBUAHAACCC Saya sudah menjawab 1. Mengenai 2., saya menjawab dengan tegas …

11 computability  check-my-proof 

Apakah contoh berikut ini benar tentang apakah algoritma inferensi suara dan lengkap ? Misalkan kita memiliki jarum a, b, c di tumpukan jerami, dan juga memiliki algoritma inferensi yang dirancang untuk menemukan jarum. sound - Hanya jarum a, b dan c yang diperoleh. complete - Jarum a, b dan c …

11 logic 

Saya berjuang dengan hashing dan material pohon pencarian biner. Dan saya membaca bahwa alih-alih menggunakan daftar untuk menyimpan entri dengan nilai hash yang sama, juga dimungkinkan untuk menggunakan pohon pencarian biner. Dan saya mencoba untuk memahami apa waktu berjalan kasus terburuk dan rata-rata untuk operasi insert, find dan delete layak …

11 data-structures  time-complexity  runtime-analysis  search-trees  hash-tables 

Saya mencoba menggunakan kamera warna untuk melacak banyak objek di ruang angkasa. Setiap objek akan memiliki warna yang berbeda dan untuk dapat membedakan dengan baik antara masing-masing objek saya mencoba memastikan bahwa setiap warna yang ditugaskan untuk suatu objek sama berbeda dari warna pada objek lain sebanyak mungkin. Dalam ruang …

11 algorithms  optimization  computational-geometry 

Algoritma sederhana yang biasa untuk menemukan elemen median dalam array dari bilangan adalah:nSEBUAHAAnnn Contoh elemen dari dengan penggantian ke A Bn3 / 4n3/4n^{3/4}SEBUAHAABBB Urutkan dan temukan pangkat elemen dan dari| B | ± √BBB lrB| B | ± n--√|B|±n|B|\pm \sqrt{n}lllrrrBBB Periksa bahwa dan berada di sisi berlawanan dari median dan …

11 algorithms  algorithm-analysis  randomized-algorithms 

Pertanyaan saya ditujukan kepada mereka yang peduli dengan algoritma biologi komputasi. Saya akan mengambil kursus bioinformatika musim gugur ini; Masalahnya, bagaimanapun, adalah bahwa saya memiliki terlalu sedikit latar belakang dalam biologi dan kimia untuk merasa siap untuk siklus lection (saya agak lemah pada mata pelajaran ini di sekolah). Bisakah Anda …

11 algorithms  reference-request  education  bioinformatics 

Dalam diskusi seputar pertanyaan ini , Gilles menyebutkan dengan benar bahwa bukti kebenaran suatu algoritma yang menggunakan array harus membuktikan bahwa tidak ada akses array di luar batas; tergantung pada model runtime, ini akan menyebabkan kesalahan runtime atau akses ke elemen non-array. Salah satu teknik umum untuk melakukan pembuktian kebenaran …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Misalkan saya diberi satu set terbatas poin di pesawat, dan diminta untuk menggambar kurva C ( P ) yang dapat dibedakan dua kali melalui p i , sedemikian sehingga perimeternya sekecil mungkin. Dengan asumsi p i = ( x i , y i ) dan x i < x i …

11 complexity-theory  np-hard  optimization  computable-analysis 

Saya sedang mengerjakan bahasa berbasis ekspresi dari silsilah ML, jadi tentu saja perlu inferensi jenis> :) Sekarang, saya mencoba untuk memperluas solusi berbasis kendala untuk masalah tipe menyimpulkan, berdasarkan pada implementasi sederhana dalam EOPL (Friedman dan Wand), tetapi mereka secara elegan memihak tipe data aljabar. Apa yang saya miliki sejauh …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

Sebuah Fibonnaci Heap mendukung operasi berikut: insert(key, data) : menambahkan elemen baru ke struktur data find-min() : mengembalikan pointer ke elemen dengan kunci minimum delete-min() : menghapus elemen dengan kunci minimum delete(node) : menghapus elemen yang ditunjuk oleh node decrease-key(node) : mengurangi kunci elemen yang ditunjuk oleh node Semua operasi …

11 data-structures  priority-queues 

Ini pertanyaan pekerjaan rumah dari buku Udi Manber. Setiap petunjuk akan menyenangkan :) Saya harus menunjukkan bahwa: n ( log3( n ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Saya mencoba menggunakan Teorema 3.1 buku: (untuk c > 0 , a > 1 )f( n )c= O ( af( n ))f(n)c=O(af(n))f(n)^c …

11 asymptotics  landau-notation  mathematical-analysis