题意:你有一个长度为\(n\),且仅由012构成的字符串。每经过一秒,这个字符串所有1后面会插入一个0,所有2后面会插入一个1,然后会删除第一个元素。求这个字符串需要多少秒变为空串,对\(10^9+7\)取模。

\(n \leq 10^5\)

显然这个答案是可以从左往右维护当前已经经过的时间,一位位算过来的。

设当前已经经过了\(n\)秒,那么,容易得到再删除下一个0需要1秒,再删除下一个1需要\(n+2\)秒。然而若下一个元素为2,似乎并不好处理。但至少我们能得到一个\(O(n)\)的算法:

int func1(int n) { // 删除1所需时间
return n + 2;
}
int func2(int n) {
int ret = 0;
for (int k = 0 ; k <= n ; ++ k) // 统计删除这个2所产生的1的时间
ret = ret + func1(ret) + k;
ret = ret + 1; // 删除这个2还要1秒
return ret;
}

于是,我们设数列\({a_n}\)表示\(n\)后删除一个2的时间是\(a_n+1\),那么,我们能得到\(a_n = 2a_{n-1} + n + 2\)。那么,我们就能求出其通项式\(a_n = 6 \times 2^n - n - 4\)。

因此,删除下一个2需要\(6 \times 2^n - n - 3\)秒。

到这里问题还没有解决,因为\(n\)在指数里面。这样,如果我们要求答案对\(10^9+7\)取模的值,就要求答案对\(\phi(10^9+7)\)取模的值。而当模数\(p\)与\(2\)不互质时,可以参考bzoj3884的做法,令\(p=2^k q\),其中\(gcd(2,q)=1\),那么我们有\(2^n \mod p = 2^k (2 ^{n-k} \mod q) = 2^k (2^{n-k \mod \phi(q)})\)。于是我们就可以缩小模数,一直到1。因为所有不等于\(1\)的\(q\)都有\(2 | \phi (q)\),所以除第一个外所有\(p\)都是偶数,则\(\phi(q) \leq q \leq \frac {p} {2}\)。因此我们只要对\(O(\log n)\)个答案求解。

实现时还要考虑\(n < k\)的情况,特判一下就可以了。

时间复杂度\(O(n \log^2 n)\)。

#include <bits/stdc++.h>
#define int long long
using namespace std;
const int N = 100010, MAX = 40000, MOD = (int)(1e9 + 7);
char s[N];
int n,isp[MAX + 10],pri[MAX],pcnt,val[N],nex[N],sta[N],top,rel[N];
int getphi(int x) {
int ret = x;
for (int i = 1 ; pri[i] * pri[i] <= x ; ++ i) {
if (x % pri[i] == 0) {
ret /= pri[i];
ret *= pri[i] - 1;
while (x % pri[i] == 0) x /= pri[i];
}
}
if (x != 1) ret = ret / x * (x-1);
return ret;
}
int power(int a,int b,int mod) {
int ret = 1;
while (b) {
if (b&1) ret = 1ll * ret * a % mod;
a = 1ll * a * a % mod;
b >>= 1;
}
return ret;
}
void prework() {
for (int i = 2 ; i <= MAX ; ++ i) {
if (!isp[i]) pri[++pcnt] = i;
for (int j = 1 ; j <= pcnt && pri[j] * i <= MAX ; ++ j) {
isp[pri[j] * i] = 1;
if (i % pri[j] == 0) break;
}
}
for (int cur = MOD ; ; ) {
sta[++top] = cur;
if (cur == 1) break;
while ((cur&1) == 0) cur >>= 1;
cur = getphi(cur);
}
}
signed main() {
int T;
prework();
scanf("%lld",&T);
while (T --) {
scanf("%s",s+1);
n = strlen(s+1);
for (int i = 0 ; i <= n ; ++ i)
val[i] = 0;
rel[0] = 0;
for (int i = 1 ; i <= n ; ++ i) rel[i] = -1;
for (int i = 1 ; i <= n ; ++ i) {
if (s[i] == '0') rel[i] = rel[i-1] + 1;
if (s[i] == '1') rel[i] = 2 * (rel[i-1] + 1);
if (s[i] == '2') rel[i] = 6 * power(2,rel[i-1],MOD) - 3;
if (rel[i] >= 20) {
rel[i] = -1;
break;
}
}
for (int i = top - 1 ; i >= 1 ; -- i) {
int y = sta[i], x = 1, k = 0;
while ((y&1) == 0) x <<= 1, k ++, y >>= 1;
for (int j = 1 ; j <= n ; ++ j) {
if (s[j] == '0') nex[j] = 1;
else if (s[j] == '1') nex[j] = (nex[j-1] + 2) % sta[i];
else {
if (rel[j-1] != -1) nex[j] = (6 * power(2,rel[j-1],sta[i]) - nex[j-1] - 3) % sta[i];
else nex[j] = ((x * power(2,((val[j-1] - k) % sta[i+1] + sta[i+1]) % sta[i+1],y)) * 6 - nex[j-1] - 3) % sta[i];
}
nex[j] = (nex[j-1] + nex[j]) % sta[i];
}
for (int j = 0 ; j <= n ; ++ j)
val[j] = (nex[j] % sta[i] + sta[i]) % sta[i];
}
printf("%lld\n",val[n]);
}
return 0;
}

小结:本题无非不是两个部分,一是数列求解,二是处理指数。关键还是在于清晰的思路。

【做题】NOWCODER142A Ternary String——数列&欧拉定理的更多相关文章

  1. 【做题】CF119D. String Transformation——KMP

    题意:有两个字符串\(a,b\),下标从\(0\)开始.求数对\((i,j)\)满足\(a[i+1:j] + r(a[j:n]) + r(a[0:i+1]) = b\),其中\(r(s)\)表示字符串 ...

  2. 2018牛客网暑期ACM多校训练营(第四场) A - Ternary String - [欧拉降幂公式][扩展欧拉定理]

    题目链接:https://www.nowcoder.com/acm/contest/142/A 题目描述 A ternary string is a sequence of digits, where ...

  3. codeforces ~ 1009 B Minimum Ternary String(超级恶心的思维题

    http://codeforces.com/problemset/problem/1009/B B. Minimum Ternary String time limit per test 1 seco ...

  4. 牛客网暑期ACM多校训练营(第四场):A Ternary String(欧拉降幂)

    链接:牛客网暑期ACM多校训练营(第四场):A Ternary String 题意:给出一段数列 s,只包含 0.1.2 三种数.每秒在每个 2 后面会插入一个 1 ,每个 1 后面会插入一个 0,之 ...

  5. CodeM美团点评编程大赛复赛 做题感悟&题解

    [T1] [简要题意]   长度为N的括号序列,随机确定括号的方向:对于一个已确定的序列,每次消除相邻的左右括号(右左不行),消除后可以进一步合并和消除直到不能消为止.求剩下的括号的期望.\(N \l ...

  6. (luogu1704)寻找最优美做题曲线 [TPLY]

    寻找最优美做题曲线 题目链接:https://www.luogu.org/problemnew/show/P1704 题目大意: 求包含指定点的最长不降子序列(严格递增) 题解 首先我们发现 一个序列 ...

  7. SDOI2016 R1做题笔记

    SDOI2016 R1做题笔记 经过很久很久的时间,shzr终于做完了SDOI2016一轮的题目. 其实没想到竟然是2016年的题目先做完,因为14年的六个题很早就做了四个了,但是后两个有点开不动.. ...

  8. AtCoder Grand Contest 1~10 做题小记

    原文链接https://www.cnblogs.com/zhouzhendong/p/AtCoder-Grand-Contest-from-1-to-10.html 考虑到博客内容较多,编辑不方便的情 ...

  9. noip做题记录+挑战一句话题解?

    因为灵巧实在太弱辽不得不做点noip续下命QQAQQQ 2018 积木大赛/铺设道路 傻逼原题? 然后傻逼的我居然检查了半天是不是有陷阱最后花了差不多一个小时才做掉我做过的原题...真的傻逼了我:( ...

随机推荐

  1. 详解tween.js 中文使用指南

    补间(动画)是一个概念,允许你以平滑的方式更改对象的属性.你只需告诉它哪些属性要更改,当补间结束运行时它们应该具有哪些最终值,以及这需要多长时间,补间引擎将负责计算从起始点到结束点的值. 例如,pos ...

  2. 向SQL Server中导入Excel的数据

    1.  手动界面导入Excel数据 同 https://jingyan.baidu.com/article/ce09321b9a0e252bff858ff9.html 首先打开并登陆sql serve ...

  3. Windows 下VC++6.0制作、使用动态库和静态库

    Windows 下VC++6.0制作.使用动态库和静态库 一.VC++6.0制作.使用静态库 静态库制作 1.如图一在VC++6.0中new一个的为win32 static library工程并新建一 ...

  4. [NOIP2005普及组]采药(01背包)

    题目描述 描述 辰辰是个很有潜能.天资聪颖的孩子,他的梦想是称为世界上最伟大的医师.为此,他想拜附近最有威望的医师为师.医师为了判断他的资质,给他出了一个难题.医师把他带到个到处都是草药的山洞里对他说 ...

  5. 【Hive学习之四】Hive 案例

    环境 虚拟机:VMware 10 Linux版本:CentOS-6.5-x86_64 客户端:Xshell4 FTP:Xftp4 jdk8 hadoop-3.1.1 apache-hive-3.1.1 ...

  6. DSO安装试运行

    参考DSO初探 其中Pangolin安装的时候could not find GLEW,参考这里 libx11-dev libxmu-dev libglu1-mesa-dev libgl2ps-dev ...

  7. Java函数接口实现函数组合及装饰器模式

    摘要: 通过求解 (sinx)^2 + (cosx)^2 = 1 的若干写法,逐步展示了如何从过程式的写法转变到函数式的写法,并说明了编写"[接受函数参数]并返回[能够接受函数参数的函数]的 ...

  8. numpy高级应用

    reshape重塑数组 ravel 拉平数组 concatenate 最一般化的连接,沿一条轴连接一组数组 # print(np.concatenate([arr1,arr2],axis = 0)) ...

  9. mongoDB3.4的sharding集群搭建及JavaAPI的简易使用

    第一部分 在搭建mongoDB之前,我们要考虑几个小问题: 1.我们搭建集群的目的是什么?是多备份提高容错和系统可用性还是横向拓展存储大规模数据还是两者兼有? 如果是为了多备份那么选择replicat ...

  10. 张春晖让视频的每词每句都可搜索:Autotiming 可以自动配字幕,还将改变哪些领域?

    张春晖让视频的每词每句都可搜索:Autotiming 可以自动配字幕,还将改变哪些领域? 对于一些电视观众来说,寻找电视节目字幕中“有趣”的Bug,拍照发到网上与其他人共同嘲笑一下,是一种观看节目之外 ...