Distributed Treewidth Computation and Courcelle's Theorem in the CONGEST Model

Keyphrases

• CONGEST Model 100%
• Treewidth 100%
• Courcelle's Theorem 100%
• Monadic Second-order Logic 80%
• CONGEST 40%
• Bounded Treewidth 40%
• Logic Formulas 40%
• Structural Properties 20%
• Communication Networks 20%
• Optimization Problem 20%
• Linear Approximation 20%
• Distributed Algorithms 20%
• Linear Time 20%
• Graph Properties 20%
• Maximum Size 20%
• Graph Algorithms 20%
• Separator 20%
• As(III) 20%
• Distributed Computing 20%
• Technical Tools 20%
• 3-colorable 20%
• Algorithmic Meta-theorems 20%
• Graph Classification 20%
• Size-independent 20%
• Sequence Graphs 20%
• Triangle Counting 20%
• Minimum Dominating Set 20%
• Low-congestion Shortcuts 20%
• Tree Decomposition 20%

INIS

• algorithms 100%
• graphs 100%
• calculation methods 100%
• size 40%
• tools 20%
• approximations 20%
• optimization 20%
• depth 20%
• width 20%
• decomposition 20%
• sodium carbonates 20%

Computer Science

• Second-Order Logic 100%
• Optimization Problem 25%
• Communication Network 25%
• Approximation (Algorithm) 25%
• Structural Property 25%
• Constant Factor 25%
• Graph Algorithms 25%
• Distributed Computing 25%
• Independent Set 25%
• Distributed Algorithm 25%