Hard-core lattice gas; q-coloring problem; 
   antiferromagnetic Potts model; independent-set polynomial; 
   chromatic polynomial; Gibbs measure; phase transition; 
   Monte Carlo; rapid mixing.