$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;
}
随机推荐
- 部分类Partial
Partial告诉编译器,一个类,结构,接口的定义源代码可能要分散到一个或者多个源文件中. 在下面的情况下用Partial类型: (1) 类型特别大,不宜放在一个文件中实现.(2) 一个类型中的一部分 ...
- OpenNI depth深度数据的数据格式
图像如何打开 如何查看它的数据格式并一个个读取 试一下ENVI等 可见,灰度图的Data只有一个值[0],而彩色图的Data却有三个值[142,119,113]. 这是用ENVI的Cursor Val ...
- sql语言的一大类 DML 数据的操纵语言
-DML(insert,update,delete) 1.插入数据insert into 表名(列,列...)values(值,值...)//当插入的数据与表格一一对应时,列可以省略insert in ...
- SocketAsyncEventArgs
SocketAsyncEventArgs是.net提供的关于异步socket类,封装了IOCP的使用,可以用它方便的实现NIO(non-blocking IO) NIO对于提升某些场景下Server性 ...
- Hibernate Validator bean-validator-3.0-JBoss-4.0.2
信息: Hibernate Validator bean-validator-3.0-JBoss-4.0.2 后面是一大段错误信息不贴出来了... 解决方案:hibernate配置文件中加入 < ...
- 18、Semantic-UI之进度条
在使用进度条的时候也是必须要结合项目中ajax和后台数据结合使用的. 示例:定义基础进度条 <div class="ui progress"> <div cl ...
- Java的StringTokenizer类
StringTokenizer是java中object类的一个子类,继承自 Enumeration接口.此类允许一个应用程序进入一个令牌(tokens),而且StringTokenizer类用起来比S ...
- Android-动态添加控件到ScrollView
在实际开发过程中,会需要动态添加控件到ScrollView,就需要在Java代码中,找到ScrollView的孩子(ViewGroup),进行添加即可. Layout: <?xml versio ...
- Centos7 因内存 可用大小不足,被killed的解决办法
Linux的内存分配采取的是一种更加积极的分配策略,它假设应用申请了内存空间后并不会立即去使用它,所以允许一定量的超售,当应用真的需要使用它的时候,操作系统可能已经通过回收了其他应用的内存空间而变得有 ...
- SELinux导致无法访问外网,PHP连接MySQL异常Can't connect to MySQL server、redis程序访问提示Redis server went away的解决方法
今天上班遇到的问题,新配的Linux服务器,php.Apache和一系列扩展插件装好后,在本地好好的程序移上去就一直抱数据库连接错误,而用sql命令却能连接上去, 做了一个简单的判断数据库连接页面还是 ...