Low-Congestion Shortcuts for Graphs Excluding Dense Minors

Autor: Bernhard Haeupler, Mohsen Ghaffari
Rok vydání: 2021
Předmět:
FOS: Computer and information sciences
Optimization problem
Logarithm
Computer science
Minor (linear algebra)
0102 computer and information sciences
02 engineering and technology
Minimum spanning tree
01 natural sciences
symbols.namesake
Minimum cut
Computer Science - Data Structures and Algorithms
FOS: Mathematics
0202 electrical engineering
electronic engineering
information engineering

Mathematics - Combinatorics
Data Structures and Algorithms (cs.DS)
Discrete mathematics
020206 networking & telecommunications
Graph structure theorem
Planar graph
Computer Science - Distributed
Parallel
and Cluster Computing

010201 computation theory & mathematics
Distributed algorithm
symbols
Distributed
Parallel
and Cluster Computing (cs.DC)

Combinatorics (math.CO)
Distributed graph algorithms
Low-congestion shortcuts
Minor excluded graphs
Planar graphs
Congestion
Dilation
MathematicsofComputing_DISCRETEMATHEMATICS
Zdroj: PODC
PODC: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (PODC '21)
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing
DOI: 10.1145/3465084.3467935
Popis: We prove that any n-node graph G with diameter D admits shortcuts with congestion O(δ D log n) and dilation O(δ D), where δ is the maximum edge-density of any minor of G. Our proof is simple and constructive with a tildeΘ (δ D)-round1 distributed construction algorithm. Our results are tight up to logarithmic factors and generalize, simplify, unify, and strengthen several prior results. For example, for graphs excluding a fixed minor, i.e., graphs with constant δ, only a O (D2) bound was known based on a very technical proof that relies on the Robertson-Seymour Graph Structure Theorem. A direct consequence of our result is this: many graph families, including any minor-excluded ones, have near-optimal tildeΘ(D)-round distributed algorithms for many fundamental communication primitives and optimization problems in the standard synchronous message-passing model with logarithmic message sizes, i.e., the CONGEST model. These problems include minimum spanning tree, minimum cut approximation, and shortest-path approximations.
Databáze: OpenAIRE