Theoretische Informatik dc.distributed-comp

1

Regelmäßiger Graph mit hohem Umfang mit einer „lokal einheitlichen“ Gesamtreihenfolge auf Knoten

Definitionen Sei und sei d , r und g positive ganze Zahlen (mit g > 2 r + 1 ).ϵ > 0ϵ>0\epsilon > 0dddrrrGggG> 2 r + 1g>2r+1g > 2r+1 Sei ein einfacher, d- regelmäßiger, ungerichteter, endlicher Graph mit einem Umfang von mindestens g .G = ( V., E.)G=(V,E)G = …

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

5

Verteilte Turingmaschine?

Ich bin ein Masterstudent, der sich auf verteilte Systeme konzentriert, sich aber auch für theoretische Informatik interessiert. Ich habe mich gefragt, ob es eine formale Darstellung eines verteilten Systems auf einer Turingmaschine gibt. Ist es also möglich, das Konzept einer Turingmaschine zu erweitern (eine Variante zu erstellen), um die Vorteile …

10 turing-machines dc.distributed-comp

2

Grenzen für sperrfreie Sammlungen?

David Rodríguez - dribeas schrieb in einem Kommentar zu StackOverflow, dass "nicht alle Sammlungen ohne Sperren implementiert werden können". Ich bin mir nicht sicher, ob dies wahr ist, und ich kann so oder so keinen Beweis finden. Diese Aussage ist nicht sehr präzise, aber lassen Sie mich versuchen, sie etwas …

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

1

Welche Algorithmen / Lesestoffe würden Sie zum Auflösen von Transaktionen / Lese- / Schreibsperren empfehlen?

Eine vereinfachte klassische Datenbanktransaktion kann wie folgt angesehen werden: M Elemente lesen Durchführen einiger Berechnungen basierend auf diesen Lesevorgängen Schreiben einiger N-Ergebnisse basierend auf diesen Berechnungen, die die ursprünglich gelesenen Elemente enthalten können. Bei der Ausführung dieser Transaktionen (gleichzeitig) müssen die ACID- Eigenschaften beibehalten werden. Genau die gleichen Anforderungen (N …

10 ds.algorithms dc.distributed-comp

3

Artikel zur Fehlerbehandlung in verteilten Systemen

Welche Dokumente zum Umgang mit Fehlern in verteilten Systemen empfehlen Sie?

10 reference-request dc.distributed-comp

2

Mischen von Token in einem Diagramm mithilfe lokaler Swaps

Sei ein nicht regulär verbundener Graph, dessen Grad begrenzt ist. Angenommen, jeder Knoten enthält ein eindeutiges Token.G=(V,E)G=(V,E)G= (V, E) Ich möchte die Token innerhalb des Diagramms gleichmäßig mischen, indem ich nur lokale Swaps verwende (dh den Austausch der Token zwischen zwei benachbarten Knoten). Ist für dieses Problem eine Untergrenze bekannt? …

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

1

Entspricht die Linearisierbarkeit dem Konsensproblem?

In der Einleitung dieses Papiers Schließlich linearisierbare gemeinsame Objekte (PODC'10) haben die Autoren die folgende Aussage ohne Referenzen präsentiert: Die Linearisierbarkeit kann jedoch nur dann erreicht werden, wenn ein Konsens gelöst werden kann. Hier ist die Linearisierbarkeit die stärkste bekannte Konsistenz-Eigenschaft von gemeinsam genutzten Objekten, die in der Veröffentlichung Linearisierbarkeit: …

9 reference-request dc.distributed-comp

2

Vorhandensein von "Farbmatrizen"

Bearbeiten: Es gibt jetzt eine Folgefrage zu diesem Beitrag. Definitionen Sei und ganze Zahlen. Wir verwenden die Notation .k [ i ] = { 1 , 2 , . . . , i }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Eine Matrix wird als to- Farbmatrix bezeichnet, wenn Folgendes gilt:M = ( m i …

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

Als «dc.distributed-comp» getaggte Fragen