REVIEW
Subcoloring of (Unit) Disk Graphs
Data Structures and Algorithms · Submitted 24 Jun 2025 · 21 references
Pith's verdict: First real polylog bounds for subcoloring on disk graphs, plus a resolved open problem for co-comparability graphs; worth serious refereeing, but two proof gaps need closing first.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Every $n$-vertex disk graph can be subcolored with $O(\log^3 n)$ colors.
The reading
What carries the argument
The load-bearing object is the $\Delta$-disk graph: a disk graph with a representation in the first quadrant in which every disk intersects both coordinate axes but does not contain the origin. The decomposition theorem says that any disk graph has a balanced separator inducing a linear disk graph, and any linear disk graph has a balanced separator that splits into four $\Delta$-disk graphs plus one clique; recursing on this decomposition yields the $O(\log^3 n)$ upper bound and the $O(\log^2 n)$-approximation. For unit disk graphs the key tools are a hexagonal tiling of the plane that gives the 7-color bound, a 3-partition of the plane whose pieces have bounded independence number, and two gadget families—ladders and cliques matched across layers—that force color propagation in the NP-hardness reductions.
Extended reading notes
Core claim
The paper's central claim is that subcoloring has a clean complexity profile on disk graphs: on unit disks it is approximable within a constant factor but not exactly solvable in general unless P=NP, while on general disks it is polylogarithmically bounded and approximable. Concretely, the paper proves that every unit disk graph $G$ satisfies $\chi_s(G)\le 7$ and admits a polynomial-time 3-approximation of $\chi_s(G)$. It proves that 2-Subcoloring is NP-complete on triangle-free unit disk graphs and on unit disk graphs that have a representation inside a strip of bounded height, and that $k$-Subcoloring is NP-complete on co-comparability graphs for every $k\ge 3$. The general disk graph results state that every $n$-vertex disk graph $G$ satisfies $\chi_s(G)=O(\log^3 n)$, and that there is an $O(\log^2 n)$-approximation algorithm for computing $\chi_s(G)$.
Load-bearing premise
The bounded-height NP-hardness reduction assumes that the ladder connections between clause gadgets and the path $P_3$ can be drawn as unit disks inside a strip of constant height; the proof asserts this with 'long enough ladders' but gives no coordinates, no length bound, and no explicit height.
Editorial extensions
If this is right
- Every unit disk graph can be subcolored with at most 7 colors, so a constant-factor approximation is immediate; the paper improves the ratio to 3.
- Unless P=NP, no polynomial-time algorithm computes the subchromatic number exactly on unit disk graphs, and no approximation ratio below $3/2-\varepsilon$ is possible for any $\varepsilon>0$.
- The natural strip-decomposition route to a 2-approximation is blocked: 2-Subcoloring remains NP-complete on unit disk graphs of bounded height, although the height-1 case is left open.
- Every $n$-vertex disk graph has a subcoloring with $O(\log^3 n)$ colors, and such a subcoloring can be constructed in $O(n\log^3 n)$ time given the disk representation.
- There is a polynomial-time $O(\log^2 n)$-approximation algorithm for the subchromatic number of arbitrary disk graphs.
Reading between the lines
- A gap remains between the known $\Omega(\log n)$ lower bound and the $O(\log^3 n)$ upper bound; closing it probably needs new lower-bound constructions rather than a finer separator analysis.
- The $\Delta$-disk graph class may be useful beyond subcoloring, since it is co-comparability, strictly contains interval graphs, and still carries enough geometry for constant-factor approximations.
- If the wireless motivation is taken seriously, the 7-color unit disk bound suggests a saturation-robust channel allocation with seven channels; this could be tested in network simulation before any further theory.
Original abstract
A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. In this paper, we initiate the study of the subcoloring of (unit) disk graphs. One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. In this paper, we initiate the study of the subcoloring of (unit) disk graphs. One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. | background 1.00 | 0.05 | 0.02 | asserted 0.99 |
| s1 | It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. | background 1.00 | 0.05 | 0.01 | asserted 1.00 |
| s2 | Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. | background 1.00 | 0.19 | 0.03 | asserted 0.98 |
| s3 | In this paper, we initiate the study of the subcoloring of (unit) disk graphs. | contribution 0.97 | 0.84 | 0.04 | asserted 0.95 |
| s4 | One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. | background 0.86 | 0.17 | 0.02 | asserted 0.73 |
| s5 | Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. | result 0.85 | 0.45 | 0.06 | asserted 0.90 |
| s6 | We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. | result 0.78 | 0.97 | 0.14 | asserted 1.00 |
| s7 | We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. | contribution 0.45 | 0.92 | 0.04 | asserted 0.86 |
| s8 | We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. | result 0.96 | 0.96 | 0.06 | asserted 1.00 |
| s9 | We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. | result 0.74 | 0.93 | 0.06 | asserted 1.00 |
| s10 | Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. | result 0.94 | 0.96 | 0.54 | asserted 1.00 |
| s11 | This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest. | method 0.88 | 0.93 | 0.06 | asserted 0.47 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.