$bzoj1025-SCOI2009$游戏 群论 $dp$
题面描述
\(windy\)学会了一种游戏。对于\(1\)到\(N\)这\(N\)个数字,都有唯一且不同的1到N的数字与之对应。最开始\(windy\)把数字按顺序\(1,2,3,\cdots,N\)写一排在纸上。然后再在这一排下面写上它们对应的数字。然后又在新的一排下面写上它们对应的数字。如此反复,直到序列再次变为\(1,2,3,\cdots,N\)。 如:$ 1\ 2\ 3\ 4\ 5\ 6$ 对应的关系为 \(1\to 2\ 2\to 3\ 3\to 1\ 4\to 5\ 5\to 4\ 6\to 6\) ,\(windy\)的操作如下:
1 2 3 4 5 6
2 3 1 5 4 6
3 1 2 4 5 6
1 2 3 5 4 6
2 3 1 4 5 6
3 1 2 5 4 6
1 2 3 4 5 6
* 这时,我们就有若干排$1$到$N$的排列,上例中有$7$排。现在$windy$想知道,对于所有可能的对应关系,有多少种可能的排数。输入格式
- 包含一个整数\(N,1 \leq N \leq 10^3\)
输出格式
- 包含一个整数,可能的排数。
题解
- 在做此题前,建议各位先行了解群论及置换概念。
- 在了解置换的概念后,我们不难发现原题可以抽象为对于\(1\)~\(n\)的排列的所有可能置换 统计通过置换回到原排列的可能不同次数。
- 我们可以将置换写成循环节的形式,即\((a\ b\ c)(d\ e)(f)\),由循环节的性质得 通过该置换回到原排列的次数为\(lcm\)(各循环节长度)。
- 简单证明:
- 一个循环节最后回到自己需\(k*len\ (k\in N^*)\),\(len\)为循环节长度。
- 让所有循环节同时回到自己需\(lcm(len_1,\cdots,len_x)\),\(x\)为总循环节个数。
- 现在,我们把题意转化为求所有{\(a_m\)},使\(\sum_{i=1}^m a_i\)=n,求这样的数列的\(lcm(a_1,\cdots,a_m)\)的不同个数。
- 当你用当前结论做\(dp\)时,不难发现,你无论怎样\(dp\)都会重复计数。
- 我们考虑反过来做,当我们能得到\(lcm=\prod_{i=1}^k p_i\),要使得能得到该\(lcm\)的和最小的数列为,即\(a_i=p_i^r\)。
- 证明:可类比字符串中最小表示法,如此对于一个\(p_i\),我们有唯一表示其的方法。又因为质因数分解也是唯一的,因此对于\(lcm\),我们得到唯一表示其的数列。
- 然后,问题进一步转化为找到所有以质因数为数列,且\(s_n\leq n\)的数列个数,当\(s_n<n\)时余下的用长度为1的循环节代替。
- 这样,我们对所有\(p_i^1,p_i^2,\cdots,p_i^r\)做背包即可。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int MAXN=1e3+4;
int pri[MAXN];
bool use[MAXN];
int n;
ll f[MAXN][MAXN];
int main(){
scanf("%d",&n);
for (int i=2;i<=n;i++){
if (!use[i]) pri[++pri[0]]=i;
for (int j=1;j<=pri[0]&&i*pri[j]<=n;j++){
use[i*pri[j]]=1;
if (i%pri[j]==0) break;
}
}
// cout<<pri[0]<<endl;
f[0][0]=1;
for (int i=1;i<=pri[0];i++){
for (int j=0;j<=n;j++) f[i][j]=f[i-1][j];
for (int j=pri[i];j<=n;j*=pri[i]){
for (int k=0;k<=n-j;k++){
f[i][j+k]+=f[i-1][k];
}
}
}
ll ans=0;
for (int i=0;i<=n;i++) ans+=f[pri[0]][i];
printf("%lld\n",ans);
return 0;
}
随机推荐
- Vmware下CentOs7 桥接模式下配置固定IP
1.安装完CentOS7后 修改虚拟机网络适配器配置:改成桥接模式 2.设置Vmware的 编辑->虚拟网络编辑器 3.重启CentOs7 , 查看网络 # ip addr interface是 ...
- UnicodeDecodeError: 'ascii' codec can't decode byte 0xe6 in position 12: ordinal not in range(128)问题解决
今天在验证字符串是否包含的时候报错:UnicodeDecodeError: 'ascii' codec can't decode byte 0xe6 in position 12: ordinal n ...
- LightOJ 1268 Unlucky Strings (KMP+矩阵快速幂)
题意:给出一个字符集和一个字符串和正整数n,问由给定字符集组成的所有长度为n的串中不以给定字符串为连续子串的有多少个? 析:n 实在是太大了,如果小的话,就可以用动态规划做了,所以只能用矩阵快速幂来做 ...
- CodeForces 427B Prison Transfer (滑动窗口)
题意:给定 n, t, c 和 n 个数,问你在这 n 个数中有多少连续的 c 个数,并且这个 c 个数不大于 t. 析:很简单么,是滑动窗口,从第一个开始遍历,如果找到 c 个数,那么让区间前端点加 ...
- Spring MVC @RequestMapping浅析
简介:@RequestMappingRequestMapping是一个用来处理请求地址映射的注解,可用于类或方法上.用于类上,表示类中的所有响应请求的方法都是以该地址作为父路径.RequestMapp ...
- python3操作Excel openpyxl模块的使用
python 与excel 安装模块 本例子中使用的模块为: openpyxl 版本为2.4.8 安装方法请参看以前发表的文章(Python 的pip模块安装方法) Python处理Excel表格 使 ...
- Android-看操作系统短信应用源码-隐式意图激活短信界面
选择模拟器Unknown Google Nexus,在选择system_process(系统进程) 操作模拟器的,操作系统短信应用,让操作系统短信打印日志,来查看: 然后就找到来,操作系统短信应用打印 ...
- List<object>进行Distinct()去重
有时我们会对一个list<T>集合里的数据进行去重,C#提供了一个Distinct()方法直接可以点得出来.如果list<T>中的T是个自定义对象时直接对集合Distinct是 ...
- BZOJ2430 chocolate
有一个显然的想法是因为最后要花分成n*m个小块,所以每条边一定是要被切开的. 所以直接排序就可以了qwq,按照代价从大到小切一定是最优的. #include<iostream> #incl ...
- 【qbxt五一】day2
简单数据结构 入门题: 在初学OI的时候,总会遇到这么一道题. 给出N次操作,每次加入一个数,或者询问当前所有数的最大值. 维护一个最大值Max,每次加入和最大值进行比较. 时间复杂度O(N). 给出 ...