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 ...
随机推荐
- Android项目包装apk和apk反编译,xml反编译
一.项目和一般原则其不足之处包 (1)开发一个简单的项目.当发布了APK档.假设我们不使用签名的方式,直接地bin文件夹中找到*.apk档.非常方便,但是,当我们在使用的用户,可能有其他方案覆盖安装. ...
- BZOJ 1150 CTSC2007 数据备份Backup 堆+馋
标题效果:给定一个长度n−1n-1的序列,要求选出kk个不相邻的数使得和最小 费用流显然能跑.并且显然过不去- - 考虑用堆模拟费用流 一个错误的贪心是每次取最小.这样显然过不去例子 我们把[每次取最 ...
- jquery处理页面元素
处理父级页面中的元素 $(parent.document).find('#hidSendPerson').val(val);$(parent.document).find('#btnGo').clic ...
- 修改字符串中特定的内容,用于OpenRecovery Script
下面的是实例内容 目标是把OpenRecovery Script输入的内容进行修改 当有下面的输入:(作用是安装/emmc目录下面的update-signed.zip 刷机包) install /em ...
- linux---Vim命令集
Vim命令集 命令历史 以:和/开头的命令都有历史纪录,能够首先键入:或/然后按上下箭头来选择某个历史命令. 启动vim 在命令行窗体中输入下面命令就可以 vim 直接启动vim vim filena ...
- Lua之Lua数据结构-TTLSA(6)(转) good
一. tabletable是lua唯一的数据结构.table 是 lua 中最重要的数据类型. table 类似于 python 中的字典.table 只能通过构造式来创建.其他语言提供的其他数据结构 ...
- 用bat 删除当前文件夹下的某类文件
@echo on for /r %%f in (*.pdb,*.xml) do del %%f 保存为bat文件执行!
- leetcode:pascal's_triangle_II
一. 称号 一行值. 二. 分析 这道题跟Pascal'sTriangle非常类似,仅仅是这里仅仅须要求出某一行的结果.Pascal's Triangle中由于是求出所有结果,所以我们 ...
- SDL2来源分析3:渲染(SDL_Renderer)
===================================================== SDL源代码分析系列文章上市: SDL2源码分析1:初始化(SDL_Init()) SDL2 ...
- Hibernate在关于一对多,多对一双向关联映射
[Hibernate]之关于一对多,多对一双向关联映射 因为一对多.和多对一的双向关联映射基本上一样,所以这里就一起写下来! Annotations配置 @Entity @Table(name=&qu ...