Colour Refinement Algorithm

Definition