Pertanyaan yang diberi tag «dc.distributed-comp»

Definisi Misalkan dan misalkan d , r , dan g adalah bilangan bulat positif (dengan g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Misalkan menjadi grafik berhingga sederhana, d- teratur, tidak terarah, dengan ketebalan setidaknya g .G=(V,E)G=(V,E)G = (V,E)dddggg Mari menjadi urutan total pada V .≤≤\leVVV Untuk …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Saya seorang mahasiswa master yang berfokus pada sistem terdistribusi tetapi juga tertarik pada ilmu komputer teoretis. Saya bertanya-tanya apakah ada representasi formal dari sistem terdistribusi di atas mesin turing? Artinya, apakah mungkin untuk memperluas (membuat varian) konsep mesin turing untuk mengambil keuntungan dari komputasi terdistribusi? Satu ide, adalah membuat rekaman …

10 turing-machines  dc.distributed-comp 

David Rodríguez - dribea menulis dalam komentar di StackOverflow bahwa "Tidak semua koleksi dapat diimplementasikan tanpa kunci". Saya tidak yakin apakah ini benar, dan saya juga tidak dapat menemukan bukti. Pernyataan ini tidak terlalu tepat, tetapi izinkan saya mencoba untuk mengulanginya dengan cara yang sedikit lebih formal: Untuk setiap jenis …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Transaksi basis data klasik yang disederhanakan dapat dilihat sebagai: membaca item M. melakukan beberapa perhitungan berdasarkan bacaan tersebut menulis beberapa hasil N berdasarkan perhitungan ini, yang dapat mencakup unsur-unsur yang awalnya dibaca. Saat melakukan transaksi ini (secara bersamaan) properti ACID perlu dipertahankan. Persis persyaratan yang sama (pembaruan N berdasarkan M …

10 ds.algorithms  dc.distributed-comp 

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

10 reference-request  dc.distributed-comp 

Misalkan menjadi grafik terhubung yang tidak teratur yang derajatnya dibatasi. Misalkan setiap node berisi token unik.G = ( V, E)G=(V,E)G= (V, E) Saya ingin secara acak mengocok token di antara grafik hanya menggunakan swap lokal (yaitu pertukaran token antara dua node yang berdekatan)? Apakah ada batas bawah yang diketahui untuk …

10 ds.algorithms  random-walks  dc.distributed-comp 

Dalam pengantar makalah ini Akhirnya Objek Linearizable Bersama (PODC'10) , penulis telah menyajikan pernyataan berikut tanpa referensi: Akan tetapi, linierabilitas dapat dicapai jika dan hanya jika konsensus dapat diselesaikan. Di sini, kemampuan linierisasi adalah sifat konsistensi terkuat yang diketahui dari objek bersama, yang diusulkan dalam makalah Kemampuan linierisasi: Kondisi yang …

9 reference-request  dc.distributed-comp 

Sunting: sekarang ada pertanyaan lanjutan yang terkait dengan pos ini. Definisi Biarkan ccc dan kkk menjadi bilangan bulat. Kami menggunakan notasi [ I ] = { 1 , 2 , . . . , saya }[saya]={1,2,...,saya}[i] = \{1,2,...,i\} . Sebuah c × cc×cc \times c matriks M.= ( msaya , …

9 co.combinatorics  lower-bounds  dc.distributed-comp