Ilmu Komputer

Biarkan menjadi beberapa set karakter terbatas hingga ukuran tetap. Biarkan menjadi string di atas . Kami mengatakan bahwa substring tak kosong dari adalah ulangi jika untuk beberapa string yang .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Sekarang, pertanyaan saya adalah apakah yang berikut ini berlaku: Untuk setiap , terdapat beberapa sedemikian rupa sehingga …

20 combinatorics  strings  word-combinatorics 

Saya mengalami keraguan berikut tentang kompleksitas Menara Hanoi , di mana saya ingin komentar Anda. Apakah itu dalam NP? Mencoba jawaban: Misalkan Peggy (prover) memecahkan masalah & mengirimkannya ke Victor (pemverifikasi). Victor dapat dengan mudah melihat bahwa keadaan akhir dari solusinya adalah benar (dalam waktu linier) tetapi dia tidak akan …

20 complexity-theory  time-complexity 

Ini adalah teka-teki tentang mengukur latensi jaringan yang saya buat. Saya percaya solusinya adalah tidak mungkin, tetapi teman tidak setuju. Saya mencari penjelasan yang meyakinkan. (Meskipun itu dianggap sebagai teka-teki, saya pikir cocok di situs web ini karena penerapannya pada desain dan pengalaman protokol komunikasi seperti di game online, belum …

20 computer-networks  protocols  distributed-systems 

Saya mencari struktur data yang akan mendorong keluar elemen terlama / terakhir jika elemen baru dimasukkan. Sebagai contoh, biarkan Dmewakili struktur. Dberisi 3 elemen dari Number Dnilai default tipe akan diinisialisasi ke 1, 2dan 3. D = [ 1 , 2 , 3 ]D=[1,2,3]D = [1, 2, 3] Jika a …

20 data-structures  arrays  queues 

Jika suatu sistem tipe dapat menetapkan suatu tipe λ x . x x, atau non-terminating (λx . x x) (λ x . x x), maka apakah sistem itu tidak konsisten? Apakah setiap tipe di bawah sistem itu dihuni? Bisakah Anda membuktikan salah?

20 lambda-calculus  dependent-types 

Membandingkan pasangan berurutan (x, y) dengan pasangan yang tidak berurutan {x, y} (set), maka informasi secara teoritis, perbedaannya hanya satu bit, karena apakah x lebih dulu atau y membutuhkan tepat satu bit untuk diwakili. Jadi, jika kita diberikan satu set {x, y} di mana x, y adalah dua bilangan bulat …

20 information-theory  data-compression 

Sebuah artikel yang disebut Derivatif Tipe Reguler adalah Tipe Konteks Satu Lubangnya menunjukkan bahwa "ritsleting" suatu tipe — konteks satu lubangnya — mengikuti aturan diferensiasi dalam aljabar jenis. Kita punya: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ \partial_x 1 &\mapsto 0 \\ \partial_x (S + T) …

20 type-theory  algebra 

Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh semi-linear π(L)={(m,n)∣ambn∈L}π(L)={(m,n)∣ambn∈L}\pi(L) = \{ (m,n) \mid a^mb^n \in …

20 formal-languages  reference-request  context-free  closure-properties 

Dalam buku Andrew W. Appel, Implementasi Kompiler Modern dalam ML , ia mengatakan di bawah bab 17 bahwa teori Komputasi menunjukkan bahwa akan selalu mungkin untuk menciptakan transformasi optimisasi baru dan hasil untuk membuktikan bahwa kompiler yang mengoptimalkan sepenuhnya akan menyelesaikan masalah yang terhenti: Sebuah program Q yang tidak menghasilkan …

20 computability  compilers  program-optimization 

Beberapa algoritma yang rumit ( union-find ) memiliki fungsi Ackermann terbalik yang hampir konstan yang muncul dalam kompleksitas waktu asimptotik, dan waktu terburuk optimal jika istilah Ackermann terbalik yang hampir konstan diabaikan. Adakah contoh algoritma yang dikenal dengan waktu berjalan yang melibatkan fungsi yang secara fundamental tumbuh lebih lambat daripada …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Saya tahu komputasi dalam arti yang kabur (itu yang dilakukan komputer), tapi saya ingin definisi yang lebih ketat. Dictionary.comDefinisi komputasi, komputasi, menghitung, dan menghitung bersifat melingkar, sehingga tidak membantu. Wikipediamendefinisikan komputasi sebagai "segala jenis perhitungan yang mengikuti model yang terdefinisi dengan baik." Ini mendefinisikan perhitungan sebagai "proses yang disengaja yang …

20 terminology  computability 

Oke sebelum saya mulai, saya menyadari ini ada di pinggiran topik (saya telah membaca Bantuan Pertanyaan untuk situs ini), terutama karena ini bukan masalah dunia nyata. Namun: Saya tidak dapat menemukan apa pun yang relevan di Google Dari sudut pandang puritan tentu itu harus jatuh dalam Ilmu Komputer? Bagaimanapun, jika …

20 reference-request  human-computing 

Ini terinspirasi oleh pertanyaan wawancara . Kami diberi array bilangan bulat dan harus menentukan apakah ada yang berbeda sedemikian rupa sehingga i < j < ka1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i yaitu, urutan dan keduanya …

20 algorithms  complexity-theory  lower-bounds 

Wikipedia menyatakan masalah jumlah subset sebagai menemukan subset dari multiset integer yang diberikan, yang jumlahnya adalah nol. Lebih lanjut ia menyatakan bahwa itu sama dengan menemukan subset dengan jumlah untuk setiap diberikan .ssssss Jadi saya percaya karena keduanya setara, harus ada pengurangan di kedua sisi. Yang dari ke nol adalah …

20 complexity-theory  reductions  np-hard 

Penyempurnaan partisi adalah teknik di mana Anda mulai dengan satu set terbatas objek dan semakin membelah set. Beberapa masalah, seperti minimisasi DFA, dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan cukup efisien. Saya tidak tahu ada masalah lain yang biasanya diselesaikan dengan menggunakan perbaikan partisi selain yang terdaftar di halaman Wikipedia. …

20 algorithms  reference-request  data-structures  partitions  sets