---
title: Odd Coloring in Graph Theory
url: https://www.emergentmind.com/topics/odd-coloring
type: topic
---

# Odd Coloring in Graph Theory

Searching arXiv for recent and foundational papers on odd coloring to ground the article.
Odd coloring is a refinement of proper vertex coloring in which local parity in open neighborhoods is constrained. A proper coloring \(\varphi\) of a graph \(G\) is odd if, for every non-isolated vertex \(v\), there exists a color \(c\) such that \(\bigl|\varphi^{-1}(c)\cap N(v)\bigr|\) is odd; the minimum number of colors in such a coloring is the odd chromatic number \(\chi_o(G)\). The notion was introduced by Petruševski and Škrekovski and has since developed into a distinct branch of graph coloring theory, with structural, extremal, topological, and algorithmic aspects that diverge sharply from those of ordinary chromatic number [2112.13710].

## 1. Definition and formal framework

Throughout this literature, graphs are simple, finite, and undirected. For a vertex \(v\), the open neighborhood is
\[
N(v)=\{u\in V(G):uv\in E(G)\}.
\]
A proper \(k\)-coloring is a map \(\varphi:V(G)\to\{1,\dots,k\}\) such that adjacent vertices receive distinct colors. An odd \(k\)-coloring is a proper \(k\)-coloring with the additional requirement that every non-isolated vertex \(v\) has some color appearing an odd number of times in \(N(v)\); equivalently,
\[
\forall v\in V(G)\text{ with }N(v)\neq\emptyset,\ \exists c\in\{1,\dots,k\}\text{ such that }\bigl|\varphi^{-1}(c)\cap N(v)\bigr|\equiv 1 \pmod 2.
\]
The odd chromatic number is
\[
\chi_o(G)=\min\{k:\text{$G$ has an odd $k$-coloring}\}.
\]
A useful formalization is
\[
L_{\varphi}(v)=\left\{ c : \bigl|\varphi^{-1}(c)\cap N(v)\bigr|\equiv 1\pmod 2\right\},
\]
so that \(\varphi\) is odd exactly when \(L_{\varphi}(v)\neq\emptyset\) for every non-isolated vertex [2403.11555].

The relation to ordinary coloring is immediate: every odd coloring is proper, hence \(\chi_o(G)\ge \chi(G)\). The difference is not merely quantitative. Odd coloring is governed by multiplicities of colors in neighborhoods rather than only adjacency constraints, and this makes parity at even-degree vertices especially significant. If a vertex has odd degree, then in any proper coloring some neighbor color must appear an odd number of times, since the total size of the neighborhood is odd; much of the combinatorial difficulty is therefore concentrated at even-degree vertices [2202.11267].

## 2. Fundamental behavior and separation from ordinary coloring

Several basic examples show that odd coloring behaves differently from classical chromatic theory. The gap \(\chi_o(G)-\chi(G)\) can be arbitrarily large: if \(G\) is obtained from \(K_n\) by subdividing each edge once, then \(G\) is bipartite and hence \(\chi(G)=2\), but \(\chi_o(G)\ge n\) [2112.13710]. In the notation \(\mathrm{sub}_1(K_n)\), one has
\[
\chi_{\text{odd}(\mathrm{sub}_1(K_n))}=n,
\]
and the same example also witnesses a large gap between odd coloring and proper conflict-free coloring only in one direction, since every proper conflict-free coloring is odd but not conversely [2208.08330].

Odd chromatic number is also not monotone under taking subgraphs. A standard example is
\[
\chi_o(C_4)=4>3=\chi_o(K_4-e),
\]
even though \(C_4\) is a subgraph of \(K_4-e\) [2112.13710]. This suggests that odd coloring is controlled less by containment than by delicate local parity interactions.

Explicit values are known for several classical families. For cycles,
\[
\chi_o(C_n)=
\begin{cases}
3 & \text{if } 3\mid n,\\
4 & \text{if } 3\nmid n \text{ and } n\neq 5,\\
5 & \text{if } n=5.
\end{cases}
\]
In particular, \(\chi_o(C_5)=5\), which underlies the conjecture that 5 is the optimal universal bound for planar graphs [2201.03608]. For trees \(T\),
\[
\chi_o(T)=
\begin{cases}
2 & \text{if } T \text{ is odd (all vertex degrees odd)},\\
3 & \text{otherwise},
\end{cases}
\]
and for hypercubes,
\[
\chi_o(Q_n)=
\begin{cases}
2 & \text{if } n \text{ is odd},\\
4 & \text{if } n \text{ is even}.
\end{cases}
\]
These formulas show that parity of vertex degrees can determine odd colorability in ways with no analogue for \(\chi(G)\) [2201.03608].

## 3. Structural bounds for sparse, planar, and thickness-constrained graphs

A major line of work relates odd coloring to sparsity. Cranston studied graphs of bounded maximum average degree \(\mad(G)\), where
\[
\mad(G)=\max_{H\subseteq G,\ H\neq\emptyset}\frac{2|E(H)|}{|V(H)|}.
\]
For \(c\ge 5\), Cho, Choi, Kwon, and Park resolved Cranston’s conjecture in a stronger form: if
\[
\mad(G)\le \frac{4c}{c+2},
\]
then \(G\) is odd \(c\)-colorable unless it contains the subdivided complete graph \(K^*_{c+1}\) as a subgraph [2202.11267]. For \(c=4\), the conjecture fails because \(C_5\) and more generally graphs whose every block is a 5-cycle are not odd 4-colorable; nevertheless, if
\[
\mad(G)<\frac{22}{9}
\]
and \(G\) has no induced 5-cycle, then \(\chi_o(G)\le 4\) [2202.11267]. Wang and Yang sharpened this by proving that if \(\mad(G)\le \frac{22}{9}\), then \(\chi_o(G)\ge 5\) if and only if \(G\) belongs to the class of graphs whose component blocks are all 5-cycles [2212.06563].

For planar graphs, the first universal bound was \(\chi_o(G)\le 9\) [2112.13710], later improved to \(\chi_o(G)\le 8\) [2201.03608]. The central conjecture remains that every planar graph is odd 5-colorable [2112.13710]. Girth assumptions yield stronger results. Because planar graphs of girth at least \(g\) satisfy
\[
\mad(G)<\frac{2g}{g-2},
\]
Cho et al. obtained, among other consequences, that planar graphs with girth at least 7 are odd 5-colorable, planar graphs with girth at least 6 are odd 6-colorable, and planar graphs with girth at least 11 are odd 4-colorable [2202.11267]. Using the forb-flex method, later work improved the last threshold to girth at least 10:
\[
\chi_{\mathsf{o}}(G)\le 4 \quad \text{for planar graphs of girth at least 10}
\]
[2401.14590]. Wang and Yang also proved that a planar graph without \(4^{-}\)-cycles adjacent to \(7^{-}\)-cycles is odd 6-colorable [2212.06563].

Thickness provides a different structural axis. If \(\theta(G)\) denotes the thickness of \(G\), then Kitano proved that if every minor of \(G\) has thickness at most \(t\), then
\[
\chi_o(G)\le 12t-1.
\]
More sharply, if
\[
\delta(G)\ge 2\theta(G)-1
\qquad\text{and}\qquad
\operatorname{girth}(G)\ge 6,
\]
then
\[
\chi_o(G)\le 6\theta(G).
\]
This yields, for example, odd 6-colorability for planar graphs with girth at least 6 and minimum degree at least 1, and odd 12-colorability for biplanar graphs with girth at least 6 and minimum degree at least 3 [2403.11555]. At the same time, thickness alone does not bound odd chromatic number: biplanar graphs can have unbounded \(\chi_o\), witnessed by subdivided complete graphs \(K_n^*\) with \(\theta(K_n^*)=2\) and \(\chi_o(K_n^*)=n\) [2403.11555].

## 4. Exact and near-exact results for specific graph classes

The literature now contains a broad range of exact values, sharp bounds, and class-specific characterizations.

| Graph class | Result | Source |
|---|---|---|
| Outerplanar graphs | Odd 5-colorable; odd 4-colorable iff some block is not \(C_5\) | [2407.19362] |
| 1-planar graphs | Odd 23-colorable, later improved to odd 13-colorable | [2202.02586], [2206.13967] |
| Toroidal graphs | Odd 9-colorable | [2205.04398] |
| \(k\)-trees | Odd \(\left(k+2\lfloor\log_2 k\rfloor+3\right)\)-colorable; 2-trees odd 4-colorable; 3-trees odd 5-colorable | [2504.20573] |
| Graphs with product structure | If \(G\subseteq H\boxtimes P\) with \(H\) a \(t\)-tree, then odd coloring number at most \(8t+4\) | [2202.12882] |

Outerplanar graphs exhibit one of the cleanest exact classifications. Every outerplanar graph is odd 5-colorable, and a connected outerplanar graph is odd 4-colorable if and only if it has a block that is not a copy of \(C_5\). Equivalently, graphs all of whose blocks are 5-cycles are the precise obstructions to odd 4-colorability in the outerplanar class [2407.19362]. This gives a structural explanation for the special role of \(C_5\) already visible in planar conjectures.

For 1-planar graphs, Cranston, Lafferty, and Song proved \(\chi_o(G)\le 23\) [2202.02586], and this was improved to \(\chi_o(G)\le 13\) [2206.13967]. The lower-bound example \(K_7'\), obtained by subdividing each edge of \(K_7\) once, is 1-planar and satisfies \(\chi_o(K_7')=7\) [2206.13967]. On the torus, every graph embeddable in the torus admits an odd 9-coloring [2205.04398].

For bounded-treewidth structures, the picture is tightening. It follows from a minor-closed degeneracy bound that every \(k\)-tree is odd \((2k+1)\)-colorable, and this was improved to
\[
k+2\lfloor\log_2 k\rfloor+3
\]
colors for all \(k\)-trees [2504.20573]. The same work proves the tight small cases: every 2-tree is odd 4-colorable and every 3-tree is odd 5-colorable, and conjectures that every \(k\)-tree is odd \((k+2)\)-colorable [2504.20573].

Product-structure methods provide another route to bounded odd chromatic number. If \(G\) is a subgraph of a strong product \(H\boxtimes P\), where \(H\) is a \(t\)-tree and \(P\) is a path, then \(G\) has a proper odd coloring using at most \(8t+4\) colors [2202.12882]. Since \(k\)-planar graphs admit such product structure with \(t=O(k^5)\), this implies bounded odd coloring number for all \(k\)-planar graphs [2202.12882]. A plausible implication is that structural decompositions used in modern sparse graph theory can often be converted into odd-coloring bounds.

## 5. Algorithmic and parameterized complexity

From the decision perspective, Odd \(k\)-Coloring asks whether \(\chi_o(G)\le k\). Complexity separates sharply between \(k\le 2\) and \(k\ge 3\). For \(k=2\), a graph is odd 2-colorable if and only if it is bipartite and every vertex has odd degree or degree 0, giving a polynomial-time characterization [2208.08330]. For every fixed \(k\ge 3\), however, Odd \(k\)-Coloring is NP-complete, even on bipartite graphs; NP-completeness already holds for \(k=3\) on subcubic bipartite planar graphs [2208.08330]. Computing \(\chi_o(G)\) is NP-hard [2201.03608].

Parameterized complexity refines this picture. Odd Coloring is fixed-parameter tractable on bounded-treewidth graphs via CMSO logic, and one explicit bound gives
\[
\chi_o(G)\le 2\,\mathrm{tw}(G)+1
\]
[2503.05312]. More recently, the problem was shown to admit a polynomial kernel when parameterized by distance to clique, but not to admit a polynomial kernel when parameterized by vertex cover number unless
\[
\mathsf{NP}\subseteq \mathsf{coNP/poly}
\]
[2503.05312]. It is fixed-parameter tractable when parameterized by distance to cluster, distance to co-cluster, or neighborhood diversity, and \(\mathsf{W[1]}\)-hard when parameterized by clique-width [2503.05312].

These results coexist with a more specialized algorithmic observation: for fixed \(k\) and bounded clique-width \(t\), Odd \(k\)-Coloring can be solved in \(O(n^3)\) time using monadic second-order logic tools [2208.08330]. This does not contradict the \(\mathsf{W[1]}\)-hardness by clique-width, since the latter concerns the parameterized problem with \(k\) as part of the input rather than fixed in advance. On restricted graph classes, the parameterized study also shows polynomial-time solvability on cographs and split graphs, while NP-completeness persists on certain subclasses of bipartite graphs [2503.05312].

## 6. Related notions and current directions

Odd coloring is closely related to several neighborhood-sensitive coloring notions. A proper conflict-free coloring requires that every non-isolated vertex have a color appearing exactly once in its neighborhood; every such coloring is automatically odd, so
\[
\chi_o(G)\le \chi_{\mathrm{pcf}}(G),
\]
but the converse fails in general [2208.08330]. Much recent sparse-graph work has therefore developed in parallel for odd and proper conflict-free colorings, often with shared extremal constructions [2212.06563].

A stronger parity-based variant is **strong odd coloring**. Here a proper coloring is required to satisfy that, for every non-isolated vertex \(v\), every color appearing in \(N(v)\) appears an odd number of times there. Denoting the corresponding parameter by \(\chi_{so}(G)\), one has
\[
\chi_o(G)\le \chi_{so}(G)\le \chi(G^2),
\]
so strong odd coloring is both a strengthening of odd coloring and a relaxation of square coloring [2401.11653]. For sparse graphs,
\[
\mad(G)\le \frac{20}{7}\Rightarrow \chi_{so}(G)\le \Delta(G)+4,
\]
and if \(\mad(G)\le \frac{30}{11}\) with \(\Delta(G)\ge 4\), then
\[
\chi_{so}(G)\le \Delta(G)+3
\]
[2401.11653]. This suggests that odd coloring sits naturally inside a larger hierarchy of parity-constrained neighborhood colorings.

Another related notion is **odd-sum coloring**, where a proper coloring \(f:V(G)\to \mathbb{Z}^+\) must satisfy
\[
\sum_{w\in N[v]} f(w)\equiv 1 \pmod 2
\]
for every vertex \(v\). Its odd-sum chromatic number \(\chi_{os}(G)\) is always at most \(2\chi(G)\), but on planar and surface-embedded graphs its extremal behavior differs substantially from odd coloring [2210.02687]. The comparison is conceptually useful: both odd coloring and odd-sum coloring impose parity in neighborhoods, but the former constrains multiplicities of colors in open neighborhoods, whereas the latter constrains parity of sums on closed neighborhoods.

Current open directions are sharply defined. For planar graphs, the main conjecture remains \(\chi_o(G)\le 5\) [2112.13710]. For outerplanar graphs, the odd 4-colorability classification is complete [2407.19362]. For \(k\)-trees, the conjecture that every \(k\)-tree is odd \((k+2)\)-colorable remains open [2504.20573]. For thickness, it is open whether the upper bounds \(\chi_o(G)\le 12t-1\) and \(\chi_o(G)\le 6\theta(G)\) under girth and degree hypotheses are strict or sharp [2403.11555]. On the algorithmic side, the complexity of odd coloring on planar graphs for \(k\in\{4,5,6,7\}\) is explicitly posed as open [2208.08330].

Taken together, these developments show that odd coloring is not merely a variant of proper coloring but a separate parameter system with its own extremal obstructions, sparsity thresholds, topological phenomena, and complexity landscape. The recurring role of subdivided complete graphs, 5-cycles, discharging, and product structure suggests that parity in neighborhoods is structurally rigid in exactly the way ordinary chromatic number is not.

Source: https://www.emergentmind.com/topics/odd-coloring