Codeforces 题面传送门 & 洛谷题面传送门

大模拟(?)+阿巴细节题,模拟赛时刚了 3h 最后因为某个细节写挂 100->40/ll/ll(下次一定不能再挂分了啊 awa)

首先先考虑怎么判 \(-1\),显然如果区间 \([l,r]\) 中间的括号构不成合法的括号序列,答案显然是 \(-1\),其次如果 \(s_l\) 是加号或乘号那算式也不合法,\(s_r\) 也同理,这可以通过前缀和+ST 表在 \(\mathcal O(n\log n)-\mathcal O(1)\) 时间内判断。

其次考虑怎样计算一个表达式的值,首先按照套路建出表达式树,不过这里建表达式树与平常略微有点不同,平常我们建的表达式树都是二叉树,即将运算符放在中间,参与运算的两个部分作为该节点的左右儿子,这次咱们偏不建二叉树,咱们建多叉树,具体来说,对于同一个括号内的统计运算我们同时将它们设为该运算代表的节点的儿子(比方说 \(1+2\times 3+4\times 5\) 的根节点就有 \(3\) 个儿子 \(1,2\times 3,4\times 5\),中间运算符为加号),我们同时记录这些儿子执行的运算在原字符串中对于的区间,比方说 \(2\times 3\) 这个儿子在原字符串中的区间就是 \([3,5]\)。

那么对于一个询问而言,如果它本身就是一个数(比方说 \(1234\) 或 \((((7)))\))那么我们就直接输出这个数即可,否则我们找出计算这个表达式时最后一次执行的运算表示的节点 \(x\),显然 \(x\) 表示的运算有加号或乘号两种可能,分情况讨论:

首先考虑乘法,我们假设 \(x\) 的儿子在原字符串中的区间分别为 \([a_1,b_1],[a_2,b_2],\cdots,[a_m,b_m]\),那么我们二分找出 \(l,r\) 所在的区间,假设为 \([a_L,b_L]\) 和 \([a_R,b_R]\),显然这些区间在 \([l,r]\) 中的部分是一个个整段+边上两个散块,中间部分对答案的贡献显然是完整的,直接前缀积即可 \(\mathcal O(1)\) 求出,注意特判前缀积为 \(0\) 的情况,此时需记录前缀 \(0\) 的个数加以判断,对于边上两块的情况分情况讨论:有可能两边也是整块贡献,这时候直接计入答案即可,也有可能两边是某一段数计入贡献(比方说 \(12\times 34\times 56\),对于询问 \([2,7]\) 而言,左边的 \(12\) 和右边的 \(56\) 就分别被一分为二),此时写一个类似哈希的东西快速求出一段区间表示的数即可在常数时间内累加贡献。

接下来考虑加法,和乘法类似,我们还是找出 \(l,r\) 所在的区间 \([a_L,b_L]\) 和 \([a_R,b_R]\),这些区间在 \([l,r]\) 中的部分还是一个个整段+边上两个散块,对于中间部分对前缀和搞一下即可,对于边上两块的情况还是分情况讨论:前两类(整块贡献&某个数一分为二)与乘法一样不再赘述,但是加法比乘法多的一种情况是,有可能边角块对应的运算是一个序列的乘法运算(比方说 \(12\times 34+56\times 78\) 对于询问 \([2,10]\) 而言,左边区间计入贡献的部分就是 \(2\times 34\),右边部分也同理),以左边的散块为例,这种情况就找到 \([a_L,b_L]\) 对应的节点,二分一下乘法对应的区间(显然是一段后缀),然后还是前缀积算一算即可,注意,在这部分里的乘法操作中还是有可能出现某个数一分为二的情况,注意判断。

时间复杂度 \(n\log n\),注意特判一些奇奇怪怪的情况,比方说 \(((((((1145141919810))))))\) 或者 \((998244353)\times (19260817)\),我就是因为这边有个细节写挂了而丢了 60pts/ll

代码(码了 238 行,现以吊打切树游戏、吊打 CF788E,荣膺我 AC 的题目中的码量之最)

const int MAXN=5e5;
const int LOG_N=20;
const int MOD=1e9+7;
int qpow(int x,int e){
int ret=1;
for(;e;e>>=1,x=1ll*x*x%MOD) if(e&1) ret=1ll*ret*x%MOD;
return ret;
}
int n,qu,ncnt,sum[MAXN+5],dep[MAXN+5];char s[MAXN+5];
int nt[MAXN+5],pr[MAXN+5];
vector<int> son[MAXN+5];
vector<pii> itvl[MAXN+5];
int mch[MAXN+5],rt,bel[MAXN+5],op[MAXN+5],val[MAXN+5];
int pre[MAXN+5],pw10[MAXN+5];
int getnum(int l,int r){return (pre[r]-1ll*pre[l-1]*pw10[r-l+1]%MOD+MOD)%MOD;}
int build(int l,int r){
if(s[l]=='('&&mch[l]==r) return bel[l]=bel[r]=build(l+1,r-1);
int opt=-1,id=++ncnt;
for(int i=l;i<=r;){
if(s[i]=='+') opt=0;
else if(s[i]=='*'&&!~opt) opt=1;
if(s[i]=='(') i=mch[i]+1;
else i++;
} op[id]=opt;
if(!~opt){
for(int i=l;i<=r;i++){
bel[i]=id;
val[id]=(10ll*val[id]+s[i]-'0')%MOD;
} return id;
} int pre=l-1;
for(int i=l;i<=r;){
if((s[i]=='+'&&!opt)||(s[i]=='*'&&opt)){
son[id].pb(build(pre+1,i-1));
itvl[id].pb(mp(pre+1,i-1));
pre=i;bel[i]=id;
} if(s[i]=='(') i=mch[i]+1;
else i++;
} son[id].pb(build(pre+1,r));itvl[id].pb(mp(pre+1,r));
// printf("build [%d,%d]:\n",l,r);
// printf("op[%d]=%d\n",id,op[id]);
// for(int x:son[id]) printf("%d ",x);printf("\n");
// for(pii p:itvl[id]) printf("[%d,%d]\n",p.fi,p.se);
// printf("\n");
return id;
}
struct num0{
int x,y;
num0(int _x=0){(_x)?(x=_x,y=0):(x=y=1);}
int val(){return (y)?0:x;}
num0 operator +(const int &rhs){
int sum=(val()+rhs)%MOD;
return (sum)?num0(sum):num0(0);
}
num0 operator *(const int &rhs){
num0 res=*this;
(rhs)?(res.x=1ll*res.x*rhs%MOD):(res.y++);
return res;
}
num0 operator /(const num0 &rhs){
num0 res;res.x=1ll*x*qpow(rhs.x,MOD-2)%MOD;
res.y=y-rhs.y;return res;
}
};
vector<num0> ss[MAXN+5];
void calc(int x){
if(~op[x]) val[x]=op[x];
ss[x].resize(son[x].size());
for(int i=0;i<son[x].size();i++){
int y=son[x][i];dep[y]=dep[x]+1;calc(y);
if(!i) ss[x][i]=val[y];
if(op[x]==0){
val[x]=(val[x]+val[y])%MOD;
if(i) ss[x][i]=ss[x][i-1]+val[y];
} else {
val[x]=1ll*val[x]*val[y]%MOD;
if(i) ss[x][i]=ss[x][i-1]*val[y];
}
// printf("%d %d %d\n",x,i,ss[x][i].val());
}
}
int st_sum[MAXN+5][LOG_N+2];
pii st_dep[MAXN+5][LOG_N+2];
void buildst(){
for(int i=1;i<=LOG_N;i++) for(int j=1;j+(1<<i)-1<=n;j++){
st_sum[j][i]=min(st_sum[j][i-1],st_sum[j+(1<<i-1)][i-1]);
st_dep[j][i]=min(st_dep[j][i-1],st_dep[j+(1<<i-1)][i-1]);
}
}
int query_sum(int l,int r){
int k=31-__builtin_clz(r-l+1);
return min(st_sum[l][k],st_sum[r-(1<<k)+1][k]);
}
pii query_dep(int l,int r){
int k=31-__builtin_clz(r-l+1);
return min(st_dep[l][k],st_dep[r-(1<<k)+1][k]);
}
int main(){
// freopen("calc.in","r",stdin);
// freopen("calc.out","w",stdout);
scanf("%s%d",s+1,&qu);n=strlen(s+1);
for(int i=1;i<=n;i++){
if(isdigit(s[i])) pre[i]=(10ll*pre[i-1]+s[i]-'0')%MOD;
else pre[i]=pre[i-1];
}
for(int i=(pw10[0]=1);i<=n;i++) pw10[i]=10ll*pw10[i-1]%MOD;
stack<int> stk;
for(int i=1;i<=n;i++){
if(s[i]=='(') stk.push(i),sum[i]=sum[i-1]+1;
else if(s[i]==')'){
mch[i]=stk.top();mch[stk.top()]=i;
stk.pop();sum[i]=sum[i-1]-1;
} else sum[i]=sum[i-1];
}
int pp=n+1;
for(int i=n;i;i--){
if(!isdigit(s[i])) pp=i;
else nt[i]=pp-1;
} pp=0;
for(int i=1;i<=n;i++){
if(!isdigit(s[i])) pp=i;
else pr[i]=pp+1;
}
// for(int i=1;i<=n;i++) printf("%d%c",mch[i]," \n"[i==n]);
rt=build(1,n);calc(rt);
// for(int i=1;i<=n;i++) printf("%d%c",bel[i]," \n"[i==n]);
for(int i=1;i<=n;i++) st_sum[i][0]=sum[i],st_dep[i][0]=mp(dep[bel[i]],i);
buildst();
while(qu--){
int l,r;scanf("%d%d",&l,&r);
if(sum[l-1]!=sum[r]){puts("-1");continue;}
if(query_sum(l,r)<sum[l-1]){puts("-1");continue;}
if(s[l]=='+'||s[l]=='*'){puts("-1");continue;}
if(s[r]=='+'||s[r]=='*'){puts("-1");continue;}
pii p=query_dep(l,r);int x=bel[p.se];
// printf("%d\n",x);
if(!~op[x]){
if(isdigit(s[l])&&isdigit(s[r])) printf("%d\n",getnum(l,r));
else printf("%d\n",val[x]);
continue;
}
int L=upper_bound(itvl[x].begin(),itvl[x].end(),mp(l,n+1))-itvl[x].begin()-1;
int R=upper_bound(itvl[x].begin(),itvl[x].end(),mp(r,n+1))-itvl[x].begin()-1;
if(L<0) L=0;
int u=son[x][L],v=son[x][R];
// printf("%d %d\n",L,R);
if(op[x]==1){
int res=1;
if(L!=R){
num0 qwq=ss[x][R-1]/ss[x][L];
res=qwq.val();
}
if(~op[u]) res=1ll*res*val[u]%MOD;
else{
if(isdigit(s[l])) res=1ll*res*getnum(l,nt[l])%MOD;
else res=1ll*res*val[u]%MOD;
} if(~op[v]) res=1ll*res*val[v]%MOD;
else{
if(isdigit(s[r])) res=1ll*res*getnum(pr[r],r)%MOD;
else res=1ll*res*val[v]%MOD;
}
printf("%d\n",res);
} else {
int res=0;
if(L!=R) res=(ss[x][R-1].val()-ss[x][L].val()+MOD)%MOD;
if(~op[u]){
if(op[u]==0) res=(res+val[u])%MOD;
else{
int LL=upper_bound(itvl[u].begin(),itvl[u].end(),mp(l,n+1))-itvl[u].begin()-1;
if(LL<0) LL=0;
int su=son[u][LL],mul=1;
if(LL+1!=ss[u].size())
mul=(ss[u].back()/ss[u][LL]).val();
if(~op[su]) mul=1ll*mul*val[su]%MOD;
else{
if(isdigit(s[l])) mul=1ll*mul*getnum(l,nt[l])%MOD;
else mul=1ll*mul*val[su]%MOD;
}
res=(res+mul)%MOD;
}
} else{
if(isdigit(s[l])) res=(res+getnum(l,nt[l]))%MOD;
else res=(res+val[u])%MOD;
}
if(~op[v]){
if(op[v]==0) res=(res+val[v])%MOD;
else{
int RR=upper_bound(itvl[v].begin(),itvl[v].end(),mp(r,n+1))-itvl[v].begin()-1;
int sv=son[v][RR],mul=1;
if(RR) mul=(ss[v][RR-1]).val();
if(~op[sv]) mul=1ll*mul*val[sv]%MOD;
else{
if(isdigit(s[r])) mul=1ll*mul*getnum(pr[r],r)%MOD;
else mul=1ll*mul*val[sv]%MOD;
}
res=(res+mul)%MOD;
}
} else{
if(isdigit(s[r])) res=(res+getnum(pr[r],r))%MOD;
else res=(res+val[v])%MOD;
}
printf("%d\n",res);
}
}
return 0;
}

Codeforces 730L - Expression Queries(大模拟)的更多相关文章

  1. HDU 5920 Ugly Problem 高精度减法大模拟 ---2016CCPC长春区域现场赛

    题目链接 题意:给定一个很大的数,把他们分为数个回文数的和,分的个数不超过50个,输出个数并输出每个数,special judge. 题解:现场赛的时候很快想出来了思路,把这个数从中间分为两部分,当位 ...

  2. AC日记——神奇的幻方 洛谷 P2615(大模拟)

    题目描述 幻方是一种很神奇的N*N矩阵:它由数字1,2,3,……,N*N构成,且每行.每列及两条对角线上的数字之和都相同. 当N为奇数时,我们可以通过以下方法构建一个幻方: 首先将1写在第一行的中间. ...

  3. ACdream 1188 Read Phone Number (字符串大模拟)

    Read Phone Number Time Limit:1000MS     Memory Limit:64000KB     64bit IO Format:%lld & %llu Sub ...

  4. [Codeforces]817F. MEX Queries 离散化+线段树维护

    [Codeforces]817F. MEX Queries You are given a set of integer numbers, initially it is empty. You sho ...

  5. CodeForces.158A Next Round (水模拟)

    CodeForces.158A Next Round (水模拟) 题意分析 校赛水题的英文版,坑点就是要求为正数. 代码总览 #include <iostream> #include &l ...

  6. 2016ACM-ICPC网络赛北京赛区 1001 (trie树牌大模拟)

    [题目传送门] 1383 : The Book List 时间限制:1000ms 单点时限:1000ms 内存限制:256MB 描述 The history of Peking University ...

  7. Bzoj1972: [Sdoi2010]猪国杀 题解(大模拟+耐心+细心)

    猪国杀 - 可读版本 https://mubu.com/doc/2707815814591da4 题目可真长,读题都要一个小时. 这道题很多人都说不可做,耗时间,代码量大,于是,本着不做死就不会死的精 ...

  8. (大模拟紫题) Luogu P1953 易语言

    原题链接:P1953 易语言 (我最近怎么总在做大模拟大搜索题) 分别处理两种情况. 如果只有一个1或0 直接设一个cnt为这个值,每次输入一个新名字之后把数字替换成cnt,最后cnt++即可. 注意 ...

  9. [Codeforces 266E]More Queries to Array...(线段树+二项式定理)

    [Codeforces 266E]More Queries to Array...(线段树+二项式定理) 题面 维护一个长度为\(n\)的序列\(a\),\(m\)个操作 区间赋值为\(x\) 查询\ ...

随机推荐

  1. AgileConfig 轻量级配置中心 1.5 发布 - 支持多环境配置

    AgileConfig 从发布到现在,收到不同学的 issue 说需要多环境的支持.也就是一个应用在不同的环境下可以配置不同的配置项.这是一个非常有用的功能,就跟我们开发的时候会设置多个 appset ...

  2. [no_code][Beta]发布声明报告

    $( "#cnblogs_post_body" ).catalog() 软件下载 一个全新的超简易的OCR表单识别工具 轻松拍照,实现手写表格识别 一键打开,支持多种应用打开你的表 ...

  3. 冲刺noip2021模拟16

    T1 树上的数 考场上比较脑瘫没有想到直接dfs就行了这样是O(n+m)的,傻不拉几地多添了个log, 不过因为accoder的评测机太弱了,绝大多数人的正解都是60分,所以没有什么差别: 直接dfs ...

  4. 洛谷 P4555 [国家集训队]最长双回文串

    链接: P4555 题意: 在字符串 \(S\) 中找出两个相邻非空回文串,并使它们长度之和最大. 分析: 直接使用马拉车算法求出每个点扩展的回文串.如果枚举两个回文串显然会超时,我们考虑切割一个长串 ...

  5. linux hostid与lmhostid

    https://wangchujiang.com/linux-command/c/hostid.html hostid(host identifier) 显示当前主机的十六进制数字标识. 概要 hos ...

  6. 通用 Makefile(及makefile中的notdir,wildcard和patsubst)

    notdir,wildcard和patsubst是makefile中几个有用的函数,以前没留意过makefile中函数的用法,今天稍微看看~ 1.makefile里的函数 makefile里的函数使用 ...

  7. linux 关于 环境变量

    有关环境变量的文件 系统级环境变量:每一个登录到系统的用户都能够读取到系统级的环境变量       用户级环境变量:每一个登录到系统的用户只能够读取属于自己的用户级的环境变量  文件加载顺序: ==& ...

  8. centos7 使用iptables

    关闭selinux,不关闭时,iptables不读取配置文件 重启生效 centos7 中默认的防火墙是firewalld,使用iptables需要先关闭firewalld防火墙,安装iptables ...

  9. Python-爬取CVE漏洞库👻

    Python-爬取CVE漏洞库 最近吧准备复现一下近几年的漏洞,一个一个的去找太麻烦了.今天做到第几页后面过几天再来可能就不记得了.所以我想这搞个爬虫给他爬下来做个excel表格,那就清楚多了.奈何还 ...

  10. 初步认识express,并创建web服务器,挂载静态资源

    1.Express简介 1.1什么是Express 官方给出的概念:Express 是基于 Node.js 平台,快速.开放.极简的 Web 开发框架,官方网址 相似用途:Express 的作用和 N ...