Informatique théorique dc.distributed-comp

1

Graphique régulier à circonférence élevée avec un ordre total «localement uniforme» sur les nœuds

Définitions Soit et soit , et des entiers positifs (avec ).ϵ>0ϵ>0\epsilon > 0r g g > 2 r + 1dddrrrgggg>2r+1g>2r+1g > 2r+1 Soit un graphe simple, régulier, non orienté, fini avec une circonférence au moins .d gG=(V,E)G=(V,E)G = (V,E)dddggg Let être un ordre total sur .V≤≤\leVVV Pour chaque , soit …

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

5

Machine de Turing distribuée?

Je suis un étudiant en master axé sur les systèmes distribués mais également intéressé par l'informatique théorique. Je me demandais s'il y avait une représentation formelle d'un système distribué au-dessus d'une machine de turing? Autrement dit, est-il possible d'étendre (faire une variante) le concept d'une machine de turing pour tirer …

10 turing-machines dc.distributed-comp

2

Limites sur les collections sans verrouillage?

David Rodríguez - dribeas a écrit dans un commentaire sur StackOverflow que "toutes les collections ne peuvent pas être implémentées sans verrous". Je ne suis pas sûr que ce soit vrai, et je ne trouve aucune preuve de toute façon. Cette déclaration n'est pas très précise, mais permettez-moi d'essayer de …

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

1

Quels algorithmes / éléments de lecture recommanderiez-vous pour résoudre les transactions / verrous en lecture-écriture?

Une transaction de base de données classique simplifiée peut être considérée comme: lecture de M éléments effectuer un calcul basé sur ces lectures écrire quelques résultats N basés sur ces calculs, qui peuvent inclure les éléments lus à l'origine. Lors de l'exécution de ces transactions (simultanément), les propriétés ACID doivent …

10 ds.algorithms dc.distributed-comp

3

Articles sur la gestion des pannes dans les systèmes distribués

Quels articles sur la gestion des erreurs dans les systèmes distribués recommandez-vous?

10 reference-request dc.distributed-comp

2

Mélange de jetons sur un graphique à l'aide de swaps locaux

Soit un graphe connecté non régulier dont le degré est borné. Supposons que chaque nœud contienne un jeton unique.G=(V,E)G=(V,E)G= (V, E) Je veux mélanger uniformément les jetons parmi le graphique en utilisant uniquement des swaps locaux (c'est-à-dire l'échange des jetons entre deux nœuds adjacents)? Existe-t-il une borne inférieure connue pour …

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

1

La linéarisation est-elle équivalente à un problème de consensus?

Dans l'introduction de cet article Objets partagés éventuellement linéarisables (PODC'10) , les auteurs ont présenté l'énoncé suivant sans références: La linéarisation, cependant, ne peut être atteinte que si et seulement si un consensus peut être trouvé. Ici, la linéarisation est la propriété de cohérence connue la plus forte des objets …

9 reference-request dc.distributed-comp

2

Existence de «matrices colorantes»

Modifier: il y a maintenant une question de suivi liée à ce message. Définitions Soit et entiers. Nous utilisons la notation .k [ i ] = { 1 , 2 , . . . , i }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Une matrice est dite matrice de coloration to- si les conditions …

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

Questions marquées «dc.distributed-comp»