用红 白 蓝三种颜色对正六边形顶点着色 求不等价着色数。