Pertanyaan yang diberi tag «reference-request»

Makalah apa tentang penanganan kesalahan dalam sistem terdistribusi yang Anda rekomendasikan?

10 reference-request  dc.distributed-comp 

Secara khusus, saya meminta sumber daya untuk mempelajari tentang sistem pembelajaran mesin yang dapat memperbarui jaringan kepercayaan masing-masing (atau yang setara) selama operasi. Saya bahkan telah menemukan beberapa, meskipun saya gagal untuk membookmark mereka. Seperti yang Anda bayangkan, ini adalah topik yang agak sulit untuk dicari di internet.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa batas, dan TM dengan string yang dikodekan keras akan …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Apa hasil canggih tentang kompleksitas kueri dari rumus 2-DNF pembelajaran PAC yang tepat dengan kueri sampel dan di bawah distribusi yang seragam ? Atau ada yang tidak sepele yang terikat padanya? Karena saya sama sekali tidak terbiasa dengan teori belajar dan pertanyaan ini dimotivasi oleh bidang yang berbeda, jawabannya mungkin …

10 reference-request  lg.learning  boolean-functions 

Ketika memperkenalkan grafik dekomposisi modular , kebanyakan penulis menggunakan grafik 11-simpul, yang saya salin dari wikipedia. Pertanyaannya adalah siapa desainer asli dari itu. (Saya tidak bertanya siapa yang menggambar grafik ini untuk wikipedia, tetapi sumber aslinya). Halaman wikipedia dibuat pada Desember 2006. Sumber paling awal yang dapat saya temukan adalah …

9 reference-request  graph-theory 

Dalam [1], Garey et al. mengidentifikasi apa yang kemudian dikenal sebagai Jumlah Masalah Roots Square dalam rangka menyelesaikan NP-Euclidean TSP. Mengingat bilangan bulat a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n dan LLL , menentukan apakah a1−−√+a2−−√+⋯+an−−√&lt;La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Mereka mengamati bahwa bahkan tidak jelas bahwa masalah ini …

9 reference-request  cg.comp-geom  na.numerical-analysis 

Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan janji bahwa jika fraksi 7/8 + ε dari klausa …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Dalam Martin-LOF Sebuah Intuitionistic Teori Jenis: predikatif Bagian terbukti bahwa jenis memeriksa adalah decidable tunduk typeable makhluk di tempat pertama, dengan membuktikan Teorema normalisasi untuk istilah typeable tertutup. Di sisi lain, saya pernah melihatnya ditulis di banyak tempat (Wikipedia, Nördstrom, dll.) Bahwa pemeriksaan tipe dalam (intensional) MLTT dapat dipilih; Apakah …

9 reference-request  type-theory  type-inference 

Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian ?

9 reference-request  machine-models 

Untuk bahasa tetap pada beberapa alfabet , mari kita pertimbangkan masalah berikut, yang saya sebut -INTERLEAVING :A LL.LLSEBUAHAAL.LL Input: dua katau , v ∈ A∗u,v∈A∗u, v \in A^* Output: apakah ada suatu interleaving dari dan yang di .v LkamuuuvvvL.LL Di sini, interleaving dua kata dan adalah kata yang dapat diperoleh …

9 cc.complexity-theory  reference-request  regular-language 

Biarkan menjadi bahasa, dan mendefinisikan f L : A * × A * → { 0 , 1 } oleh f L ( x , y ) = 1 jika dan hanya jika x ⋅ y ∈ L . Saya mencari referensi untuk:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, …

9 reference-request  communication-complexity  regular-language 

Makalah SODA 2 halaman Kalai memberikan algoritma yang sederhana dan efisien untuk pencocokan pola dengan tidak peduli (wildcard yang cocok dengan satu karakter). Intinya, semudah berbelit-belit. Tetapi apa yang terjadi jika kita mencari beberapa pola dengan tidak peduli? Bisakah kita masih menyelesaikannya misalnya dengan teknik berbasis FFT?

9 ds.algorithms  reference-request  string-matching 

Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Misalkan GGG dan HHH menjadi dua grafik ukuran- rrr terhubung secara teratur nnn . Biarkan AAA adalah himpunan permutasi PPP sehingga PGP−1=HPGP−1=HPGP^{-1}=H . Jika G=HG=HG=H maka AAA adalah himpunan automorphisms dari GGG . Apa batas atas yang paling dikenal pada ukuran AAA ? Apakah ada hasil untuk kelas grafik tertentu …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Misalkan adalah grafik yang merupakan gabungan yang terpisah dari sebuah klik dan satu set independen, yaitu G = K_ {n_1} + \ overline {K_ {n_2}} = K_ {n_1} + I_ {n_2}.GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Kelas grafik dari semua grafik tersebut dicirikan oleh subgraph diinduksi …

9 reference-request  graph-theory  graph-classes