Counting and sampling H-colourings

  • Authors:
  • Martin Dyer;Leslie Ann Goldberg;Mark Jerrum

  • Affiliations:
  • School of Computing, University of Leeds, Leeds LS2 9JT, UK;Department of Computer Science, University of Warwick, Coventry, CV4 7AL, UK;School of Informatics, University of Edinburgh, JCMB, The King's Buildings, Edinburgh EH9 3JZ, UK

  • Venue:
  • Information and Computation
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

For counting problems in #P which are "essentially self-reducible," it is known that sampling and approximate counting are equivalent. However, many problems of interest do not have such a structure and there is already some evidence that this equivalence does not hold for the whole of #P. An intriguing example is the class of H-colouring problems, which have recently been the subject of much study, and their natural generalisation to vertex- and edge-weighted versions. Particular cases of the counting-to-sampling reduction have been observed, but it has been an open question as to how far these reductions might extend to any H and a general graph G. Here we give the first completely general counting-to-sampling reduction. For every fixed H, we show that the problem of approximately determining the partition function of weighted H-colourings can be reduced to the problem of sampling these colourings from an approximately correct distribution. In particular, any rapidly mixing Markov chain for sampling H-colourings can be turned into an FPRAS for counting H-colourings.