problem
用 3 3 3 种颜色染长度为 n n n 的环,问不同的染色方案。
如果经过旋转和翻转操作能使两个方案染成的环相同,则称这两种染色方案是相同的。
数据范围: n < 24 n<24 n<24。
solution
先把旋转和翻转分开讨论一下:
旋转
相当于这道题,即置换有 n n n 种。对于第 i i i 个置换(即旋 i i i 次),循环的个数是 gcd ( n , i ) \gcd(n,i) gcd(n,i)。
那么为什么循环个数是 gcd ( n , i ) \gcd(n,i) gcd(n,i) 呢?
考虑从第 k k k 个点出发,我们连的环应该是 k → k + i → k + 2 i → ⋯ → k k\rightarrow k+i\rightarrow k+2i\rightarrow\cdots\rightarrow k k→k+i→k+2i→⋯→k(如果大于 n n n 就减个 n n n)。考虑这个环的长度,易知,当 n ∣ p i n\mid pi n∣pi 时,从 k k k 出发走 p p p 步就回到了 k k k。那么最小的 p p p 就是 l c m ( n , i ) i = n gcd ( n , i ) \frac{\mathrm{lcm}(n,i)}{i}=\frac{n}{\gcd(n,i)} ilcm(n,i)=gcd(n,i)n,所以就有 gcd ( n , i ) \gcd(n,i) gcd(n,i) 个环。
这里由于 n n n 很小可以直接算。
翻转
1 1 1、若 n n n 是奇数,那么原点和任意一个点所在直线都是对称轴,因此有 n n n 个置换,每个置换有 n − 1 2 + 1 \frac{n-1}2+1 2n−1+1 个循环。
2 2 2、若 n n n 是偶数。
- 任意两个对着的点作为对称轴,有 n 2 \frac n 2 2n 个置换,每个置换有 n − 2 2 + 2 \frac{n-2}2+2 2n−2+2 个循环。
- 原点和两个相邻点中点作为对称轴,有 n 2 \frac n 2 2n 个置换,每个置换有 n 2 \frac n2 2n 个循环。
那么 n n n 为偶数时,也恰好有 n n n 个置换。
所以无论 n n n 为奇还是为偶,旋转和翻转总共的置换数都是 2 n 2n 2n。
注意要特判 0 0 0。
code
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
int n;
ll power(ll a,int b){
ll ans=1;
for(;b;b>>=1,a*=a) if(b&1) ans*=a;
return ans;
}
int main(){
while(~scanf("%d",&n)&&(n!=-1)){
ll ans=0;
if(!n) {puts("0");continue;}
for(int i=1;i<=n;++i) ans+=power(3,__gcd(n,i));
if(n&1) ans+=n*power(3,(n-1)/2+1);
else ans+=(n/2)*power(3,(n-2)/2+2)+(n/2)*power(3,n/2);
printf("%lld\n",ans/(2*n));
}
return 0;
}