The Complexity of Computing the Sign of the Tutte Polynomial (and Consequent #P-hardness of Approximation)
We study the complexity of computing the sign of the Tutte polynomial of a graph. As there are only three possible outcomes (positive, negative, and zero), this seems at first sight more like a decision problem than a counting problem. Surprisingly, however, there are large regions of the parameter space for which computing the sign of the Tutte polynomial is actually #P-hard. As a trivial consequence, approximating the polynomial is also #P-hard in this case. Thus, approximately evaluating the Tutte polynomial in these regions is as hard as exactly counting the satisfying assignments to a CNF Boolean formula. For most other points in the parameter space, we show that computing the sign of the polynomial is in FP, whereas approximating the polynomial can be done in polynomial time with an NP oracle. As a special case, we completely resolve the complexity of computing the sign of the chromatic polynomial — this is easily computable at q = 2 and when q ≤ 32/27, and is NP-hard to compute for all other values of the parameter q.
KeywordsEdge Weight Binary Search Parallel Composition Full Version Satisfying Assignment
Unable to display preview. Download preview PDF.
- 4.Goldberg, L.A., Jerrum, M.: Inapproximability of the Tutte polynomial of a planar graph. CoRR, abs/0907.1724 (2009); To appear ”Computational Complexity” Google Scholar
- 5.Goldberg, L.A., Jerrum, M.: Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials. CoRR, abs/1006.5234 (2010)Google Scholar
- 8.Jacobsen, J.L., Salas, J.: Is the five-flow conjecture almost false? ArXiv e-prints (September 2010)Google Scholar
- 11.Sokal, A.: The multivariate Tutte polynomial. In: Surveys in Combinatorics, Cambridge University Press (2005)Google Scholar
- 12.Vertigan, D.: The computational complexity of Tutte invariants for planar graphs. SIAM J. Comput. 35(3), 690–712 (electronic) (2005)Google Scholar