Packing coloring

Short description: Graph coloring variant in graph theory

In graph theory, a packing coloring (also called a broadcast coloring) is a type of graph coloring where vertices are assigned colors (represented by positive integers) such that the distance between any two vertices with the same color $i$ is greater than $i$. The packing chromatic number (or broadcast chromatic number) ${\chi }_{\rho }(G)$ (or ${\chi }_b(G)$) of a graph $G$ is the minimum number of colors needed for a packing coloring.

Definition

A packing coloring of a graph $G=(V,E)$ is a function $\pi :V\to \{1,2,\dots ,k\}$ such that if $\pi (u)=\pi (v)$, then the distance $d(u,v)>\pi (u)$. The minimum $k$ for which such a coloring exists is the packing chromatic number ${\chi }_{\rho }(G)$.

Equivalently, a packing coloring is a partition ${{𝒫}}_{\pi }=\{V_1,V_2,\dots ,V_k\}$ of the vertex set where each $V_i$ is an $i$-packing (vertices at pairwise distance more than $i$).

Basic properties

For any graph $G$ with $n$ vertices:

• $\omega (G)\le \chi (G)\le {\chi }_{\rho }(G)$, where $\omega (G)$ is the clique number and $\chi (G)$ is the chromatic number
• ${\chi }_{\rho }(G)\le {\alpha }_0(G)+1$, where ${\alpha }_0(G)$ is the vertex cover number, with equality if and only if $G$ has diameter two
• ${\chi }_{\rho }(G)\le n-\alpha (G)+1$, where $\alpha (G)$ is the independence number
• If ${\chi }_{\rho }(G)=\chi (G)$, then $\omega (G)=\chi (G)$

Complexity

Determining whether ${\chi }_{\rho }(G)\le 3$ can be solved in polynomial time, while determining whether ${\chi }_{\rho }(G)\le 4$ is NP-hard, even for planar graphs.

The problem remains NP-hard for diameter 2 graphs, since computing the vertex cover number is NP-hard for such graphs.

The problem is NP-complete for trees, resolving a long-standing open question. However, it can be solved in polynomial time for graphs of bounded treewidth and bounded diameter.

Specific graph families

For path graphs $P_n$:

• ${\chi }_{\rho }(P_n)=2$ for $2\le n\le 3$
• ${\chi }_{\rho }(P_n)=3$ for $n\ge 4$

For cycle graphs $C_n$ with $n\ge 3$:

• ${\chi }_{\rho }(C_n)=3$ if $n$ is $3$ or a multiple of $4$
• ${\chi }_{\rho }(C_n)=4$ otherwise

For trees $T$ of order $n$:

• ${\chi }_{\rho }(T)\le (n+7)/4$ for all trees except $P_4$ and two specific $8$-vertex trees
• The star graph $K_{1,n-1}$ has ${\chi }_{\rho }(K_{1,n-1})=2$
• Trees of diameter $3$ have ${\chi }_{\rho }(T)=3$
• The bound $(n+7)/4$ is sharp and achieved by specific tree constructions

For the hypercube graph $Q_k$

• ${\chi }_{\rho }(Q_k)\sim \frac{1}{2}\cdot O(1/k)\cdot 2^k$ asymptotically
• With $k=1,2,3,4$...:

${\chi }_{\rho }(Q_k)=2,3,5,7,15,25,49,95$... (sequence A335203 in the OEIS)

For complete graphs $K_n$:

• ${\chi }_{\rho }(K_n)=n$
• ${\chi }_{\rho }(S(K_n))=n+1$ for $n\ge 3$

For bipartite graphs $G$ of diameter $3$:

${\alpha }_0(G)\le {\chi }_{\rho }(G)\le {\alpha }_0(G)+1$

For complete multipartite graphs and wheel graphs $G$:

${\chi }_{\rho }(G)={\alpha }_0(G)+1$

For the $r\times c$ grid graph $G_{r,c}$:

• ${\chi }_{\rho }(G_{2,c})=5$ for $c\ge 6$
• ${\chi }_{\rho }(G_{3,c})=7$ for $c\ge 12$
• ${\chi }_{\rho }(G_{4,c})=8$ for $c\ge 10$
• ${\chi }_{\rho }(G_{5,c})=9$ for $c\ge 10$
• ${\chi }_{\rho }(G_{r,c})\le 23$ for any finite grid
• For $r=c=1,2,3,4$... (the square grid graphs):

${\chi }_{\rho }(G_{r,c})=1,3,4,5,7,8,9,9,10,11$... (sequence A362580 in the OEIS)

The infinite square grid $G_{\mathrm{\infty },\mathrm{\infty }}$ has:

${\chi }_{\rho }(G_{\mathrm{\infty },\mathrm{\infty }})=15$

The infinite hexagonal lattice $H$ has:

${\chi }_{\rho }(H)=7$

The infinite triangular lattice has infinite packing chromatic number.

For the subdivision graph $S(G)$ of a graph $G$, obtained by subdividing every edge once:

• For connected graphs $G$ with at least 3 vertices:

$\omega (G)+1\le {\chi }_{\rho }(S(G))\le {\chi }_{\rho }(G)+1$

• For connected bipartite graphs with at least two edges:

${\chi }_{\rho }(S(G))=3$

Graph products

For Cartesian products $G◻H$ of connected graphs $G$ and $H$ with at least two vertices:

${\chi }_{\rho }(G◻H)\ge ({\chi }_{\rho }(G)+1)|H|-\text{diam}(G◻H)(|H|-1)-1$

For the Cartesian product with complete graphs:

${\chi }_{\rho }(G◻K_n)\ge n{\chi }_{\rho }(G)-(n-1)\text{diam}(G)$

Characterizations

A connected graph $G$ has ${\chi }_{\rho }(G)=2$ if and only if $G$ is a star.

A graph has ${\chi }_{\rho }(G)=3$ if and only if it can be formed by taking a bipartite multigraph, subdividing every edge exactly once, adding leaves to some vertices, and performing a single $T$-add operation to some vertices.

Applications

Packing colorings model frequency assignment problems in broadcasting, where radio stations must be assigned frequencies such that stations with the same frequency are sufficiently far apart to avoid interference. The distance requirement increases with the power of the broadcast signal.

Related concepts

• Dominating broadcast: A function $b:V\to \{0,1,\dots \}$ where $b(u)\le e(u)$ (eccentricity) and every vertex with $b(v)=0$ has a neighbor $u$ with $b(u)>0$ and $d(u,v)\le b(u)$
• Broadcast independence: A broadcast where $b(u),b(v)>0$ implies $d(u,v)>b(u)$
• $S$-packing coloring (or $(s_1,s_2,\dots ,s_k)$-coloring): For a non-decreasing sequence $S=(s_1,s_2,\dots )$ of positive integers, vertices in color class $i$ must be at distance greater than $s_i$ apart. The standard packing coloring corresponds to $S=(1,2,3,\dots )$. The $S$-packing chromatic number ${\chi }_S(G)$ is the minimum number of colors needed.

See also

• Graph coloring
• List coloring
• Fractional coloring
• Acyclic coloring