Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time

Moritz Lichter, Pascal Schweitzer

In the quest for a logic capturing PTime the next natural classes of structures to consider are those with bounded color class size. We present a canonization procedure for graphs…