Abstract:In spite of the extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of the 3-coloring problem on graphs with small diameter, i.e. with diameter 2 or 3, has been a longstanding and challenging open question. For graphs with diameter 2 we provide the first subexponential algorithm with complexity $2^{O(\sqrt{n\log n})}$, which is asymptotically the same as the currently best known time complexity for the graph isomorphism (GI) problem. Moreover, we prove that the graph isomorphism problem on 3-colorable graphs with diameter 2 is GI-complete. Furthermore we present a subclass of graphs with diameter 2 that admits a polynomial algorithm for 3-coloring. For graphs with diameter 3 we establish the complexity of 3-coloring by proving that for every $\varepsilon \in [0,1)$, 3-coloring is NP-complete on triangle-free graphs of diameter 3 and radius 2 with $n$ vertices and minimum degree $\delta=\Theta(n^{\varepsilon})$. Moreover, assuming ETH, we provide three different amplifications of our hardness results to obtain for every $\varepsilon \in [0,1)$ subexponential lower bounds for the complexity of 3-coloring on triangle-free graphs with diameter 3 and minimum degree $\delta=\Theta(n^{\varepsilon})$. Finally, we provide a 3-coloring algorithm with running time $2^{O(\min\{\delta\Delta,\frac{n}{\delta}\log\delta\})}$ for graphs with diameter 3, where $\delta$ (resp. $\Delta $) is the minimum (resp. maximum) degree of the input graph. To the best of our knowledge, this algorithm is the first subexponential algorithm for graphs with $\delta=\omega(1)$ and for graphs with $\delta=O(1)$ and $\Delta=o(n)$. Due to the above lower bounds of the complexity of 3-coloring, the running time of this algorithm is asymptotically almost tight when the minimum degree if the input graph is $\delta=\Theta(n^{\varepsilon})$, where $\varepsilon \in [1/2,1)$.

Ternary graph isomorphism in polynomial time, after Luks

Trivalent Graph isomorphism in polynomial time

Graph isomorphism in quasipolynomial time [extended abstract]

Graph isomorphism in quasipolynomial time parameterized by treewidth

Reconstructing Unrooted Phylogenetic Trees from Symbolic Ternary Metrics

Graph Isomorphism Restricted by Lists

A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors

The comparison of tree-sibling time consistent phylogenetic networks is graph isomorphism-complete

One Tree to Rule Them All: Poly-Logarithmic Universal Steiner Tree

Algorithms For Multiterminal Cuts

Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs

A finite presentation of graphs of treewidth at most three

On tripartite common graphs

Faster Graph Coloring in Polynomial Space

Relative Timing Information and Orthology in Evolutionary Scenarios

RSVP: Beyond Weisfeiler Lehman Graph Isomorphism Test

Isomorphism Testing of Rooted Trees in Linear Time

The Graph Isomorphism Problem and approximate categories

Exact Algorithms for Graph Homomorphisms

Algorithm of Graph Isomorphism with Three Dimensional DNA Graph Structures

Revisiting Tree Isomorphism: An Algorithmic Bric-à-Brac