Ilmu Komputer Teoritis

12
Menghitung perkiraan populasi filter mekar

Diberikan filter mekar ukuran N-bit dan fungsi hash K, di mana M-bit (di mana M <= N) dari filter diatur. Apakah mungkin untuk memperkirakan jumlah elemen yang dimasukkan ke filter bloom? Contoh sederhana Saya telah merenungkan contoh berikut, dengan asumsi BF 100-bit dan 5 fungsi hash di...

12
Pecahkan teks secara merata menjadi beberapa baris

Ada algoritma waktu linear untuk memecah teks menjadi garis dengan lebar maksimum. Ini menggunakan SMAWK (atau Knuth & Plass) dan "merata" berarti: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Apakah ada algoritme atau fungsi biaya cekung untuk algoritme di atas yang akan...

12
Menyortir urutan "k-tonik"

Saya harap seseorang tahu referensi untuk ini, jadi saya tidak perlu membaca literatur ... Pertimbangkan urutan angka . Pikirkan urutan sebagai interval . Jelas, urutan asli adalah bitonic jika ada titik pada garis nyata menusuk paling banyak 2 interval. Kita akan merujuk pada urutan di mana titik...

12
Persamaan Guru dan Formulir Jumlah Operator

Saya lebih dari seorang pria kuantum optik daripada seorang pria info kuantum, dan menangani terutama dalam persamaan induk. Saya tertarik pada bentuk jumlah operator, dan saya ingin mendapatkan kesalahan dalam formulir ini untuk sistem kuantum kecil yang saya simulasi. Tangkapan: Sistem kuantum...

12
Pemecah masalah universal yang efisien?

Tetapkan "masalah" menjadi algoritma menerima bilangan alami dan mengembalikan 0 atau 1 yang mengembalikan pada setidaknya satu . Setiap tersebut disebut sebagai "solusi" untukSEBUAHAAn ∈ N n A111n ∈ Nn∈Nn \in \mathbb{N}nnnSEBUAHAA Tetapkan "pemecah masalah universal" menjadi algoritme menerima...

12
Pada entropi jumlah

Saya mencari terikat pada entropi dari jumlah dari dua variabel acak diskrit independen X dan Y . Tentu, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( * ) Namun, diterapkan dengan jumlah dari n independen Bernoulli variabel acak Z 1 , ... , Z n , ini memberikan H ( Z 1 +H( X+ Y)H(X+Y)H(X+Y)XXXYYYH( X+ Y) ≤...

12
Penempelan kombinasi grafik

Di sini: http://www.planarity.org/Klein_elementary_graph_theory.pdf (dalam bab embeddings) diberi definisi embedding kombinatorial dari grafik planar. (dengan definisi wajah dan sebagainya) Meskipun dapat dengan mudah digunakan untuk grafik apa pun, mereka mendefinisikan grafik planar sebagai...

12
Bagaimana dualitas tipe didefinisikan?

Dalam Jenis Rekursif Wadler Gratis! [1], ia mendemonstrasikan dua jenis, dan , dan mengklaim keduanya ganda . Secara khusus, ia menunjukkan bahwa tipe adalah tidak dual mantan. Tampaknya dualitas yang dimaksud di sini berbeda dengan dualitas De Morgan dalam hal logika. Saya bertanya-tanya bagaimana...