polay定理总结
感觉近期一直easy遇见这样的题目....... 略微复杂一点的就不太会
先是一个总结出来的定理:
用一个最简单的样例来说明
对2*2的方阵用黑白两种颜色涂色,问能得到多少种不同的图像?经过旋转使之吻合的两种方案,算是同一种方案。
设G={p1,p2,…,pg}是Ω上的一个置换群比方置换群G={转0°。转90°,转180°,转270°}
C(pk)是置换pk的循环的个数
G1置换{转0° }的循环节是4。 {(1),(2),(3),(4)}
G2置换{转90° }的循环节是1, {(4,3,2,1)}
G3置换{转180°}的循环节是2, {(1,3),(2,4)}
G4置换{转270°}的循环节是1。 {(1,2,3,4)}
用M中的颜色对Ω中的元素着色,
着色方案数为 L = 1/|G|*[c1(p1)+c1(p2)+c1(p3)+...c1(p[g])]
= 1/|G|*[m^c(p1)+m^c(p2)+m^c(p3)+...m^c(p[g])]
|G|为置换的总个数,m颜色数
c1(pi)指置换pi的不动点的数目(既循环节为1的点数)
watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvdTAxMDQ2ODU1Mw==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="">
明显四个数分别为 16 2 4 2
L = 1/|G| * [16 + 2 + 4 + 2] = 6
c(pi)指的是置换pi的循环个数。
L = 1/|G| *[ 2^4 + 2^1 + 2^2 + 2^1 ] = 6
先来一个简单的题目:
poj 2409 :http://poj.org/problem?
id=2409
题目大意:
一家项链公司生产手镯。n颗珠子形成一个环,用m种颜色给n颗珠子染色,就得到了各种各样的手镯。可是,经过旋转和翻转使之吻合的算同一种方案。
比如,当用2种颜色对5颗珠子进行染色的方案数为8。
题目解法:
一: 旋转 (比方说是有n个珠子。每次能够旋转的角度就是360/n)
二: 翻转 (考虑对称轴。奇数个珠子,那每次对称轴能够穿过一个珠子。则一共同拥有n个对称轴)
偶数个珠子,每一个对称轴穿过的是两个珠子,一共同拥有n/2个对称轴,或者说每一个对称轴不穿过珠子,这种对称轴也是n/2个
所以综上来说无论是奇数或者偶数。其变化方式都是有2*n种翻转。
能够证明的是每个翻转其循环节各自是gcd(i,n) 0<i<=n
#include <iostream>
#include <stdio.h>
#include <string.h>
#include <math.h>
using namespace std; int gcd(int a,int b){
return b==0?a:gcd(b,a%b);
} long long rotate(int c,int n){ //旋转 旋转 (360/n) * i 度
long long sum=0;
for(int i=1;i<=n;i++) sum+=pow(c*1.0,gcd(n,i)); //每次旋转的循环节是gcd(n,i)
return sum;
} long long turn(int c,int n){ //翻转
long long sum=0;
if(n%2)
sum+=n*pow(c*1.0,(n+2)/2); //奇数则对称轴都是穿过一个珠子 一共n个 每一个置换的循环节是n/2+1
else
sum+=n/2*(pow(c*1.0,n/2)+pow(c*1.0,(n+2)/2)); //偶数则穿过珠子或者不穿过珠子 各自是n/2 个 循环节是n/2+1 和 n/2 能够用下面公式算出
return sum;
} void polya(int c,int n){
int i,j;
long long sum=0;
sum+=rotate(c,n);
sum+=turn(c,n);
printf("%lld\n",sum/(2*n));
} int main()
{
int n,m;
while(scanf("%d%d",&n,&m),n||m){
polya(n,m);
}
return 0;
}
#include<cstring>
#include<string>
#include<fstream>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cctype>
#include<algorithm>
#include<queue>
#include<map>
#include<set>
#include<vector>
#include<stack>
#include<ctime>
#include<cstdlib>
#include<functional>
#include<cmath>
using namespace std;
#define PI acos(-1.0) #define eps 1e-7
#define INF 0x7FFFFFFF
#define LLINF 0x7FFFFFFFFFFFFFFF
#define seed 1313131
#define MOD 1000000007
#define ll long long
#define ull unsigned ll
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1 //求置换的循环节,polya原理
//perm[0..n-1]为0..n-1的一个置换(排列)
//返回置换最小周期,num返回循环节个数
#define MAXN 1000 int gcd(int a,int b){
return b?gcd(b,a%b):a;
} int polya(int* perm,int n,int& num){
int i,j,p,v[MAXN]={0},ret=1;
for (num=i=0;i<n;i++)
if (!v[i]){
for (num++,j=0,p=i;!v[p=perm[p]];j++)
v[p]=1;
ret*=j/gcd(ret,j);
}
return ret;
} int main (){
int perm1[6]={0,5,4,3,2,1};
int perm2[6]={1,0,5,4,3,2};
int num;
cout<<polya(perm2,6,num)<<endl;
cout<<num<<endl;
}
版权声明:本文博客原创文章。博客,未经同意,不得转载。
polay定理总结的更多相关文章
- Burnside引理与polay定理
#Burnside引理与polay定理 引入概念 1.置换 简单来说就是最元素进行重排列 是所有元素的异议映射,即\([1,n]\)映射到\([1,n]\) \[ \begin{pmatrix} 1& ...
- Burnside引理和polay计数学习小记
在组合数学中有这样一类问题,比如用红蓝两种颜色对2*2的格子染色,旋转后相同的算作一种.有多少种不同的染色方案?我们列举出,那么一共有16种.但是我们发现,3,4,5,6是同一种,7,8,9,10是用 ...
- POJ 2409 Let it Bead(polay计数)
题目链接:http://poj.org/problem?id=2409 题意:给出一个长度为m的项链,每个珠子可以用n种颜色涂色.翻转和旋转后相同的算作一种.有多少种不同的项链? 思路: (1) 对于 ...
- POJ 2409 Let it Bead【Polya定理】(模板题)
<题目链接> 题目大意:用k种颜色对n个珠子构成的环上色,旋转.翻转后相同的只算一种,求不等价的着色方案数. 解题分析: 对于这种等价计数问题,可以用polay定理来解决,本题是一道pol ...
- 《程序设计中的组合数学》——polya计数
我们在高中的组合数学中常常会碰到有关涂色的问题,例如:用红蓝两种颜色给正方形的四个顶点涂色,会有几种不同的方案.在当时,我们下意识的认为,正方形的四个顶点是各不相同的,即正方形是固定的.而实际上我们知 ...
- POJ 2409 Let it Bead 组合数学
题目地址: http://poj.org/problem?id=2409 给你一串珠子有m个,用n种不同的颜色涂色,问有多少种分法. 用polay定理求解,对于排成一排的带编号的小球,按照某一种方案改 ...
- OI数学 简单学习笔记
基本上只是整理了一下框架,具体的学习给出了个人认为比较好的博客的链接. PART1 数论部分 最大公约数 对于正整数x,y,最大的能同时整除它们的数称为最大公约数 常用的:\(lcm(x,y)=xy\ ...
- luogu P1446 [HNOI2008]Cards
题目链接 luogu P1446 [HNOI2008]Cards 题解 题意就是求染色方案->等价类 洗牌方式构成成了一个置换群 然而,染色数限制不能用polay定理直接求解 考虑burnsid ...
- 【HDU 3037】Saving Beans Lucas定理模板
http://acm.hdu.edu.cn/showproblem.php?pid=3037 Lucas定理模板. 现在才写,noip滚粗前兆QAQ #include<cstdio> #i ...
随机推荐
- Ubuntu 13.04 用户安装 gnome 3.8 桌面
昨天我试用了一把 Ubuntu gnome 13.04,如果你看了那一片文章:Ubuntu Gnome 13.04 体验截图.对 Ubuntu gnome 13.04 并不是采用的gnome 3.8 ...
- UVA 11248 - Frequency Hopping(网络流量)
UVA 11248 - Frequency Hopping 题目链接 题意:给定一个网络,如今须要从1到N运输流量C,问是否可能,假设可能输出可能,假设不可能,再问能否通过扩大一条边的容量使得可能,假 ...
- 2048 Puzzle游戏攻略
2048 Puzzle这是目前手机游戏的很火. 在地铁上经常看到的人玩这个游戏. 首先,简介2048 Puzzle游戏. 游戏界面是4X4广场格,每一方格可以放置在数字. 有四种移动数字的方法,向左. ...
- 採訪The Molasses Flood:BioShock Infinite 游戏之后又一大作
Xsolla有幸与Flame in the Flood游戏的开发人员之中的一个-----Forrest Dowling进行了採訪,Flame in the Flood这款非常棒的游戏在Kickstar ...
- JSON.stringify 语法解释
行为:此函数的作用主要是串行化对象. 或许有些人是过敏的字系列.我非常理解easy.是对象的类型转换成字符串类型(或者更确切的说是json类型的).就这么简单.打个例如说,你有一个类,那么你能够通过这 ...
- The area面积计算
Problem Description Ignatius bought a land last week, but he didn't know the area of the land becaus ...
- Android新建项目后src下没有自动生成文件
最近开始学Android了,按照教材新建了一个项目,发现src下没有自动生成文件,怎么回事呢? 出现这种可能的原因很可能是ADT与SDK版本不同,造成不兼容. 在ADT(或者eclipse)中的hel ...
- java提高篇(六)-----关键字static
一. static代表着什么 在Java中并不存在全局变量的概念,但是我们可以通过static来实现一个"伪全局"的概念,在Java中static表示"全局"或 ...
- ubuntu 在下面 hadoop 安装
这两天已经安装hadoop 这些道路是曲折的,记录它 在redhat安装后一直无法开始datanode,因为jdk 问题,换了一个jdk后问题依然,自己猜測是redhat版本号太低的原因,于是仅仅好舍 ...
- HDU 2063:过山车(偶匹配,匈牙利算法)
过山车 Time Limit: 1000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submis ...