bzoj 4199 [NOI2015]寿司晚宴

Description

为了庆祝 NOI 的成功开幕，主办方为大家准备了一场寿司晚宴。小 G 和小 W 作为参加 NOI 的选手，也被邀请参加了寿司晚宴。

在晚宴上,主办方为大家提供了 n−1 种不同的寿司，编号 1,2,3,…,n−1，其中第 i 种寿司的美味度为 i+1 （即寿司的美味度为从 2 到 n）。

现在小 G 和小 W 希望每人选一些寿司种类来品尝，他们规定一种品尝方案为不和谐的当且仅当：小 G 品尝的寿司种类中存在一种美味度为 x 的寿司，小 W 品尝的寿司中存在一种美味度为 y 的寿司，而 x 与 y 不互质。

现在小 G 和小 W 希望统计一共有多少种和谐的品尝寿司的方案（对给定的正整数 p 取模）。注意一个人可以不吃任何寿司。

Input

输入文件的第 1 行包含 2 个正整数 n,p，中间用单个空格隔开，表示共有 n 种寿司，最终和谐的方案数要对 p 取模。

Output

输出一行包含 1 个整数，表示所求的方案模 p 的结果。

Sample Input

3 10000

Sample Output

HINT

2≤n≤500

0<p≤1000000000

Source

这是第二遍码这个题的题解了,第一遍快打完的时候被我菊儿子手贱删掉了

题目要让两个集合中的所有数互质,那么就是相同的质因子不能位于两个不同的集合中

所以这个题的限制和突破口其实就是质因子

我们容易发现选了一个数就是相当与选了这个数的质因子的集合,所以我们需要对每个数进行质因数分解

但是500以内的质数还是比较多的,我们无法通过比较快捷有效的方法每个质因子是否出现过

然后我们就需要知道一个很鬼的东西:

在一个数的所有质因子中最多只有一个会大于sqrt(n);

证明:一个数可以被分解为几个质因子相乘,且这种分解是唯一的,如果有两个质数大于sqrt(n),那么乘积就会大于n,矛盾

那么sqrt(500)==22.36,在这里面的质数只有8个{2,3,5,7,9,11,13,17,19}.

这样一个数小于sqrt(n)的因子就可以用状态压缩来完美判断是否出现,我们还需要对大于sqrt的质因子特殊处理

用一个结构体来存储一个数

一是要记录这个数前8个因子的二进制状态:zt,二是记录大于等于sqrt(n)的因子 greatest是多少,如果没有则记为1

我们把数按照greatest排序那么我们可以把greatest相同的放在一起

我们易发现greatest相同且不为1的必须捆绑处理:必须是只放入第一个人或者只放入第二个人或者都不放入

我们讲到现在就可以设状态了

f[s1][s2]表示全局第一个人选集合s1,第二个人选集合s2的方案数(s1,s2都是表示一个二进制的状态);

g[0][s1][s2],g[1][s1][s2]是临时由f[s1][s2]赋值,再反过来更新f[s1][s2]

g[0][s1][s2]表示第一个人选s1,第二个人选s2,且当前这个数由第一个人选的方案

g[1][s1][s2]则反之

比如把一个数由第一个人选那么我们首先要判断a[i].zt&s2==0,即该数不会与第二个人的集合s2发生矛盾

我们易想到到转移方程

g[0][a[i].zt| s1][s2]+=g[0][s1][s2];

做一遍DP,直到完整的区间结束后由g[0][s1][s2],g[1][s1][s2]赋值给f[s1][s2],这样会保证这个区间的所有数的选择是一样的,不会分居两个集合

但由于都不选的算了两次,所以f[i][j]=g[0][s1][s2]+g[1][s1][s2]-f[s1][s2]

这个题要搞清楚f和g的转化时间,最后统计答案即可

这样就AC了

// MADE BY QT666

#include<cstdio>

#include<algorithm>

#include<cmath>

#include<iostream>

#include<queue>

#include<set>

#include<cstdlib>

#include<cstring>

#include<string>

#include<ctime>

#define lson num<<1

#define rson num<<1|1

#define int long long

using namespace std;

const int MAXS=257;

const int N=550;

const int S=255;

int gi()

{

	int x=0,flag=1;

	char ch=getchar();

	while(ch<'0'||ch>'9'){if(ch=='-') flag=-1;ch=getchar();}

	while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();

	return x*flag;

}

struct data

{

	int zt,greatest;

}a[N];

int n,mod,f[MAXS][MAXS],g[2][MAXS][MAXS];

int biao[10]={2,3,5,7,11,13,17,19};

void pre(){

	for(int i=2;i<=n;i++) {

        int x=i;

        for(int j=0;j<8;j++) {

            if(x%biao[j]>0) continue;

            a[i].zt|=(1<<j);

            while(x%biao[j]==0) x/=biao[j];

        }

        a[i].greatest=x;

    }

}

bool cmp(data a,data b){

	return  a.greatest<b.greatest;

}

void work(){

	for(int i=2;i<=n;i++){

		if(i==2||a[i].greatest!=a[i-1].greatest||a[i].greatest==1){

			memcpy(g[0],f,sizeof(f));

			memcpy(g[1],f,sizeof(f));

		}

		for(int j=S;j>=0;j--)

			for(int k=S;k>=0;k--){

				if((j&k)==0){

					if((a[i].zt&k)==0)

						g[0][a[i].zt|j][k]+=g[0][j][k],g[0][a[i].zt|j][k]%=mod;

					if((a[i].zt&j)==0)

						g[1][j][a[i].zt|k]+=g[1][j][k],g[1][j][a[i].zt|k]%=mod;

				}

			}

		if(n==2||a[i].greatest!=a[i+1].greatest||a[i].greatest==1){

			for(int j=S;j>=0;j--)

				for(int k=S;k>=0;k--){

					if((j&k)==0){

						f[j][k]=g[0][j][k]+g[1][j][k]-f[j][k];

					}

				}

		}

	}

}

main()

{

	n=gi(),mod=gi();

	pre();

	sort(a+2,a+1+n,cmp);

	f[0][0]=1;

	work();

	int ans=0;

    for(int i=S;i>=0;i--)

        for(int j=S;j>=0;j--)

            if((i&j)==0)

                ans+=f[i][j],ans%=mod;

	while(ans<0) ans+=mod;ans%=mod;

	printf("%lld",ans);

}