Buchumschlag

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bernshteyn, Anton, Weilacher, Felix
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic Distributed, Parallel, and Cluster Computing Combinatorics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Borel Vizing's Theorem for Graphs of Subexponential Growth
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2023)

Fast algorithms for Vizing's theorem on bounded degree graphs
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2023)

On Homomorphism Graphs
von: Brandt, Sebastian, et al.
Veröffentlicht: (2021)

From descriptive to distributed
von: Grebík, Jan, et al.
Veröffentlicht: (2025)

Moser-Tardos Algorithm with small number of random bits
von: Csóka, Endre, et al.
Veröffentlicht: (2022)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

Borel Local Lemma: arbitrary random variables and limited exponential growth
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2024)

An optimal algorithm for geodesic mutual visibility on hexagonal grids
von: Badri, Sahar, et al.
Veröffentlicht: (2024)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
von: Brandt, Sebastian, et al.
Veröffentlicht: (2022)

Embedding Borel graphs into grids of asymptotically optimal dimension
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2024)

Borel line graphs
von: Anderson, James, et al.
Veröffentlicht: (2023)

Local certification of geometric graph classes
von: Defrain, Oscar, et al.
Veröffentlicht: (2023)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
von: Schultz, William, et al.
Veröffentlicht: (2024)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

Proceedings 18th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Self-Correcting Gossip Protocols
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

Application Placement with Constraint Relaxation
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

Distributed Knowledge in Simplicial Models
von: Goubault, Éric, et al.
Veröffentlicht: (2026)

A categorical and logical framework for iterated protocols
von: Goubault, Eric, et al.
Veröffentlicht: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
von: Schreiber, Dominik
Veröffentlicht: (2025)

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Impure Simplicial Complexes: Complete Axiomatization
von: Randrianomentsoa, Rojo, et al.
Veröffentlicht: (2022)

Verifying the Hashgraph Consensus Algorithm
von: Crary, Karl
Veröffentlicht: (2021)

Knowledge and simplicial complexes
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
von: Borrill, Paul
Veröffentlicht: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
von: Altisen, Karine, et al.
Veröffentlicht: (2025)

Proceedings 17th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
von: Esparza, Javier, et al.
Veröffentlicht: (2022)

A Post-Quantum Lower Bound for the Distributed Lovász Local Lemma
von: Brandt, Sebastian, et al.
Veröffentlicht: (2025)

Gathering in Non-Vertex-Transitive Graphs Under Round Robin
von: Cicerone, Serafino, et al.
Veröffentlicht: (2025)

Separating complexity classes of LCL problems on grids
von: Berlow, Katalin, et al.
Veröffentlicht: (2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2025)

Is a LOCAL algorithm computable?
von: Cruciani, Antonio, et al.
Veröffentlicht: (2026)

Invitation to Local Algorithms
von: Rozhoň, Václav
Veröffentlicht: (2024)

Large-scale geometry of Borel graphs of polynomial growth
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2023)

A Note on an Inferentialist Approach to Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

On the Locality of the Lovász Local Lemma
von: Davies-Peck, Peter
Veröffentlicht: (2025)

Multiparty equality in the local broadcast model
von: Esperet, Louis, et al.
Veröffentlicht: (2025)