The Automorphism Group + Basic 4-coloring Representation of All 4-colorings

• 全部四着色解的基着色+自同构群表示法