Pólya enumeration theorem
= Pólya enumeration theorem
{c}
The Pólya enumeration theorem counts colourings up to a finite <group action> using the action's <cycle index>. Substituting colour weights into each cycle variable groups colourings by their colour inventories.