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

Documenti analoghi

• Distributed Model Checking on Graphs of Bounded Treedepth
  di: Fomin, Fedor V., et al.
  Pubblicazione: (2024)
• Deterministic Even-Cycle Detection in Broadcast CONGEST
  di: Fraigniaud, Pierre, et al.
  Pubblicazione: (2024)
• Courcelle's Theorem for Lipschitz Continuity
  di: Gima, Tatsuya, et al.
  Pubblicazione: (2025)
• What Can Be Computed Locally Revisited: First-Order Logic on Sparse Graphs in Distributed Computing
  di: Blin, Lélia, et al.
  Pubblicazione: (2024)
• Girth Approximations in the CONGEST Model
  di: Chechik, Shiri, et al.
  Pubblicazione: (2026)