Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

4
Mengenai Metode Pfaffian dalam Menghitung dan Kombinasi
Baru-baru ini, saya akan membahas pengantar Holographic Algorithms. Saya menemukan beberapa objek kombinatorial yang disebut Pfaffians. Saya tidak benar-benar tahu banyak tentang itu saat ini dan menemukan beberapa kegunaan mengejutkan yang bisa mereka lakukan. Sebagai contoh, saya jadi tahu bahwa mereka dapat digunakan untuk menghitung secara efisien jumlah pencocokan sempurna …
1
Teorema Ramsey untuk koleksi set
Ketika mengeksplorasi berbagai teknik pembuktian batas bawah untuk algoritma terdistribusi, terpikir oleh saya bahwa varian berikut dari teorema Ramsey mungkin memiliki aplikasi - jika itu benar. Parameter: kkk , KKK , nnn diberikan, dan kemudian NNN dipilih cukup besar. Terminologi: mmm -subset adalah subset dari ukuran mmm . Misalkan A={1,2,...,N}A={1,2,...,N}A …
3
Kelas grafik dengan siklus Hamilton mudah tetapi NP-hard TSP
The Hamiltonian Cycle Masalah (HC) terdiri dalam menemukan suatu siklus yang melewati semua simpul dalam grafik diarahkan diberikan. Masalah Travelling Salesman (TSP) terdiri dalam menemukan suatu siklus yang melewati semua simpul dalam grafik tepi-tertimbang yang diberikan dan meminimalkan total jarak yang diukur oleh jumlah dari bobot dari tepi dalam siklus. …
1
Karakterisasi Kompleksitas Sirkuit untuk DLogTime dan NLogTime
DLogTimeDLogTime\mathsf{DLogTime} danNLogTimeNLogTime\mathsf{NLogTime} adalah dua dari kelas kompleksitas terkecil yang kita miliki. (Perhatikan bahwa logaritma waktu hirarkiLHLH\mathsf{LH} adalah sama denganAC0AC0\mathsf{AC}^0 dan ini adalah dua tingkat pertama dariLHLH\mathsf{LH} ). Setelah membaca ini pertanyaan , saya menjadi tertarik untuk melihat apakah pemisahan antara dua kelas ini dikenal, dan sebenarnya itu adalah mudah untuk …
3
Program Integer Linear mana yang mudah?
Ketika mencoba memecahkan masalah, saya akhirnya menyatakan bagian dari itu sebagai program linear integer berikut. Di sini adalah bilangan bulat positif yang diberikan sebagai bagian dari input. Subset tertentu dari variabel x i j diatur ke nol, dan sisanya dapat mengambil nilai integral positif:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Memperkecil ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Tunduk pada: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i …
1
Perkalian matriks dalam
Saya searching tentang Matrix perkalian, Jadi saya kunjungan pertama wiki perkalian matriks algoritma, Dalam referensi saya menemukan kertas yang mengklaim bahwa penggunaan algoritmaO ( n2l o g( n ) )HAI(n2lHaig(n))O(n^2 log(n)) , aku akan membaca artikel tetapi rumit dan akan terlalu banyak waktu untuk membacanya, tetapi jika ada orang yang …
3
Algoritma model kueri statistik?
Saya mengajukan pertanyaan ini dalam lintas yang divalidasi T&J tetapi tampaknya itu terkait dengan CS lebih dari Statistik. Bisakah Anda memberi saya contoh algoritma pembelajaran mesin yang belajar dari sifat statistik dataset bukan pengamatan individu itu sendiri yaitu menggunakan model permintaan statistik ?
2
Mengevaluasi multilinearisasi sirkuit aritmatika?
Biarkan p ( x 1 , ... , x n )p(x1,…,xn)p(x_1,\ldots,x_n) menjadi polinomial multi-variate dengan koefisien atas lapangan FFF . The multilinearization dari ppp , dilambangkan dengan p , merupakan hasil berulang kali mengganti setiap x d i dengan d > 1 oleh x i . Hasilnya jelas polinomial multilinear.p^\hat{p}xdix_i^dd>1d …
5
Kegagalan prosesor dalam komputasi terdistribusi yang tidak crash atau Bizantium
Ada dua jenis utama kegagalan prosesor dalam model komputasi terdistribusi: (1) Kegagalan kerusakan: prosesor berhenti, dan tidak pernah memulai lagi. (2) Kegagalan Bizantium: prosesor berperilaku berlawanan, jahat. Pertanyaanku adalah: Apa saja jenis kegagalan prosesor yang telah dipelajari, yang tidak berkurang menjadi rusak atau kegagalan Bizantium? Juga, pertanyaan yang lebih spesifik: …
2
Ketika suatu proses memunculkan proses lain
Latar belakang saya adalah teori / logika kompleksitas (di mana hanya ada satu proses sebagian besar waktu), dan dalam komputasi terdistribusi (di mana ada proses, dan satu atau lebih mungkin gagal dari waktu ke waktu). Namun, saya sekarang ingin dapat mengatakan sesuatu tentang proses pemijahan / membuat / memintal proses …
2
kompleksitas gosip acak
Masalah gosip dalam sistem terdistribusi adalah sebagai berikut. Kami memiliki grafik dengan n simpul. Setiap simpul v memiliki pesan m v yang harus kirim ke semua node.GGGnnnvvvmvmvm_v Sekarang, pertanyaan saya adalah dalam konteks model jaringan ad-hoc (kami berasumsi bahwa sebuah node tidak memiliki pengetahuan sebelumnya tentang topologi jaringan, derajat masuk …
2
Daftar perbedaan dalam pemrograman fungsional
Pertanyaan Apa yang baru dalam struktur data murni fungsional sejak Okasaki? , dan jawaban epik jbapple, disebutkan menggunakan daftar perbedaan dalam pemrograman fungsional (sebagai lawan dari pemrograman logika), yang merupakan sesuatu yang baru-baru ini saya minati. Hal ini membuat saya menemukan implementasi daftar perbedaan untuk Haskell. Saya memiliki dua pertanyaan …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.