Informatica teorica dc.distributed-comp

1

Grafico regolare ad alta circonferenza con un ordine totale "localmente uniforme" sui nodi

definizioni Lascia che e che , e siano numeri interi positivi (con ).d r g g > 2 r + 1ϵ > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Sia un grafico finito semplice, regolare, non orientato, con circonferenza di almeno .d gG = ( V, E)G=(V,E)G = …

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

5

Macchina di Turing distribuita?

Sono uno studente master focalizzato sui sistemi distribuiti ma anche interessato all'informatica teorica. Mi chiedevo se esiste una rappresentazione formale di un sistema distribuito sopra una macchina da turismo? Cioè, è possibile estendere (fare una variante) il concetto di una macchina turing per sfruttare il calcolo distribuito? Un'idea è quella …

10 turing-machines dc.distributed-comp

2

Limiti per le raccolte senza blocco?

David Rodríguez - dribeas ha scritto in un commento su StackOverflow che "Non tutte le raccolte possono essere implementate senza blocchi". Non sono sicuro che sia vero e non riesco a trovare la prova in entrambi i casi. Questa affermazione non è molto precisa, ma lasciami provare a riformularla in …

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

1

Quali algoritmi / argomenti di lettura consiglieresti di risolvere transazioni / blocchi di lettura / scrittura?

Una transazione di database classica semplificata può essere visualizzata come: lettura di articoli M. eseguendo alcuni calcoli basati su tali letture scrivendo alcuni N risultati basati su questi calcoli, che possono includere gli elementi originariamente letti. Quando si eseguono queste transazioni (contemporaneamente) , è necessario mantenere le proprietà ACID . …

10 ds.algorithms dc.distributed-comp

3

Documenti sulla gestione dei guasti nei sistemi distribuiti

Quali documenti sulla gestione degli errori nei sistemi distribuiti mi consiglia?

10 reference-request dc.distributed-comp

2

Mescolanza di token su un grafico usando gli swap locali

Sia un grafico connesso non regolare il cui grado è limitato. Supponiamo che ogni nodo contenga un token univoco.G=(V,E)G=(V,E)G= (V, E) Voglio mescolare uniformemente i token tra i grafici usando solo gli swap locali (ovvero lo scambio dei token tra due nodi adiacenti)? Esiste un limite inferiore noto per questo …

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

1

La linearizzabilità è equivalente al problema del consenso?

Nell'introduzione di questo documento Eventally Linearizable Shared Objects (PODC'10) , gli autori hanno presentato la seguente dichiarazione senza riferimenti: La linearità, tuttavia, può essere raggiunta se e solo se il consenso può essere risolto. Qui, la linearizzabilità è la proprietà di coerenza nota più forte degli oggetti condivisi, che viene …

9 reference-request dc.distributed-comp

2

Esistenza di "matrici da colorare"

Modifica: ora c'è una domanda di follow-up relativa a questo post. definizioni Sia ccc e kkk numeri interi. Usiamo la notazione [i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} . Un c×cc×cc \times c matrice M=(mi,j)M=(mi,j)M = (m_{i,j}) è detto essere un ccc -a-- kkk colorazione matrice se vale quanto segue: abbiamo mi,j∈[k]mi,j∈[k]m_{i,j} \in [k] …

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

Domande taggate «dc.distributed-comp»