Pytania otagowane jako dc.distributed-comp

Pytania teoretyczne w obliczeniach rozproszonych

1
Zwykły wykres wysokiego obwodu z „lokalnie jednolitym” całkowitym porządkiem w węzłach
Definicje Niech i niech d , r i g będą dodatnimi liczbami całkowitymi (z g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Niech są proste, d -regular, nieukierunkowane skończonej wykres z obwodu co najmniej g .G=(V,E)G=(V,E)G = (V,E)dddggg Niech być całkowity porządek na V .≤≤\leVVV Dla każdego …
5
Rozproszona maszyna Turinga?
Jestem studentem specjalizującym się w systemach rozproszonych, ale interesuję się również informatyką teoretyczną. Zastanawiałem się, czy istnieje formalna reprezentacja systemu rozproszonego na maszynie Turinga? To znaczy, czy można rozszerzyć (stworzyć wariant) koncepcję maszyny Turinga, aby skorzystać z przetwarzania rozproszonego? Jednym z pomysłów jest utworzenie wspólnej taśmy (coś podobnego do Tuple …
1
Jakie algorytmy / dane do czytania poleciłbyś przy rozwiązywaniu transakcji / blokad odczytu i zapisu?
Uproszczoną klasyczną transakcję bazy danych można wyświetlić jako: czytanie M. pozycji wykonanie pewnych obliczeń na podstawie tych odczytów zapisywanie niektórych wyników N na podstawie tych obliczeń, które mogą obejmować pierwotnie odczytane elementy. Podczas wykonywania tych transakcji (jednocześnie) należy zachować właściwości ACID . Dokładnie takie same wymagania (N aktualizacji na podstawie …
2
Tasowanie tokenów na wykresie za pomocą lokalnych zamian
Niech będzie nieregularnym połączonym wykresem, którego stopień jest ograniczony. Załóżmy, że każdy węzeł zawiera unikalny token.G = ( V, E)G=(V,E)G= (V, E) Chcę równomiernie tasować tokeny między wykresami, używając tylko lokalnych zamian (tj. Wymiany tokenów między dwoma sąsiadującymi węzłami)? Czy znana jest dolna granica tego problemu? Jedyny pomysł, jaki miałem, …
1
Czy linearyzowalność jest równoważna z problemem konsensusu?
We wstępie tego artykułu Ostatecznie linearyzowalne obiekty wspólne (PODC'10) autorzy przedstawili następujące oświadczenie bez odniesień: Linearyzowalność można jednak osiągnąć tylko wtedy, gdy możliwe jest rozwiązanie konsensusu. Tutaj linearyzowalność jest najsilniejszą znaną właściwością spójności wspólnych obiektów, co zaproponowano w artykule Linearyzowalność: warunek poprawności dla współbieżnych obiektów . Mylę się co do …
2
Istnienie „matryc do barwienia”
Edycja: teraz jest pytanie uzupełniające związane z tym postem. Definicje Niech i będą liczbami całkowitymi. Używamy notacji .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} macierzy mówi się -to- barwiących matrycy , jeśli zachodzi:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk mamy dla wszystkich ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] dla wszystkich z i mamy .i,j,ℓ∈[c]i,j,ℓ∈[c]i,j,\ell \in [c]i≠ji≠ji …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.