「题解」:$Six$
问题 A: Six
时间限制: 1 Sec 内存限制: 512 MB
题面
题面谢绝公开。
题解
来写一篇正经的题解。
每一个数对于答案的贡献与数本身无关,只与它包含了哪几个质因数有关。
所以考虑二进制记录状态,记忆化搜索。
可以发现,每个数对于答案的贡献与其数值本身无关,只与其所包含的素数集合有关。
举个例子:$6(2^1*3^1),12(2^2*3^1),24(2^3*3^1)$在二进制下可以压成同一个状态,因为他们都只包含{2,3}这个素数集合。
考虑题意所述:新加入的值满足至多与一个已经加入的值不互质。
换一种理解:新加入的值只要与其中两及以上个值不互质就不是合法状态。
所以考虑对这些素数两两配对,记录数对的出现状态。所以压成$2^{21}$个状态,每个状态代表一个数对。(为什么是$21$??$21=C_6^2+6$)
没有理解?举个例子:对于样例,$n=6$,有一种不合法的状态为:${2,3,6}$,当我们加入$6$的时候,它本身包含一个数对${2,3}$,而$2$在已选集合中出现过,$3$在已选集合中某个与$2$出现位置不同的位置出现过,则已选集合在数对${2,3}$对应的二进制下为$1$,此时再加入$6$就不合法了。
总的来讲,我们把$n$的每一个约数都视为一个素数集合,如果当前加入的这个元素有两个或两个以上的素数对在已选集合中的两个及以上集合出现过,则状态不合法。
根据这样来压位存储状态,记忆化搜索一发就完了。
具体实现主要难度在预处理??
代码:
#include<bits/stdc++.h>
#define int long long
#define rint register int
using namespace std;
const int mod=1000000007;
inline void read(int &a)
{
a=0;int b=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')b=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){a=(a<<3)+(a<<1)+ch-'0';ch=getchar();}
a=a*b;return ;
}
int n,sum[1<<6|1],prime[100005],t[7],yxs[100005],cnt[1<<6|1];
int pd[7][7],tag[1<<21|1];
struct node{int x,y;};
bool operator < (node A,node B){
return (A.x==B.x)?A.y<B.y:A.x<B.x;
}
map <node,int> mp;
inline void devide1()
{
int lin=n;
for(rint i=2;i<=sqrt(n);++i)
{
if(lin%i==0)
{
prime[++prime[0]]=i;
t[prime[0]]=1<<(prime[0]-1);
while(lin%i==0)lin/=i;
}
}
if(lin!=1)
{
prime[++prime[0]]=lin;
t[prime[0]]=1<<(prime[0]-1);
}
return ;
}
inline void devide2()
{
for(rint i=1;i<=sqrt(n);++i)
{
if(n%i==0)
{
if(i!=1)yxs[++yxs[0]]=i;
if(n/i!=i)yxs[++yxs[0]]=n/i;
}
}
return ;
}
inline void devide3()
{
for(rint i=1,res;i<=yxs[0];++i)
{
res=0;
for(rint j=1;j<=prime[0];++j)
if(yxs[i]%prime[j]==0)res|=t[j];
cnt[res]++;
}
return ;
}
inline void start()
{
devide1();//cout<<1<<endl;
devide2();//cout<<2<<endl;
devide3();//cout<<3<<endl;
pd[1][1]=1<<0,pd[2][2]=1<<1,pd[3][3]=1<<2;
pd[4][4]=1<<3,pd[5][5]=1<<4,pd[6][6]=1<<5;
pd[1][2]=pd[2][1]=1<<6;pd[1][3]=pd[3][1]=1<<7;
pd[1][4]=pd[4][1]=1<<8;pd[1][5]=pd[5][1]=1<<9;
pd[1][6]=pd[6][1]=1<<10;pd[2][3]=pd[3][2]=1<<11;
pd[2][4]=pd[4][2]=1<<12;pd[2][5]=pd[5][2]=1<<13;
pd[2][6]=pd[6][2]=1<<14;pd[3][4]=pd[4][3]=1<<15;
pd[3][5]=pd[5][3]=1<<16;pd[3][6]=pd[6][3]=1<<17;
pd[4][5]=pd[5][4]=1<<18;pd[4][6]=pd[6][4]=1<<19;
pd[5][6]=pd[6][5]=1<<20;
vector <int> v;
for(rint i=1;i<=(1<<prime[0])-1;++i)
{
v.clear();int res=i;
for(rint j=1;j<=prime[0];++j)
if(res&t[j])v.push_back(j);
for(rint j=0;j<v.size();++j)
for(rint k=j;k<v.size();++k)
tag[i]|=pd[v[j]][v[k]];
}
}
inline int dfs(int us,int ng)
{
node lode=(node){us,ng};
if(mp[lode])return mp[lode]%mod;
for(rint i=1;i<=(1<<prime[0])-1;++i)
{
if(tag[i]&ng)continue;
int lin=ng;
for(rint j=1;j<=prime[0];++j)
{
if(!(i&t[j]))continue;
for(rint k=1;k<=prime[0];++k)
{
if(!(us&t[k]))continue;
lin|=pd[j][k];
}
}
mp[lode]=(mp[lode]+cnt[i]*(dfs(us|i,lin)%mod+1))%mod;
}
return mp[lode]%mod;
}
signed main()
{
read(n);start();
printf("%lld\n",dfs(0,0));
return 0;
}
「题解」:$Six$的更多相关文章
- 「题解」「美团 CodeM 资格赛」跳格子
目录 「题解」「美团 CodeM 资格赛」跳格子 题目描述 考场思路 思路分析及正解代码 「题解」「美团 CodeM 资格赛」跳格子 今天真的考自闭了... \(T1\) 花了 \(2h\) 都没有搞 ...
- 「题解」「HNOI2013」切糕
文章目录 「题解」「HNOI2013」切糕 题目描述 思路分析及代码 题目分析 题解及代码 「题解」「HNOI2013」切糕 题目描述 点这里 思路分析及代码 题目分析 这道题的题目可以说得上是史上最 ...
- 「题解」JOIOI 王国
「题解」JOIOI 王国 题目描述 考场思考 正解 题目描述 点这里 考场思考 因为时间不太够了,直接一上来就着手暴力.但是本人太菜,居然暴力爆 000 ,然后当场自闭- 一气之下,发现对 60pts ...
- 「题解报告」 P3167 [CQOI2014]通配符匹配
「题解报告」 P3167 [CQOI2014]通配符匹配 思路 *和?显然无法直接匹配,但是可以发现「通配符个数不超过 \(10\) 」,那么我们可以考虑分段匹配. 我们首先把原字符串分成多个以一个通 ...
- Linux 小知识翻译 - 「RAID」
最近术语「RAID」变得比较有名.「RAID」是指将多个HDD组合起来使用,从而提高存储可靠性的一种技术. 那么,关于 RAID 中的 「RAID 0」「RAID 1」「RAID 5」等各种「RAID ...
- 正则表达式从入门到放弃「Java」
正则表达式能做什么? 正则表达式可以用来搜索.编辑或处理文本. 「都懂它可以处理文本,可到底是怎么回事?」 正则表达式的定义 百度百科:正则表达式是对字符串操作的一种逻辑公式,就是用事先定义好的一些特 ...
- 「题解」:[loj2763][JOI2013]现代豪宅
问题 A: 现代豪宅 时间限制: 1 Sec 内存限制: 256 MB 题面 题目描述 (题目译自 $JOI 2013 Final T3$「現代的な屋敷」) 你在某个很大的豪宅里迷路了.这个豪宅由东 ...
- Scala 学习(10)之「集合 」
数组 定长数组 Array:采用()访问,而不是[],下标从 0 开始. val array1 = new Array[String](5) //创建数组 println(array1) //返回数组 ...
- JavaScript OOP 之「创建对象」
工厂模式 工厂模式是软件工程领域一种广为人知的设计模式,这种模式抽象了创建具体对象的过程.工厂模式虽然解决了创建多个相似对象的问题,但却没有解决对象识别的问题. function createPers ...
- Facebook 发布「流程」
时不时就会在面试过程中碰到有候选人问 Facebook 是否采用 Scrum 之类的敏捷方法,偶尔也会有中国的朋友问及 Facebook 上线流程.我通常会简单说几句,然后说「如果你真感兴趣的话,去搜 ...
随机推荐
- gene network analysis
基因表达分析包括3个层次[68], 首先是单基因水平, 即比较对照组与实验组的每个基因是否存在表达差异, 这主要指差异基因表达分析; 其次是多基因水平, 如按照基因的共同功能.相互作用.共同表达等 ...
- 第六周-Scrum Meeting
第一部分ScrumMeeting 每个人的工作: 成员 任务 ISSUE链接 本周已完成的工作 本周计划完成的工作 工作中遇到的困难 李卓峻 负责商品信息页面的界面设计与功能实现 https://gi ...
- Python基础教程(012)--排查手误错误
前言 排查由于手误书写错误的方法 内容 手动输入错误的时候,颜色是红色 函数名称写错 1,颜色不一样 2,nameError错误 掌握知识点 学会在写代码的时候排查错误
- Gym101158 J 三分 or 模拟退火 Cover the Polygon with Your Disk
目录 Gym101158 J: 求圆与给定凸多边形最大面积交 模拟退火 三分套三分 模拟退火套路 @ Gym101158 J: 求圆与给定凸多边形最大面积交 传送门:点我点我 求 $10 $ 个点组成 ...
- linux日常---1、linux下安装、查看、卸载包常用命令
linux日常---1.linux下安装.查看.卸载包常用命令 一.总结 一句话总结: 对比学习 1.linux如何查看系统中安装的程序? rpm -qa # 查看所有安装的软件包 2.linux ...
- linux卸载
centos平台 yum remove xxxrpm包,rpm -e xxxtar包直接删除该文件或者make uninstall xxx
- kafka 简单安装以及java小demo
文章目录 第1步,下载解压 kafka: 第2步,运行 kafka: 第3步,创建topic 第4步,生产者发送消息 第5步,消费者接收消息 使用 java 客户端 kafka 0.8.0版本demo ...
- 31. Git与Github
Github介绍 GitHub是一个面向开源及私有软件项目的托管平台,因为只支持git 作为唯一的版本库格式进行托管,故名gitHub. GitHub于2008年4月10日正式上线,除了Git代码仓库 ...
- Vue环境搭建及第一个helloWorld
Vue环境搭建及第一个helloWorld 一.环境搭建 1.node.js环境安装配置 https://www.cnblogs.com/liuqiyun/p/8133904.html 或者 htt ...
- java中多态的要点
多态有三要素 继承.方法重写.父类引用指向子类对象 多态可以理解成两个部分:一个是编译时,一个是运行时 编译时:定义规则:运行时:具体实现这个规则. 编译时:把父类强制转换成子类不会报错:运行时:先去 ...