Makalah ini mengklaim bahwa analisis tradisional dari tingkat kesalahan dalam filter Bloom tidak benar, kemudian memberikan analisis yang panjang dan nontrivial dari tingkat kesalahan aktual. Makalah tertaut diterbitkan pada 2010, namun saya telah melihat analisis tradisional filter Bloom terus...
Untuk grafik asiklik diarahkan , apakah ada struktur data yang memungkinkan untuk permintaan reachability tanpa memerlukan ruang kuadrat atau waktu linier? Idealnya saya mencari algoritma yang hanya menggunakan O (log n) ruang per titik dan waktu logaritmik di⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle} mana...
Hal ini diketahui bahwa ukuran minimum -circuits komputasi fungsi paritas persis sama dengan 3 ( n - 1 ) . Bukti batas bawah didasarkan pada metode eliminasi gerbang.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Baru-baru ini, saya melihat bahwa metode gerbang penghapusan bekerja dengan baik juga untuk...
Dengan diberikannya kelompok simetri dan dua subkelompok , dan , apakah tahan?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Sejauh yang saya tahu, masalahnya dikenal sebagai masalah persimpangan coset. Saya bertanya-tanya apa kerumitannya? Secara khusus, apakah...
Pertimbangkan masalah ini: Diberikan daftar set yang terbatas, temukan pemesanan yang meminimalkan | s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| +...
Bayangkan, kita mendefinisikan bilangan alami dalam kalkulus lambda yang diketik secara dependen sebagai angka Gereja. Mereka mungkin didefinisikan dengan cara berikut: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → SimpleNat suc sn = λ R z s → s...
Saya mencari kombinator universal terkecil yang mungkin , diukur dengan jumlah abstraksi dan aplikasi yang diperlukan untuk menentukan kombinator tersebut dalam kalkulus lambda . Contoh-contoh kombinator universal meliputi: ukuran 23: λf.f (fS (KKKI)) K ukuran 18: λf.f (fS (KK)) K ukuran 14:...
Latar Belakang . Saya seorang mahasiswa sarjana yang tertarik dalam penelitian yang berkaitan dengan teori kategori, monad dan Haskell, dan saya ingin mencari topik untuk tesis sarjana saya di bidang itu. Saya telah melihat kertas Eugenio Moggi , " Pengertian Komputasi dan Monad ", 1991, dan...
Telah diketahui bahwa banyak masalah NP-lengkap menunjukkan fase transisi. Saya tertarik di sini dalam transisi fase sehubungan dengan pengungkungan dalam bahasa, daripada kekerasan input, relatif terhadap suatu algoritma. Untuk membuat konsep ini ambigu, mari kita secara resmi mendefinisikannya...
Saya seorang ahli matematika yang bekerja terutama dalam teori spektral self-adjoint dan operator kesatuan. Beberapa penelitian saya memiliki relevansi dalam berjalan kuantum, dan saya punya satu makalah khusus yang ingin saya presentasikan dalam konferensi Pemrosesan Informasi Kuantum Januari ini...
Dalam buku Sakarovitch tentang teori automata, ada tertulis di bagian pengantar tentang rasionalitas dalam kelompok bebas bahwa materi yang disajikan di dalamnya meletakkan "landasan teori matematika yang benar-benar bahasa bebas konteks". Namun demikian, ini tidak dibuat eksplisit, karena bahasa...
Banyak teorema dan "paradoks" - diagonalisasi Cantor, ketidakpastian hatling, tidak dihargai kompleksitas Kolmogorov, Gödel Incompleteness, Chaitin Incompleteness, paradox Russell, dll. - semua pada dasarnya memiliki bukti yang sama dengan diagonisasi (perhatikan bahwa ini lebih spesifik daripada...
Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan...
Saya menyadari setidaknya dua pendekatan teoretis yang berbeda untuk memahami basis data relasional: aljabar / kalkulus relasional Codd, dan teori kategori. Apakah ada hubungan antara kedua pendekatan ini? Apakah mereka dalam beberapa hal setara? Apakah ada pekerjaan pendahuluan yang menjelaskan...
Misalkan kita memiliki himpunan berhingga disk di , dan kami ingin menghitung disk terkecil yang . Sebuah cara standar untuk melakukan ini adalah dengan menggunakan algoritma Matoušek, Sharir dan Welzl [1] untuk menemukan dasar dari , dan biarkan , yang terkecil disk yang berisi . Disk dapat...
Sirkuit Boolean yang non-deterministik memiliki, di samping input biasa , satu set input "non-deterministik" y = ( y 1 , ... , y m ) . Sirkuit non-deterministik C menerima input x jika ada y sedemikian sehingga output sirkuit 1 on ( x , y ) . Analog dengan P / p o l yx=(x1,…,xn)x=(x1,…,xn)x =...
Apakah mungkin untuk mengubah CNF menjadi CNF lain Ψ ( C ) sedemikian rupaCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Fungsi dapat dihitung dalam waktu polinomial dari beberapa parameter acak rahasia r .ΨΨ\Psirrr memiliki solusi jika dan hanya jika C memiliki solusi.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal...
Apa saja masalah kompleksitas komputasi utama dan terbuka yang muncul dari bahasa pemrograman, terutama analisis dan kompilasi program? Saya mencari masalah pada baris "kompleksitas waktu inferensi tipe Hindley-Milner" atau "kompleksitas waktu 0CFA" (meskipun keduanya merupakan masalah yang...
Saya minta maaf jika ini di luar topik. Tampaknya nama domain telah kedaluwarsa. Saya harap beberapa anggota komunitas di sini (saya bukan satu) dapat mengetahui siapa yang menjadi administrator / pemilik situs tersebut. Itu sumber yang cukup
Kata disebut primitif , jika tidak ada kata dan sehingga . Himpunan Q dari semua kata primitif di atas alfabet \ Sigma adalah bahasa yang terkenal. WLOG kita dapat memilih \ Sigma = \ {a, b \} .wwwv vvk > 1 k>1k > 1w = v kw=vkw = v^k Q QQΣ Σ\SigmaΣ = { a , b }Σ={a,b}\Sigma = \{ a,b \} Bahasa...