离散数学：组合计数定理

其实就是容斥原理。

其实素因子可以有11，但这里取的应该是最小的素因子。

第一个就是分类，下在某个方格与否。

恒等置换显然在子群中，那么变换的逆也在，则根据定理二可以知道为子群。

举个例子，1的轨道的意思就是看1能置换到谁。逆时针转90度可以转到4，等等。

σ1是转0度，σ2是逆时针转90以此类推。

注意群是作用在方案上的。

过一对顶点的轴有四个。

除了恒等变换，其他置换都不能保证方案不变（一转总有变化的）。

这个意思是用数字的置换导出方案的置换，

第一个置换，是恒等置换，可以自己置换到自己，任意方案可行。

第二个置换，是1到2,2到3,3到4,4到1，这时仅当全部为一种颜色才可、

第三个置换，只需1,3颜色一样，2,4颜色一样。