polya/burnside 学习

参考链接：

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)。

老司机们可能会把它写成这样：

$\begin{pmatrix}1&2&3&4&5\\2&1&4&5&3\end{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{\n"); for(int i=1;i<=n;i++) for es(i,e) printf("%d->%d;\n",i,vb[e]); puts("}");}
#ifdef LOCAL
#define TIMER cerr<<clock()<<"ms\n"
#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)<<"\n";
    }
}

然后这种做法显然过于暴力了，我们发现旋转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{\n"); for(int i=1;i<=n;i++) for es(i,e) printf("%d->%d;\n",i,vb[e]); puts("}");}
#ifdef LOCAL
#define TIMER cerr<<clock()<<"ms\n"
#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)<<"\n";
    }
}

（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有空写吧）

posted @ 2016-10-12 23:03 fjzzq2002 阅读(854) 评论(0) 编辑收藏举报

会员力量，点亮园子希望

刷新页面返回顶部

polya/burnside 学习

公告