问题 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$的更多相关文章

  1. 「题解」「美团 CodeM 资格赛」跳格子

    目录 「题解」「美团 CodeM 资格赛」跳格子 题目描述 考场思路 思路分析及正解代码 「题解」「美团 CodeM 资格赛」跳格子 今天真的考自闭了... \(T1\) 花了 \(2h\) 都没有搞 ...

  2. 「题解」「HNOI2013」切糕

    文章目录 「题解」「HNOI2013」切糕 题目描述 思路分析及代码 题目分析 题解及代码 「题解」「HNOI2013」切糕 题目描述 点这里 思路分析及代码 题目分析 这道题的题目可以说得上是史上最 ...

  3. 「题解」JOIOI 王国

    「题解」JOIOI 王国 题目描述 考场思考 正解 题目描述 点这里 考场思考 因为时间不太够了,直接一上来就着手暴力.但是本人太菜,居然暴力爆 000 ,然后当场自闭- 一气之下,发现对 60pts ...

  4. 「题解报告」 P3167 [CQOI2014]通配符匹配

    「题解报告」 P3167 [CQOI2014]通配符匹配 思路 *和?显然无法直接匹配,但是可以发现「通配符个数不超过 \(10\) 」,那么我们可以考虑分段匹配. 我们首先把原字符串分成多个以一个通 ...

  5. Linux 小知识翻译 - 「RAID」

    最近术语「RAID」变得比较有名.「RAID」是指将多个HDD组合起来使用,从而提高存储可靠性的一种技术. 那么,关于 RAID 中的 「RAID 0」「RAID 1」「RAID 5」等各种「RAID ...

  6. 正则表达式从入门到放弃「Java」

    正则表达式能做什么? 正则表达式可以用来搜索.编辑或处理文本. 「都懂它可以处理文本,可到底是怎么回事?」 正则表达式的定义 百度百科:正则表达式是对字符串操作的一种逻辑公式,就是用事先定义好的一些特 ...

  7. 「题解」:[loj2763][JOI2013]现代豪宅

    问题 A: 现代豪宅 时间限制: 1 Sec  内存限制: 256 MB 题面 题目描述 (题目译自 $JOI 2013 Final T3$「現代的な屋敷」) 你在某个很大的豪宅里迷路了.这个豪宅由东 ...

  8. Scala 学习(10)之「集合 」

    数组 定长数组 Array:采用()访问,而不是[],下标从 0 开始. val array1 = new Array[String](5) //创建数组 println(array1) //返回数组 ...

  9. JavaScript OOP 之「创建对象」

    工厂模式 工厂模式是软件工程领域一种广为人知的设计模式,这种模式抽象了创建具体对象的过程.工厂模式虽然解决了创建多个相似对象的问题,但却没有解决对象识别的问题. function createPers ...

  10. Facebook 发布「流程」

    时不时就会在面试过程中碰到有候选人问 Facebook 是否采用 Scrum 之类的敏捷方法,偶尔也会有中国的朋友问及 Facebook 上线流程.我通常会简单说几句,然后说「如果你真感兴趣的话,去搜 ...

随机推荐

  1. 一张图告诉你js为什么要加分号

    当js代码被压缩或者通过其他方式改变你的编码结构时,分号能够给编译器和解析器提供精准的语句拆分. 如图中m 和 c 的例子就能解释为什么这样做.

  2. leetcode-166周赛-5280-用户分组

    题目描述: 自己的提交: class Solution: def groupThePeople(self, groupSizes: List[int]) -> List[List[int]]: ...

  3. PHP clearstatcache() 函数

    定义和用法 clearstatcache() 函数清除文件状态缓存. PHP 会缓存某些函数的返回信息,以便提供更高的性能.但是有时候,比如在一个脚本中多次检查同一个文件,而该文件在此脚本执行期间有被 ...

  4. CDN技术之--全局负载均衡(GSLB)

    负载均衡就是智能调度全局负载均衡(GSLB)的负载均衡主要是在多个节点之间进行均衡,其结果可能直接终结负载均衡过程,也可能将用户访问交付下一层次的(区域或本地)负载均衡系统进行处理.GSLB最通用的是 ...

  5. python selenium模拟登陆163邮箱。

    selenium是可以模拟浏览器操作. 有些爬虫是异步加载的,通过爬取网页源码是得不到需要的内容.所以可以模拟浏览器去登陆该网站进行爬取操作. 需要安装selenium通过pip install xx ...

  6. STM32例程之USB HID双向数据传输(源码下载)【转】

    程序功能 将STM32的USB枚举为HID设备. STM32使用3个端点,端点0用于枚举用,端点1和2用于数据的发送和接收. 端点长度为64,也就是单次最多可以传输64个字节数据. STM32获取上位 ...

  7. Struts1.3——Struts入门

    1.Struts的几个基本概念 1.struts是一个开源框架(frameset) 2.struts是一个Web框架 3.struts是一个基于MVC的Web框架 2.为什么有struts 因为我们对 ...

  8. UE格式化XML文件

    在UE中如何格式化xml:如果xml文件不是格式化的,应该“试图”-->“查看方式”-->“xml”:然后再“格式”-->“xml转换到回车符”.具体再要的属性,自己去摸索

  9. upc组队赛4 TV Show Game 【2-SAT】

    TV Show Game 题目描述 Mr. Dajuda, who is famous for a TV show program, occasionally suggests an interest ...

  10. React-native 关于键盘遮挡界面问题

    //引入 KeyboardAvoidingView import { KeyboardAvoidingView } from 'react-native'; //使用 KeyboardAvoiding ...