Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: Approximating the chromatic polynomial is as hard as computing it exactly
(Submitted on 24 Nov 2022 (v1), last revised 13 Nov 2023 (this version, v2))
Abstract: We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$.
Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.
Submission history
From: Guus Regts [view email][v1] Thu, 24 Nov 2022 20:18:20 GMT (82kb,D)
[v2] Mon, 13 Nov 2023 15:04:15 GMT (84kb,D)
Link back to: arXiv, form interface, contact.