«dc.distributed-comp» etiketlenmiş sorular

Tanımlar Let ve izin d , r , ve g (pozitif tamsayı olmak g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Let , bir basit d , en azından çevresi olan -Normal, yönlendirilmeyen, sonlu grafik g .G = ( V, E)G=(V,E)G …

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

Ben dağınık sistemlere odaklanmış fakat aynı zamanda teorik bilgisayar bilimi ile ilgilenen bir yüksek lisans öğrencisiyim. Bir turing makinesinin üstünde dağıtılmış bir sistemin resmi bir temsili olup olmadığını merak ediyordum? Yani, dağıtılmış hesaplamadan yararlanmak için bir turing makinesi konseptini genişletmek (varyant yapmak) mümkün müdür? Bir fikir, TM arasında paylaşılan bir …

10 turing-machines  dc.distributed-comp 

David Rodríguez - dribeas , StackOverflow'a yaptığı açıklamada, "Tüm koleksiyonlar kilitsiz uygulanamaz" yazdı . Bunun doğru olup olmadığından emin değilim ve her iki şekilde de kanıt bulamıyorum. Bu ifade çok kesin değil, ama biraz daha resmi bir şekilde yeniden ifade etmeye çalışmama izin verin: Her koleksiyon türü için C, aynı …

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

Basitleştirilmiş bir klasik veritabanı işlemi şu şekilde görülebilir: M öğelerini okuma bu okumalara dayalı bazı hesaplamalar yapmak başlangıçta okunan öğeleri içerebilecek bu hesaplamalara dayanarak bazı N sonuçları yazmak. Bu işlemleri gerçekleştirirken (aynı anda) ACID özelliklerinin korunması gerekir. DBMS olmayan eşzamanlı sistemlerde tam olarak aynı gereksinimler (işlemsel olarak M okumalarına dayalı …

10 ds.algorithms  dc.distributed-comp 

Dağıtılmış sistemlerde hataların ele alınmasına ilişkin hangi belgeleri öneriyorsunuz?

10 reference-request  dc.distributed-comp 

Let için belirgin ve derecesi sınırlanan, düzenli olmayan bir bağlı grafik olabilir. Her düğümün benzersiz bir jeton içerdiğini varsayalım.G = ( V, E)G,=(V,E)G= (V, E) Ben sadece yerel takas kullanarak (yani iki bitişik düğüm arasında belirteç değişimi) grafik arasında belirteçleri düzgün bir şekilde karıştırmak istiyorum? Bu sorun için bilinen bir …

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

Bu makalenin sonunda, Doğrusallaştırılabilir Paylaşılan Nesneler (PODC'10) , yazarlar aşağıdaki ifadeyi kaynak göstermeden sunmuşlardır: Bununla birlikte, doğrusallık, ancak fikir birliği çözülebilirse elde edilebilir. Burada, linearizability kağıt önerilmiştir paylaşılan nesneler, en güçlü olan bilinen kesafet özelliğidir bir doğruluk durumu aynı zamanda geçerli amaçları için: Linearizability . Aşağıdaki argümanlar aşağıdaki argümanlar nedeniyle …

9 reference-request  dc.distributed-comp 

Düzenleme: Şimdi bu gönderiyle ilgili bir takip sorusu var . Tanımlar Let ve tamsayı olmak. gösterimini kullanıyoruz .ccckkk[ İ ] = { 1 , 2 , . . . , i }[i]={1,2,...,i}[i] = \{1,2,...,i\} Bir matrisi bir olduğu söylenir -to- boyama matris şu tutar ise:c × cc×cc \times cM= (mi …

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