「SDOI 2018」反回文串
题目大意:
求字符集大小为$k$长度为$n$的经循环移位后为回文串的数量。
题解:
这题是D1里最神的吧
考虑一个长度为$n$回文串,将其循环移位后所有的串都是满足要求的串。
但是显然这样计算会算重。考虑什么情况下会算重。
即当我们将这个回文串移位$x$后,发现这个新字符串为一个回文串时,必然接下来的移位都是重复的。
那么当$x$为多少时,新字符串为一个回文串?
我们稍加分析就会发现x一定和回文串的最小循环节$d$有关。
考虑最小循环节若为偶数时,当$x==d/2$时,则会变为一个新的回文串。
反之,$x==d$时,会出现一个新的回文串。
那么我们设$F(d)$表示长度为$n$,字符集为$k$,最小循环节为d的字符串的数量。
显然会有$\sum_{d|n}F(d)==k^{\lceil \frac{n}{2}\rceil}$。
设$G(n)=k^{\lceil \frac{n}{2}\rceil}$。
由莫比乌斯反演则有$F(d)=\sum_{n|d}\mu(\frac{n}{d})G(n)$。
那么考虑循环节$d$为偶数的串对答案贡献应该为$\frac{d}{2}*F(d)$这个我们在上面已经分析过了。
反之,则有其贡献为$d*F(d)$。
那么$Ans=\sum_{d|n}F(d)\frac{d}{1+[d为偶数]}$。
我们设$H(d)=\frac{d}{1+[d为偶数]}$。
观察这个式子,发现直接求对于$1e18$的数据显然会T。考虑继续优化。
发现算法瓶颈在于$H(dm)$,思考$\sum_{d|x}\mu(d)*H(dm)$的性质。
由于$H(dm)$的值与奇偶性有关,那么我们分类讨论一下$m$和$\frac{n}{m}$之间奇偶性的关系。
考虑对于四种情况,我们(可以经过打表或者推导)会发现,当$m$为奇数且$\frac{n}{m}$为偶数时,$\sum_{d|\frac{n}{m}}\mu(d)H(dm)$为0,而另外三种情况都是$H(m)\sum_{d|\frac{n}{m}}\mu(d)H(d)$。

代码:
#include "bits/stdc++.h"
#define int long long
using namespace std;
inline int read () {
int s=0,k=1;char ch=getchar();
while (ch<'0'|ch>'9') ch=='-'?k=-1:0,ch=getchar();
while (ch>47&ch<='9') s=s*10+(ch^48),ch=getchar();
return s*k;
}
typedef long long ll;
inline ll R(ll x) {
return 1ll*rand()*rand()%x;
}
inline ll Mult ( ll a,ll b ,ll mod) {
return ( a*b - (ll)( (long double) a*b/mod )*mod + mod )% mod;
}
inline ll powmod(ll a,ll b,ll mod) {
ll ret=1;
while (b) {
if (b&1) ret = Mult(ret,a,mod);
b>>=1;a=Mult(a,a,mod);
}
return ret;
}
int prim[] = {2,3,5,7,11};
inline int Miller_Rabin(ll n) {
if (n==2) return true;
int s=20,i,t=0;
for (i=0;i<5;++i)
if (n==prim[i]) return true;
else if (n%prim[i]==0) return false;
ll u=n-1,x[30];
while (!(u&1))
++t,u>>=1;
// printf("n=%lld u=%l\n",n);
while (s--) {
ll a=1ll*rand ()*rand()%(n-2)+2;
x[0] = powmod (a,u,n);
for (i=1;i<=t;++i) {
x[i] = Mult(x[i-1],x[i-1],n);
if (x[i]==1&&x[i-1]!=1&&x[i-1]!=n-1) return false;
}
if (x[t]!=1) return false ;
}
return true;
}
inline ll gcd (ll a,ll b) {
return b?gcd(b,a%b):a;
}
inline ll Pollard_Rho(ll n,int c) {
ll i=1,k=2,x=rand()%(n-1)+1,y=x;
// printf("n=%lld\n",n);
while (1) {
++i ;
x = (Mult(x,x,n) + c)%n;
ll p = gcd (y-x+n,n);
if (p!=1&&p!=n) return p;
if (y==x) return n;
if (i==k) {
y=x;
k<<=1;
}
}
}
ll f[100],mod;
int cnt;
inline void find(ll n) {
if (n==1) return ;
// printf("%lld\n",n);
if (Miller_Rabin(n)) {
f[++cnt]=n;
return ;
}
//while (n==13);
ll p=n;
while (p==n) p = Pollard_Rho(n,R(n-1));
// printf("p=%lld\n",p);
find(p);
find(n/p);
}
ll n,k;
int m,num[100];
ll p[100][100];
ll ans;
inline void add (ll &x,ll y) {
x+=y;
//printf("x=%lld y=%lld mod=%lld\n",x,y,mod);
if (x>=mod) x-=mod;
if (x<0) x+=mod;
}
inline void dfs(int step,ll d,ll S) {
if (step>m) {
if ((d&1)==0&&(n/d&1)) return ;
ll tmp=n/d;
//printf("tmp=%lld d=%lld\n",tmp,d);
//printf("k=%lld %lld %lld %lld\n",k,powmod(k,(tmp+1)/2,mod),((tmp&1)?tmp:tmp/2),S);
add ( ans , Mult(Mult(powmod(k,(tmp+1)/2,mod),((tmp&1)?tmp:tmp/2),mod),S,mod));
return ;
}
dfs (step+1,d,S);
for (int i=1;i<=num[step];++i)
dfs (step + 1, d*p[step][i],S*(1-p[step][1]));
//printf("step=%d\n",step);
}
main ()
{
//freopen("3.in","r",stdin);
//freopen("3.out","w",stdout);
int T=read();
while (T--) {
scanf("%lld%lld",&n,&k),mod=read();
k%=mod;
cnt=m=0;
ans =0;
find(n);
sort(f+1,f+cnt+1);
memset(p,0,sizeof p);
for (int i=1,j=1;i<=cnt;i=j) {
p[++m][0]=1;
p[m][1]=f[i];
num[m]=1;
// printf("p=%lld\n",f[i]);
for (j=i+1;j<=cnt;++j)
if (f[j]!=f[j-1]) break;
else p[m][j-i+1]=p[m][j-i]*f[j];
num[m]=j-i;
// printf("num=%lld\n",num[m]);
}
dfs(1,1,1);
printf("%lld\n",ans);
}
return 0;
}
「SDOI 2018」反回文串的更多相关文章
- 「SDOI 2018」战略游戏
题目大意: 给一个$G=(V,E)$,满足$|V|=n$,$|E|=m$,且保证图联通,有Q个询问,每组询问有s个点,求图中有多少点满足:将其删去后,这s个点中存在一对点集$(a,b)$不联通且删去点 ...
- Solution -「SDOI 2018」「洛谷 P4606」战略游戏
\(\mathcal{Description}\) Link. 给定一个 \(n\) 个点 \(m\) 条边的无向连通图,\(q\) 次询问,每次给出一个点集 \(s\),求至少在原图中删去多 ...
- 「TJOI 2018」游园会 Party
「TJOI 2018」游园会 Party 题目描述 小豆参加了 \(NOI\) 的游园会,会场上每完成一个项目就会获得一个奖章,奖章只会是 \(N, O, I\) 的字样. 在会场上他收集到了 \(K ...
- LOJ #2542. 「PKUWC 2018」随机游走(最值反演 + 树上期望dp + FMT)
写在这道题前面 : 网上的一些题解都不讲那个系数是怎么推得真的不良心 TAT (不是每个人都有那么厉害啊 , 我好菜啊) 而且 LOJ 过的代码千篇一律 ... 那个系数根本看不出来是什么啊 TAT ...
- LOJ #2802. 「CCC 2018」平衡树(整除分块 + dp)
题面 LOJ #2802. 「CCC 2018」平衡树 题面有点难看...请认真阅读理解题意. 转化后就是,给你一个数 \(N\) ,每次选择一个 \(k \in [2, N]\) 将 \(N\) 变 ...
- LOJ #2541. 「PKUWC 2018」猎人杀(容斥 , 期望dp , NTT优化)
题意 LOJ #2541. 「PKUWC 2018」猎人杀 题解 一道及其巧妙的题 , 参考了一下这位大佬的博客 ... 令 \(\displaystyle A = \sum_{i=1}^{n} w_ ...
- LOJ #2540. 「PKUWC 2018」随机算法(概率dp)
题意 LOJ #2540. 「PKUWC 2018」随机算法 题解 朴素的就是 \(O(n3^n)\) dp 写了一下有 \(50pts\) ... 大概就是每个点有三个状态 , 考虑了但不在独立集中 ...
- LOJ #2538. 「PKUWC 2018」Slay the Spire (期望dp)
Update on 1.5 学了 zhou888 的写法,真是又短又快. 并且空间是 \(O(n)\) 的,速度十分优秀. 题意 LOJ #2538. 「PKUWC 2018」Slay the Spi ...
- 「TJOI 2018」教科书般的亵渎
「TJOI 2018」教科书般的亵渎 题目描述 小豆喜欢玩游戏,现在他在玩一个游戏遇到这样的场面,每个怪的血量为 \(a_i\) ,且每个怪物血量均不相同, 小豆手里有无限张"亵渎" ...
随机推荐
- 终结python协程----从yield到actor模型的实现
把应用程序的代码分为多个代码块,正常情况代码自上而下顺序执行.如果代码块A运行过程中,能够切换执行代码块B,又能够从代码块B再切换回去继续执行代码块A,这就实现了协程 我们知道线程的调度(线程上下文切 ...
- Loader转换器
一.简介 webpack本身只能处理js模块,Loader可以理解为模块和资源的转换器,它本身是一个函数,接受文件作为参数,返回转换的结果.因此,我们就能通过require来加载任何类型的模块和文件. ...
- 面向对象(this的问题二)
<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content=&q ...
- css3-------:before和:after的作用
1.:before和:after的作用就是在指定的元素内容(而不是元素本身)之前或者之后插入一个包含content属性指定内容的行内元素,最基本的用法如下: <!doctype html> ...
- C++std函数之transform
/*//////////////////////////////// template < class InputIterator, class OutputIterator, class Un ...
- 记住这个网站:服务器相关数据统计网站 http://news.netcraft.com/
http://news.netcraft.com/ 需要参考现在服务器相关数据,可以上这个网站. 当然google趋势也是一个可选得备案. 有一个数据统计更全面的: http://w3techs.co ...
- AngularJS数据绑定中数据监控的机制说明
from : http://docs.angularjs.org/guide/scope When the browser calls into JavaScript the code execute ...
- 基于Python的数据分析:数据库索引效率探究
索引在数据库中是一个很特殊的存在,它的目的就是为了提高数据查询得效率.同样,它也有弊端,更新一个带索引的表的时间比更新一个没有带索引的时间更长.有得有失.我希望做一些研究测试,搞清楚索引对于我们使用数 ...
- Coursera-AndrewNg(吴恩达)机器学习笔记——第三周编程作业
一. 逻辑回归 1.背景:使用逻辑回归预测学生是否会被大学录取. 2.首先对数据进行可视化,代码如下: pos = find(y==); %找到通过学生的序号向量 neg = find(y==); % ...
- Java数组的复制全解
1.将一个基本数据类型数组的引用赋值给另一个数组 public class Array_copy { int[] array1=new int[]{1,2,3,4,5,6}; int[] array2 ...