参考链接：
http://www.cnblogs.com/hankers/archive/2012/08/03/2622231.html
http://blog.csdn.net/raalghul/article/details/51767941
首先来说说burnside引理是什么。
一天你正在刷题，看到一道关于染色的问题，你认为是一个傻逼题，然后认真一看题目上面写着旋转、翻转后相同的计算一次......你立刻就傻眼了。
接下来是科普时间。
首先我们考虑什么东西叫置换，例如(1,2,3,4,5)->(2,1,4,5,3)就是一个置换，1喂进去会变成2，3喂进去会变成4，喂进去一个(5,4,3,2,1)会变成(3,5,4,1,2)。
老司机们可能会把它写成这样：
$egin{pmatrix}1&2&3&4&5\2&1&4&5&3end{pmatrix}\$
例如现在三角形有三个顶点123，那么旋转本质上就是置换:(1,2,3)->(2,3,1)和(1,2,3)->(3,1,2)。
那么burnside引理就是对于k个置换，设在每个置换的作用下保持不变的染色方案为z1...zk，那么在置换意义下不同的染色方案一共有(z1+z2+...+zk)/k种。
应用的时候需要注意，例如转一次和转两次这两个置换都需要考虑，以及本身也是一个置换。
举个老例子，4个格子排成2*2的正方形，用两种颜色染色，旋转之后相同的算同一种，求不同染色方案数。
置换有四个：不动、转90°、转180°、转270°，在这些置换下不变的方案数共有16、2、4、2种，由burnside原理可以知道有(16+2+4+2)/4=6种方案。
接下来讲polya定理。首先，每个置换都可以被分解成若干不相交循环的乘积，什么意思呢？
例如上面的那个置换，我们注意到1->2->1，3->4->5->3，所以就可以写成(12)(345)，(12)、(345)就叫循环。
我们发现在每个置换的作用下保持不变的染色方案，每个循环必须染一样的颜色，所以可以发现z就等于颜色数^循环节个数。
对应到上面那个题目，我们先把正方形四个格子按从左到右从上到下1234编号。
不动：(1)(2)(3)(4)。转90°：(1234)。转180°：(13)(24)。转270°：(1432)。
那么一共也是有(2^4+2^1+2^2+2^1)/4=6种方案。
例1 poj2409
用c种颜色染一个长度为s的环，旋转翻转之后相同的算同一种，求方案数，cs<=32（似乎只是为了保证答案不会太大）。
暴力硬上吧。由于某些原因，置换的循环节我都是用并查集找的你来打我啊
#include <iostream> #include <stdio.h> #include <math.h> #include <string.h> #include <time.h> #include <stdlib.h> #include <string> #include <bitset> #include <vector> #include <set> #include <map> #include <queue> #include <algorithm> #include <sstream> #include <stack> #include <iomanip> using namespace std; #define pb push_back #define mp make_pair typedef pair<int,int> pii; typedef long long ll; typedef double ld; typedef vector<int> vi; #define fi first #define se second #define fe first #define FO(x) {freopen(#x".in","r",stdin);freopen(#x".out","w",stdout);} #define Edg int M=0,fst[SZ],vb[SZ],nxt[SZ];void ad_de(int a,int b){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;}void adde(int a,int b){ad_de(a,b);ad_de(b,a);} #define Edgc int M=0,fst[SZ],vb[SZ],nxt[SZ],vc[SZ];void ad_de(int a,int b,int c){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;vc[M]=c;}void adde(int a,int b,int c){ad_de(a,b,c);ad_de(b,a,c);} #define es(x,e) (int e=fst[x];e;e=nxt[e]) #define VIZ {printf("digraph G{ "); for(int i=1;i<=n;i++) for es(i,e) printf("%d->%d; ",i,vb[e]); puts("}");} #ifdef LOCAL #define TIMER cerr<<clock()<<"ms " #else #define TIMER #endif #define SZ 666666 int ff[SZ]; void init(int n) { for(int i=0;i<=n;i++) ff[i]=-1; } int gf(int x) { return (ff[x]==-1)?x:ff[x]=gf(ff[x]); } void uni(int a,int b) { int ga=gf(a),gb=gf(b); if(ga^gb) ff[ga]=gb; } ll qpl(ll a,ll b) { ll ans=1; while(b) { if(b&1) ans=ans*a; a=a*a; b>>=1; } return ans; } ll query(int c,int s) { ll ans=0; for(int i=0;i<s;i++) { init(s); for(int j=0;j<s;j++) uni(j,(j+i)%s); int xh=0; for(int j=0;j<s;j++) xh+=gf(j)==j; ans+=qpl(c,xh); } for(int i=1;i<=s;i++) { init(s); for(int j=0;j<s;j++) uni(j,((i-j)%s+s)%s); int xh=0; for(int j=0;j<s;j++) xh+=gf(j)==j; ans+=qpl(c,xh); } return ans/(s*2); } int main() { int c,s; while(1) { cin>>c>>s; if(c==0&&s==0) break; cout<<query(c,s)<<" "; } }
然后这种做法显然过于暴力了，我们发现旋转k个位置之后的循环节就是gcd(s,k)，翻转的话，如果奇数就是每个点到对边这样s个置换，每个置换循环节都是(s+1)/2，如果偶数就是对顶点和对边这样各s/2个，对顶点的循环节是s/2+1，对边的是s/2+1。
#include <iostream> #include <stdio.h> #include <math.h> #include <string.h> #include <time.h> #include <stdlib.h> #include <string> #include <bitset> #include <vector> #include <set> #include <map> #include <queue> #include <algorithm> #include <sstream> #include <stack> #include <iomanip> using namespace std; #define pb push_back #define mp make_pair typedef pair<int,int> pii; typedef long long ll; typedef double ld; typedef vector<int> vi; #define fi first #define se second #define fe first #define FO(x) {freopen(#x".in","r",stdin);freopen(#x".out","w",stdout);} #define Edg int M=0,fst[SZ],vb[SZ],nxt[SZ];void ad_de(int a,int b){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;}void adde(int a,int b){ad_de(a,b);ad_de(b,a);} #define Edgc int M=0,fst[SZ],vb[SZ],nxt[SZ],vc[SZ];void ad_de(int a,int b,int c){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;vc[M]=c;}void adde(int a,int b,int c){ad_de(a,b,c);ad_de(b,a,c);} #define es(x,e) (int e=fst[x];e;e=nxt[e]) #define VIZ {printf("digraph G{ "); for(int i=1;i<=n;i++) for es(i,e) printf("%d->%d; ",i,vb[e]); puts("}");} #ifdef LOCAL #define TIMER cerr<<clock()<<"ms " #else #define TIMER #endif #define SZ 666666 int ff[SZ]; void init(int n) { for(int i=0;i<=n;i++) ff[i]=-1; } int gf(int x) { return (ff[x]==-1)?x:ff[x]=gf(ff[x]); } void uni(int a,int b) { int ga=gf(a),gb=gf(b); if(ga^gb) ff[ga]=gb; } ll qpl(ll a,ll b) { ll ans=1; while(b) { if(b&1) ans=ans*a; a=a*a; b>>=1; } return ans; } ll query(int c,int s) { ll ans=0; for(int i=1;i<=s;i++) ans=ans+qpl(c,__gcd(s,i)); int a,b; if(s&1) a=s,b=0; else a=b=s/2; ans+=a*qpl(c,s/2+1); ans+=b*qpl(c,s/2); return ans/(s*2); } int main() { int c,s; while(1) { cin>>c>>s; if(c==0&&s==0) break; cout<<query(c,s)<<" "; } }
（gcd懒得写了，就用__gcd了）
例2 uestc75/tju2795 The Queen's New Necklaces
有一串项链用若干种颜色染色，第i种颜色有mi个，旋转相同的不计，问有多少种不同的项链。
我们考虑枚举旋转i个珠子之后不动的方案数，那么就会有gcd(n,i)个循环节，然后我们设p=n/gcd(n,i)为每个循环节的长度，那么如果有颜色数量不是p的倍数显然不可能有不动的，否则每个循环节颜色要一样，就随便统计一下就是了。
高精度懒得写，就不贴代码了。
例3 poj2154 color
用不超过n种颜色给一个长度为n的环染色，旋转相同的不计，求方案数mod P。n<=10^9，3500组数据。
似乎比例1还水，不过n这么大，显然需要优化。
ll ans=0; for(int i=1;i<=n;i++) ans=ans+qpl(n,__gcd(n,i)); return ans/n;
这是例1关于旋转那部分的代码，那么我们需要优化的实际上就是：$sum_{i=1}^nn^{(i,n)}$
查询oeis可以发现：http://oeis.org/A228640
我们枚举(i,n)的gcd，那么(i/gcd,n/gcd)=1，所以对答案的贡献就是$varphi(frac{n}{gcd})*n^{gcd}$。
那么我们就得到了oeis上的这个公式：$sum_{d|n}{varphi(d)*n^{frac{n}{d}}}$
然后我们发现这个式子似乎不是很好搞......
那么我们不妨枚举n的因数d，暴力算欧拉函数（拿所有质数筛一筛），这样效率应该还挺高的。
因为最后我们没办法除以n，所以算次方的时候要人工-1。
（由于懒没有写qaq有空写吧）