Abstract
We give deterministic distributed (1 +)-approximation algorithms for Minimum Vertex Coloring and Maximum Independent Set on chordal graphs in the LOCAL model. Our coloring algorithm runs in O(ϵ 1 log n) rounds, and our independent set algorithm has a runtime of O(ϵ 1 log(ϵ 1 ) log∗ n) rounds. For coloring, existing lower bounds imply that the dependencies onϵ 1 and log n are best possible. For independent set, we prove that Ω(ϵ 1 ) rounds are necessary. Both our algorithms make use of the tree decomposition of the input chordal graph. They iteratively peel off interval subgraphs, which are identified via the tree decomposition of the input graph, thereby partitioning the vertex set into O(log n) layers. For coloring, each interval graph is colored independently, which results in various coloring conflicts between the layers. These conflicts are then resolved in a separate phase, using the particular structure of our partitioning. For independent set, only the first O(logϵ 1 ) layers are required as they already contain a large enough independent set. We develop a (1 +)-approximation maximum independent set algorithm for interval graphs, which we then apply to those layers. This work raises the question as to how useful tree decompositions are for distributed computing.
Original language | English |
---|---|
Title of host publication | PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing |
Publisher | Association for Computing Machinery (ACM) |
Pages | 159-161 |
Number of pages | 3 |
ISBN (Print) | 9781450357951 |
DOIs | |
Publication status | Published - 23 Jul 2018 |
Event | 37th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2018 - Egham, United Kingdom Duration: 23 Jul 2018 → 27 Jul 2018 |
Conference
Conference | 37th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2018 |
---|---|
Country/Territory | United Kingdom |
City | Egham |
Period | 23/07/18 → 27/07/18 |
Keywords
- Approximation algorithms
- Chordal graphs
- Local model
- Maximum independent set
- Minimum vertex coloring