Ilmu Komputer

saya menulis ∑i = 1n1saya= ∑i = 1nO (1)= O (n)∑saya=1n1saya=∑saya=1nHAI(1)=HAI(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) tetapi teman saya mengatakan ini salah. Dari lembar contekan TCS saya tahu bahwa jumlah ini juga disebut HnHnH_n yang memiliki pertumbuhan logaritmik dalam nnn . Jadi ikatan saya tidak terlalu tajam, …

14 asymptotics  landau-notation 

Diberikan labirin 2 dimensi di mana Anda dapat memberikan 4 perintah "bergerak naik / turun / kanan / kiri". Mengetahui labirin tetapi tidak di mana orang itu berada, bagaimana menemukan urutan minimum perintah yang menjamin keluar dari labirin? Saya mencari satu urutan perintah yang akan bekerja di mana pun di …

14 algorithms  graphs  graph-traversal 

Saya agak bingung tentang apa sebenarnya arti 'kunci' dalam ilmu komputer. Saya memahami pasangan nilai kunci, kunci primer, dll ... Tapi saya tidak dapat menemukan definisi dari apa arti istilah 'kunci' dengan sendirinya. Sejauh yang saya tahu itu hanya sepotong data. Dalam CLRS, data yang terkait dengan simpul pohon disebut …

14 terminology 

Bisakah saya membuktikan pernyataan berikut dengan menggunakan pembuktian teorema otomatis yang tersedia? .( a + b )2= a2+ b2+ 2 a b(Sebuah+b)2=Sebuah2+b2+2Sebuahb(a+b)^2=a^2+b^2+2ab Jika , maka 11 ∣ 7 a - 5 b .11 ∣ 2 a - 3 b11∣2Sebuah-3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7Sebuah-5b 11 \mid …

14 automated-theorem-proving 

Berikut ini konteksnya ( Struktur dan Interpretasi Program Komputer , bagian 1.1.8, di bawah judul "Nama lokal"): Parameter formal dari suatu prosedur memiliki peran yang sangat khusus dalam definisi prosedur, karena tidak peduli apa nama parameter formal tersebut. Nama seperti itu disebut variabel terikat , dan kami mengatakan bahwa definisi …

14 logic 

Jika saya memahaminya dengan benar, sebuah algoritma yang menghitung nilai fungsi nyata fff memiliki kompleksitas komputasi jika yang berikut ini berlaku: Ketika kita menghitung ke presisi memerlukan urutan langkah .O(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Namun, bagaimana jika kita memiliki algoritma yang pertama "menemukan algoritma yang lebih efisien untuk menghitung ", dan kemudian menghitung ?ffffff …

14 complexity-theory 

Beberapa karya Conor McBride, Diff , Dissect , mengaitkan turunan tipe data dengan "tipe konteks satu lubang" mereka. Yaitu, jika Anda mengambil turunan dari tipe Anda dibiarkan dengan tipe data yang menunjukkan kepada Anda bagaimana tipe data terlihat dari dalam pada titik tertentu. Jadi, misalnya, jika Anda memiliki daftar (di …

14 graph-theory  type-theory 

Saya membaca tentang Masalah Aliran Maksimum di sini . Saya tidak dapat memahami intuisi di balik Grafik Residual. Mengapa kita mempertimbangkan tepi belakang saat menghitung aliran? Adakah yang bisa membantu saya memahami konsep Grafik Sisa? Bagaimana perubahan Algoritma pada Grafik Tidak Terarah?

14 algorithms  graphs  graph-theory  network-flow 

Saya membaca buku HoTT dan saya punya (mungkin sangat naif) pertanyaan tentang hal-hal di bab satu. Bab ini memperkenalkan tipe fungsi f:A→Bf:A→B f:A\to B dan kemudian menyamaratakannya dengan membuat BBB bergantung pada x:Ax:Ax:A B:A→U,g:∏x:AB(x)B:A→U,g:∏x:AB(x)B:A\to\mathcal{U},\qquad g:\prod_{x:A}B(x) dan itu disebuttipe fungsi dependen. Bergerak maju, bab kemudian memperkenalkan jenis produk dan kemudian menggeneralisasikannya …

14 type-theory  dependent-types  homotopy-type-theory 

Saya bertanya-tanya tentang hubungan antara kompleksitas komputasi dan hierarki Chomsky, secara umum. Secara khusus, jika saya tahu bahwa beberapa masalah adalah NP-complete, apakah itu mengikuti bahwa bahasa masalah itu tidak bebas konteks? Misalnya, masalah klik adalah NP-lengkap. Apakah itu mengikuti bahwa bahasa yang sesuai dengan model dengan klik adalah kompleksitas …

14 complexity-theory  formal-languages 

Jadi, seperti diketahui, masalah keputusan 0-1 ILP adalah NP-complete. Menampilkannya dalam NP mudah, dan pengurangan aslinya dari SAT; sejak itu, banyak masalah NP-Lengkap lainnya telah terbukti memiliki formulasi ILP (yang berfungsi sebagai pengurangan dari masalah tersebut ke ILP), karena ILP sangat berguna secara umum. Pengurangan dari ILP tampaknya jauh lebih …

14 np-complete  reductions  satisfiability  integer-programming 

Ada algoritma serakah untuk menemukan tutupan simpul minimum pohon yang menggunakan traversal DFS. Untuk setiap daun pohon, pilih induknya (mis. Induknya berada dalam penutup simpul minimum). Untuk setiap simpul internal: jika ada dari anak-anaknya yang tidak dipilih, maka pilih simpul ini. Bagaimana saya membuktikan bahwa strategi serakah ini memberikan jawaban …

14 algorithms  trees  greedy-algorithms 

Saya bertanya-tanya kapan bahasa yang berisi jumlah instance yang sama dari dua substring akan teratur. Saya tahu bahwa bahasa yang mengandung jumlah 1s dan 0s yang sama tidak teratur, tetapi merupakan bahasa seperti , di mana = jumlah dari substring "001" sama dengan jumlah instance dari substring " 100 " …

14 formal-languages  regular-languages  pumping-lemma 

Diberikan DAG tidak tertimbang (grafik asiklik langsung) D=(V,A)D=(V,A)D = (V,A) dan dua simpul sss dan ttt , apakah mungkin untuk menemukan jalur terpendek dan terpanjang dari sss ke ttt dalam waktu polinomial? Panjang jalur diukur dengan jumlah tepi. Saya tertarik menemukan kisaran panjang jalur yang mungkin dalam waktu polinomial. Ps., …

14 algorithms  graphs  shortest-path  polynomial-time 

Saya telah menemukan pengalaman aneh dalam pemrograman C. Pertimbangkan kode ini: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Ketika saya mengkompilasi dan menjalankan ini, saya tidak mendapatkan kesalahan atau peringatan. Seperti kata …

14 programming-languages  arrays  c