Exponential Time Approximations for
Coloring 3-Colorable Graphs

Abstract

The problem of efficiently coloring $3$-colorable graphs with few colors has received much attention on both the algorithmic and inapproximability fronts. We consider exponential time approximations, in which given a parameter $r$, we aim to develop an $r$-approximation algorithm with the best possible runtime, providing a tradeoff between runtime and approximation ratio. In this vein, an algorithm to $O(n^{\epsilon})$-color a 3-colorable graphs in time $2^{\Theta(n^{1-2\epsilon}\log(n))}$ is given in (Atserias and Dalmau, SODA 2022.)

We build on tools developed in (Bansal et al., Algorithmic, 2019) to obtain an algorithm to color $3$-colorable graphs with $O(r)$ colors in $\exp\left(\tilde{O}\left(\frac{n\log^{11/2}r}{r^{3}}\right)\right)$ time, asymptotically improving upon the bound given by Atserias and Dalmau.

1 Introduction

Graph Coloring is a classic and fundamental problem in theoretical computer science with applications in scheduling, register allocation, and more. A graph is said to be $r$-colorable if there is an assignment of $r$ colors to vertices such that no two adjacent vertices share the same color. The question of whether a given graph can be colored using $r$ colors for $r\geq 3$ was one of Karp’s NP-complete problems [19]. For any graph $G$, the minimum $r$ such that $G$ is $r$-colorable is called the chromatic number of $G$; it is known that the chromatic number is hard to approximate to a factor $n^{1-o(1)}$ [15, 23].

It is natural to ask if one can obtain a valid coloring of a graph with few colors if its chromatic number is known. The first polynomial time algorithm for this problem was given by Wigderson [25], who obtained an $O(n^{1-\frac{1}{r-1}})$-coloring for $r$-colorable graphs. In this paper we focus on the special case where $G$ is $3$-colorable. There are several known polynomial time algorithms for this setting. Blum obtained a polynomial improvement over [25] to $\tilde{O}(n^{3/8})$ colors [7] when the input graph is $3$-colorable. This was improved to $O(n^{1/4})$ using semi-definite programming methods by Karger, Motwani, and Sudan [18]. A long line of subsequent work culminated in the the development of an algorithm using $O(n^{0.19996})$ colors [20], very recently improved to $O(n^{0.19747})$ [21]. On the hardness of approximation side, it is known to be NP-hard to color a 3-colorable graph using 4 colors [22, 16, 10], and until recently, no better lower bound was known. Barto et al. recently showed that it is NP-hard to color an $r$-colorable graph using $2r-1$ colors; in particular, it is NP-hard to 5-color a 3-colorable graph [5]. Furthermore, there is some evidence based on variants of the Unique Games Conjecture that coloring an $r$-colorable graph with $O(1)\cdot r$ colors is hard for any $r\geq 3$ [13, 17].

The hardness of approximating graph coloring in polynomial time has motivated the design of algorithms that provide a more fine-grained trade-off between running time and approximation factors; see [8, 9, 12] for some such work in graph coloring, as well as the closely related Independent Set problem. As a simple example, one can obtain an $r$-coloring of a 3-colorable graph $G$ in time $O^{*}(\exp(O(n/r)))$ as follows: partition $G$ into $r/3$ blocks of size $3n/r$ each and use an exact 3-coloring exponential-time algorithm on each block. In general, this idea is surprisingly close to the best we can do: any $r$-approximation to Graph Coloring requires at least $\exp(n^{1-o(1)}/r^{1+o(1)})$ time, assuming ETH [24].

Recently, Bansal et. al. [3] obtained an $r$-approximation for the Graph Coloring problem that runs in $O^{*}\left(\exp\left(\tilde{O}\left(n/(r\log r)+r\log^{2}r\right)\right)\right)$ time. As a subroutine in this algorithm, they use and develop an $r$-approximation for the Independent Set problem that runs in
$O^{*}\left(\exp\left(\tilde{O}\left(n/(r\log^{2}r)+r\log^{2}r\right)\right)\right)$ time. In this work we improve upon the approximation algorithms given by Bansal et. al. [3] for the setting in which the input graph $G$ is known to be 3-colorable.

1.1 Promise Constraint Satisfaction Problems and Width-based Algorithms

Graph colorability is an example of a larger class of problems known as constraint satisfaction problems (CSPs). The input to a CSP is a set of variables $X$ over a domain $D$, along with a set of constraints. Each constraint specifies, for some subset of variables, a relation that it must takes values in. The goal is to find a valid assignment of values from the domain to each variable that satisfies all constraints. Equivalently, one can model CSPs as a problem of finding homomorphism between relational structures [14]. That is, we can think of the input as two structures: $\mathbb{X}=(X,S_{1},\dots,S_{n})$, where $S_{i}\subseteq X^{r_{i}}$, $\mathbb{D}=(D,R_{1},\dots,R_{n})$, where $R_{i}\subseteq D^{r_{i}}$. The goal is to find a function $f:X\to D$ such that $f((x_{1}),\dots,f(x_{r_{i}}))\in R_{i}$ for all $(x_{1},\dots,x_{r_{i}})\in S_{i}$. In the case of $r$-graph colorability, the variables are the vertices of the graph, the sets $S_{i}$ are the edges, the domain is the set of colors $\{1,\dots,r\}$, and the constraints $R_{i}$ are all tuples of two different colors.

Brakensiek and Guruswami [11], building on work in [2], recently proposed a generalization of this class of problems, known as promise constraint satisfaction problems (PCSPs); these are CSPs in which we are guaranteed that the input satisfies an even stronger set of constraints. Formally, we are given three relational structures $\mathbb{X},\mathbb{A},\mathbb{B}$ where there exists a homomorphism from $\mathbb{B}$ to $\mathbb{A}$. Given the promise that there exists some homomorphism from $\mathbb{X}$ to $\mathbb{B}$, the goal is to find one from $\mathbb{X}$ to $\mathbb{A}$. It is easy to see that the problem of $r$-coloring a 3-colorable graph is an example of a promise CSP, with $\mathbb{A}$ corresponding to $r$-colorability and $\mathbb{B}$ to 3-colorability.

Fixed-template CSPs are CSPs in which the structure $\mathbb{A}$ is fixed and the input specifies $\mathbb{X}$. One of the few known techniques for solving fixed-template CSPs in polynomial time is local consistency checking. This technique considers $k$-strategies, which are sets of partial solutions on subsets of variables of size at most $k$. These sets must be closed under restrictions and all partial solutions of subsets of size less than $k$ must be extendable to all supersets up to size $k$. Clearly, if there exists a homomorphism from $\mathbb{X}$ to $\mathbb{A}$, then there exists a $k$-strategy for all $k\leq|X|$. A CSP is said to have width $k$ if the converse holds: a non-empty $k$-strategy implies a homomorphism from $\mathbb{X}$ to $\mathbb{A}$. For any fixed $k$, this gives a simple polynomial time algorithm to solve the CSP: find all partial solutions on subsets of size at most $k$ and remove the ones that don’t satisfy the closure and extension properties until we either have a non-empty $k$-strategy or an empty set.

One can define a similar notion in the context of PCSPs [5]. A PCSP has width $k$ if a non-empty $k$-strategy on $(\mathbb{X},\mathbb{B})$ implies a homomorphism from $\mathbb{X}$ to $\mathbb{A}$. Recently, Atserias and Dalmau [1] showed that given an input graph $G$ and parameter $\epsilon\in(0,1/2)$, the problem of distinguishing whether $G$ is 3-colorable from the case where $G$ is not $O(n^{\epsilon})$-colorable has width between $n^{1-2\epsilon}$ and $n^{1-3\epsilon}$. This gives an algorithm to color 3-colorable graphs with $O(n^{\epsilon})$ colors in time $2^{\Theta(n^{1-2\epsilon}\log n)}$. Improving this runtime is posed as an open question in [1].

1.2 Definitions and Notation

For a given graph $G$, we let $V(G)$ denote its set of vertices, $E(G)$ denote the set of edges, and $n:=|V(G)|$. For any $v\in V(G)$, we call the neighborhood of $v$ (denoted $N_{G}(v)$) the set of all $u\in V(G)$ such that $\{u,v\}\in E(G)$. We let $d_{G}(v)=|N_{G}(v)|$ denote the degree of $v$. We write $O^{*}$ to suppress polynomial factors in $n$, and $\tilde{O}$ to suppress $\textnormal{polyloglog}(r)$ factors (where $r$ is the approximation ratio). The analogous definitions hold for $\tilde{\Omega}$.

Maximum Independent Set: We say a set $S\subseteq V(G)$ is independent if for all $u,v\in S$, $\{u,v\}\notin E$. We let $\alpha(G)$ denote the size of the maximum cardinality independent set of $G$.

Graph Coloring: We say that a function $c:V(G)\to[r]$ is a $r$-coloring if $c(u)\neq c(v)~{}\forall\{u,v\}\in E(G)$. We say $G$ is $r$-colorable if a valid $r$-coloring of $G$ exists. We let $\chi(G)$ denote the chromatic number of $G$, i.e. the minimum integer $r$ such that $G$ is $r$-colorable.

1.3 Our Result and Techniques

Our main contribution is an improved appoximation algorithm for coloring 3-colorable graphs.

Theorem 1.1.

Given a 3-colorable graph $G=(V,E)$ and a parameter $r>0$, there exists an algorithm that, with high probability, outputs a valid coloring of $G$ using at most $O(r)$ colors in time $O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{11/2}r}{r^{3}}\right)\right)\right)$.

For any fixed real $\epsilon\in(0,1/3)$, setting $r$ to be $n^{\epsilon}$, we obtain a coloring of $G$ using $O(n^{\epsilon})$ colors in time $O^{*}\left(\exp\left(O(n^{1-3\epsilon})\right)\right)$. This asymptotically improves upon the width-based algorithm given by Atserias and Dalmau [1]. Furthermore, up to polynomial factors in $n$, this matches the width-based lower bound given in [1]. Whether our result can be captured by a width-based argument remains a direction for future research.

Techniques: We closely follow the algorithm given by Bansal et al. [3]. We first consider the independent set problem. The approach in [3] is to branch on high degree vertices. For each such vertex, the algorithm chooses to include it with some small probability, in which case all of its neighbors are removed, else it removes the high degree vertex and recurses on the remaining graph. The probability of choosing each vertex is chosen in a way to ensure the number of leaves of the branching process remains bounded. Once the maximum degree of the graph is small, the algorithm terminates by applying a known approximation for for graphs with bounded degree [4]. We follow from a similar algorithm, replacing the base case with an $\tilde{\Omega}(d^{1/3})$-approximation for Independent Set on 3-colorable graphs. To then color the graph $G$, the algorithm in [3] repeatedly finds large independent sets and colors each independent set with its own color. Once the number of remaining vertices is small enough, they use a brute force inclusion-exclusion based algorithm for coloring the remaining vertices in time $O^{*}(2^{|V|})$ [6]. We follow the same approach, using our improved approximation for Independent Set.

2 Improved Approximation for Coloring 3-Colorable Graphs

2.1 Independent Set

In this section, we prove the following lemma providing an approximation algorithm for finding an independent set in a 3-colorable graph:

Lemma 2.1.

Given a 3-colorable graph $G=(V,E)$ and a parameter $r\in\mathbbm{Z}_{>0}$, there exists an algorithm that, with probability at least $1/2$, outputs an independent set of size at least $\alpha(G)/r$ in time $O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r}{r^{3}}\right)\right)\right)$.

We use the following lemma from [3].

Lemma 2.2 ([3]).

Let $\mathcal{A}(G^{\prime})$ be an approximation algorithm that outputs an independent set of $G^{\prime}$ of size $\alpha(G^{\prime})/r$. Suppose $\mathcal{A}(G^{\prime})$ runs in time $T_{\mathcal{A}}(n^{\prime},r)$ (where $n^{\prime}=|V(G^{\prime})|$) when $G$ has maximum degree $d(r)$, where $d(r)\geq 2r$. Then, there is an algorithm that given any graph $G$, outputs an independent set of $G$ of expected size $\alpha(G)/r$ in expected time $O^{*}\left(\exp\left(\frac{n}{d(r)}\log(4d(r)/r)\right)T_{\mathcal{A}}(n,r)\right)$.

We note that the algorithm of [3] only calls $\mathcal{A}(G^{\prime})$ on graphs $G^{\prime}$ obtained by deleting vertices and edges from $G$. Therefore, if $G$ is 3-colorable, we can assume $G^{\prime}$ is as well. The seminal work of Karger, Motwani, and Sudan [18] provides a polynomial time algorithm to color 3-colorable graphs using $O(d^{1/3}\log^{1/2}d\log n)$ colors, where $d$ is the maximum degree of the input graph. We will use the following lemma from their analysis:

Lemma 2.3 ([18]).

Given a $3$-colorable graph $G$, there exists a polynomial time algorithm to find an independent set of size $\Omega(n/(d^{1/3}\sqrt{\log d}))$, where $d$ is the maximum degree of the input graph.

Combining these two results, we obtain the following corollary:

Corollary 2.4.

Given a $3$-colorable graph $G$, there exists a polynomial time algorithm that outputs an independent set of expected size $\alpha(G)/r$ in expected time $O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r}{r^{3}}\right)\right)\right)$.

Proof.

We refer to the algorithm given by Lemma 2.3 as $\mathcal{A}$. By Lemma 2.3, for any $3$-colorable graph $G^{\prime}$ with maximum degree $d=\frac{r^{3}}{\log^{3/2}r}$, $\mathcal{A}(G^{\prime})$ outputs an independent set of size

$$\Omega\left(\frac{n}{d^{1/3}\sqrt{\log d}}\right)=\Omega\left(\frac{n\sqrt{\log(r)}}{r\sqrt{\log(r/\log r)}}\right).$$

Note that since $G^{\prime}$ is $3$-colorable, $\alpha(G^{\prime})\geq n/3$. Thus we can choose $d(r)=\tilde{O}(r^{3}/\log^{3/2}r)$ so that $\mathcal{A}(G^{\prime})$ outputs an independent set of size $\alpha(G^{\prime})/r$ in polynomial time (recall here that $\tilde{O}$ suppresses $\textnormal{polyloglog}(r)$ factors).

We then apply Lemma 2.2 on the input $G$ with $\mathcal{A}(G^{\prime})$ as defined above to obtain an independent set of expected size $\alpha(G)/r$ in expected time

$$O^{*}\left(\exp\left(\frac{n\log^{3/2}r}{r^{3}}\log\left(\frac{4r^{3}}{r\log^{3/2}r}\right)\right)\operatorname{poly}(n)\right)=O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r}{r^{3}}\right)\right)\right).$$

∎

To complete the proof of Lemma 2.1, note that Corollary 2.4 gives the desired runtime and approximation ratio in expectation. Thus it suffices to run multiple iterations of this algorithm to obtain our desired probability of failure.

Proof of Lemma 2.1.

Let $G$ be a given 3-colorable graph. Let $\mathcal{B}(G,r)$ denote the algorithm given by Corollary 2.4, and let $T^{\prime}(n,r)=O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r}{r^{3}}\right)\right)\right)$ denote the expected runtime of $B(G,r)$. We run $B(G,r/2)$ $r$ times and output the maximum independent set given. If the total runtime exceeds $5rT^{\prime}(n,r/2)$, we terminate the algorithm.

By construction, this algorithm runs in time $O(rT^{\prime}(n,r/2))=O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log r}{r^{3}}\right)\right)\right)$. By Markov’s inequality, the probability that the total runtime exceeds $5rT^{\prime}(n,r/2)$ is at most $\frac{1}{5}$. Thus it remains to bound the error probability given that we successfully complete $r$ iterations of $B(G,r/2)$.

Fix a single run of $B(G,r/2)$, and let $S$ be the resulting independent set. To bound the probability that $S$ is small, note that $\mathop{\bf Pr\/}[|S|\leq\alpha(G)/r]=\mathop{\bf Pr\/}[\alpha(G)-|S|\geq\alpha(G)(1-1/r)]$. Since $|S|\leq\alpha(G)$, we can apply Markov’s inequality to obtain

$$\mathop{\bf Pr\/}[\alpha(G)-|S|\geq\alpha(G)(1-1/r)]\leq\frac{\mathop{\bf E\/}[\alpha(G)-|S|]}{\alpha(G)(1-1/r)}=\frac{\alpha(G)(1-2/r)}{\alpha(G)(1-1/r)}=1-\frac{1}{r-1}.$$

Thus the probability that none of the $r$ runs of $B(G,r/2)$ give an independent set of size at least $\alpha(G)/r$ is at most $(1-1/(r-1))^{r}\leq 1/e$. Combining with the runtime error, we get a total probability of failure of at most $\frac{1}{5}+\frac{4}{5e}<1/2$. ∎

2.2 Graph Coloring

In this section, we refer to the algorithm given by Lemma 2.1 as $\textnormal{IS}(G,r)$ for consistency with the notation used in [3]. To prove Theorem 1.1, we follow the same general approach outlined by Bansal et. al. in [3] with $\textnormal{IS}(G,r)$ as a subroutine. For completeness, we describe the full algorithm and analysis below. Let $t=\frac{n}{r^{3}}$, $r^{\prime}=r/\log(n/t)=\frac{r}{\log r^{3}}$.

Algorithm 1 $r$-Approximate Graph Coloring

1:$c\leftarrow 0$

2:while $|V|\geq t$ do

3:     $c\leftarrow c+1$

4:     $C_{c}\leftarrow\emptyset$

5:     for $i=1,\dots,n$ do

6:         $C_{c}\leftarrow\textnormal{argmax}(|C_{c}|,|\textnormal{IS}(G[V],r^{\prime})|)$

7:     end for

8:     $V\leftarrow V\setminus C_{c}$

9:end while

10:$(C_{c+1},C_{c+2},C_{c+3})\leftarrow$ brute force optimum coloring of $G[V]$

11:return $(C_{1},\dots,C_{c+3})$

Claim 2.5.

For a fixed iteration $c$ of Algorithm 1, $C_{c}\geq\frac{|V|}{3r^{\prime}}$ with probability at least $1-(1/2)^{n}$.

Proof.

At iteration $c$, $G[V]$ must have an independent set of size at least $|V|/3$, since $G$ is 3-colorable and removing vertices cannot increase the chromatic number. By Lemma 2.1, for each $i\in[n]$, the independent set $C_{c}$ given by line 6, $|C_{c}|\geq\alpha(G[V])/r^{\prime}\geq\frac{|V|}{3r^{\prime}}$ with probability at least $\frac{1}{2}$. Thus $\mathop{\bf Pr\/}[|C_{c}|<|V|/(3r^{\prime})]\leq(1/2)^{n}$ as desired. ∎

Claim 2.6.

Algorithm 1 gives a valid coloring of $G$ using at most $O(r)$ colors with high probability.

Proof.

Validity of the coloring follows is clear by construction, since we choose a new color for each independent set. It remains to bound the number of colors used.

Note that $c\leq n$ at all times, since $|V|$ reduces by at least one at each iteration. Thus by Claim 2.5, $|V|$ reduces by a factor of $(1-1/(3r^{\prime}))$ at every iteration with probability at least $1-n/(2^{n})$. After $\ell$ iterations,

$$|V|\leq n\left(1-\frac{1}{3r^{\prime}}\right)^{\ell}\leq n\cdot\exp\left(-\frac{\ell}{3r^{\prime}}\right)=n\cdot\exp\left(-\frac{\ell\ln(n/t)}{3r}\right)=n\cdot\left(\frac{n}{t}\right)^{-\ell/3r}.$$

Therefore, when $\ell=3r$, $|V|\leq t$, so Algorithm 1 runs for at most $3r+1$ iterations. Since $G$ is 3-colorable, the final optimum coloring of the remaining vertices on line 10 uses at most 3 colors. Thus the total number of colors used is at most $3r+4=O(r)$. ∎

Claim 2.7.

Algorithm 1 runs in time $O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{11/2}r}{r^{3}}\right)\right)\right)$.

Proof.

We first bound the runtime of the while loop in lines 2-9. By Lemma 2.1, $\textnormal{IS}(G[V],r^{\prime})$ runs in time $O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r^{\prime}}{r^{\prime 3}}\right)\right)\right)$. By the analysis in the proof of Claim 2.6, the total number of iterations is at most $O(r)$, and in each iteration we run $\textnormal{IS}(G[V],r^{\prime})$ $r$ times. This the loop runs in time

$$O^{*}\left(r^{2}\exp\left(\tilde{O}\left(\frac{n\log^{5/2}r^{\prime}}{r^{\prime 3}}\right)\right)\right)=O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{5/2}(r/\log(r^{3}))}{r^{3}/\log^{3}(r^{3})}\right)\right)\right)$$

$$= O^{*}\left(\exp\left(\tilde{O}\left(\frac{n\log^{11/2}r}{r^{3}}\right)\right)\right).$$

Using a naive brute force algorithm, the final step in line 10 runs in time $O\left(3^{t}\right)=O\left(\exp\left(O\left(\frac{n}{r^{3}}\right)\right)\right)$, giving us our desired time bound. ∎