Ilmu Komputer

Tumpukan Meldable Acak memiliki operasi "berbaur", yang kemudian kita gunakan untuk mendefinisikan semua operasi lain, termasuk memasukkan. Pertanyaannya adalah, berapa tinggi yang diharapkan dari pohon itu dengan nnn node? Teorema 1 dari Gambin dan Malinkowski, Antrian Prioritas Acak yang Dapat Dipotong (Prosiding SOFSEM 1998, Catatan Kuliah dalam Ilmu Komputer vol. …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

Pertanyaan ini muncul pada saya tentang masalah penghentian dan saya tidak dapat menemukan jawaban online yang bagus, bertanya-tanya apakah ada yang bisa membantu. Apakah mungkin bahwa masalah penghentian dapat diputuskan untuk setiap TM pada input apa pun asalkan inputnya bukan TM itu sendiri? Pada dasarnya: Halts(TM, I) IF TM == …

9 computability  undecidability  halting-problem 

DFA, NFA, dan epsilon NFA, ketiganya memungkinkan kami mewakili bahasa reguler tertentu. Dengan salah satu dari representasi tersebut kita dapat sampai pada ekspresi reguler yang sama, lalu mengapa kita perlu mempelajari ketiga bentuk representasi dari automata terbatas? Ada beberapa penjelasan tentang apa yang dapat dilakukan NFA yang DFA tidak bisa …

9 automata  finite-automata  education 

Untuk membuktikan bahwa 3-pewarnaan dapat dipilih, apakah cukup untuk mengatakan: Setiap node dalam grafik memiliki 3 warna yang memungkinkan Karena itu kita dapat menghitung semua kemungkinan dan kemudian memeriksa bahwa tidak ada dua sisi yang menghubungkan node dengan warna yang sama3n3n3^n Apakah itu membuktikan bahwa 3-pewarnaan dapat dipilih? Atau apakah …

9 computability  turing-machines  colorings 

Saya belajar pohon titik pandang, dan saya bertemu ini ketika membaca makalah Struktur Data dan Algoritma untuk Pencarian Tetangga Terdekat di Ruang Metrik Umum oleh Peter Yianilos ( Prosiding SODA 1993 , SIAM, halaman 311–321; PDF ). Pseudocode berikut muncul di Algoritma 1. function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…function Make_vp_tree(S)if …

9 notation 

Saya ingin tahu sejauh mana sistem tipe dalam bahasa pemrograman dapat bermanfaat. Sebagai contoh, saya tahu bahwa dalam bahasa pemrograman yang diketik secara dependen, kita dapat membuat Vectorkelas yang memasukkan ukuran vektor dalam tipe signature. Ini seperti contoh de-facto. Kita juga bisa menulis fungsi appendmenggunakan tanda tangan itu sehingga kompiler …

9 type-theory  functional-programming  dependent-types 

Kami dapat membentuk DFA yang menerima angka biner yang dapat dibagi dengan .nnn Misalnya DFA yang menerima angka biner yang dapat dibagi 2 dapat dibentuk sebagai berikut: Demikian pula DFA yang menerima angka biner yang dapat dibagi 3 dapat dibentuk sebagai berikut: Kami dapat mengikuti prosedur yang didefinisikan dengan baik …

9 regular-languages  automata  finite-automata  regular-expressions 

Diberikan string , saya ingin mencari pengulangan terpanjang (setidaknya dua kali). Yaitu, saya ingin mencari string yang merupakan urutan (tidak harus bersebelahan) dari sehingga . Artinya, adalah string yang bagiannya muncul dua kali berturut-turut. Perhatikan bahwa adalah lanjutan dari , tetapi tidak harus berupa substring.w s w = w ′ …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

Kami kadang-kadang mendengar "Swift tidak melakukan klasik (melacak) GC, itu menggunakan ARC." Tetapi saya tidak yakin apakah ada sesuatu dalam semantik Swift yang memerlukan penghitungan referensi. Tampaknya seseorang dapat membangun kompiler dan runtime Swift sendiri untuk menggunakan tracing GC. Jadi apa sebenarnya "referensi-dihitung" tentang Swift? Implementasi Apple atau bahasanya sendiri? …

9 semantics  garbage-collection 

Penafian: Saya seorang ahli biologi, sangat menyesal untuk (mungkin) pertanyaan dasar yang diutarakan dalam istilah yang kasar. Saya tidak yakin apakah saya harus mengajukan pertanyaan ini di sini atau di DS / SC, tetapi CS adalah yang terbesar dari tiga, jadi begini. (Setelah saya memposting, terpikir oleh saya bahwa Cross-Validated …

9 machine-learning  probability-theory 

Biarkan string input diberikan sebagai . Kemudian jika NFA saat ini dalam keadaan r (dan telah membaca input hingga alfabet w i ) maka sebelum membaca simbol input berikutnya NFA terbagi menjadi dua NFA, satu berada di keadaan r dan yang lainnya di s , jika ada transisi dari tipe …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Saya mencoba mengukur sekarang banyak informasi yang tidak berlebihan (aktual) yang terkandung dalam file saya. Ada yang menyebut ini jumlah entropi. Tentu saja ada standar p (x) log {p (x)}, tapi saya pikir Shannon hanya mempertimbangkannya dari sudut pandang transmisi melalui saluran. Karena itu rumus membutuhkan ukuran blok (misalnya dalam …

9 entropy 

Apakah ada karakterisasi grafik yang himpunan tepi-nya terurai menjadi kesatuan yang serasi dan sempurna? Satu kelas sepele dari grafik tersebut adalah grafik regular ( n , n ) -bipartite. Perangkat edge mereka akan terurai menjadi d disjoint matching sempurna. ddd(n,n)(n,n)(n,n)ddd

9 graph-theory  graphs 

Selamat malam! Saya sebenarnya sedang magang di Archives Nationales of France dan saya menghadapi situasi yang ingin saya selesaikan menggunakan grafik ... I. Situasi berdebu Kami ingin mengoptimalkan pengaturan buku perpustakaan saya sesuai dengan ketinggiannya untuk meminimalkan biaya arsip mereka. Ketinggian dan ketebalan buku diketahui. Kami telah mengatur buku-buku dengan …

9 algorithms  graphs  optimization  packing 

Dalam algoritma Welch-Berlekamp untuk mendekode kode Reed-Solomon, seseorang diberikan daftar poin ( asaya, bsaya)(Sebuahsaya,bsaya)(a_i, b_i) mewakili pesan dengan kesalahan eee pada bsayabsayab_i di lokasi yang tidak diketahui (dan eee diberikan ke algoritma). Outputnya adalah polinomial yang melewati semua titik yang diberikan kecuali titik-titik di mana kesalahan terjadi. Metode ini melibatkan …

9 algorithms  error-correcting-codes