LOJ3049 [十二省联考2019] 字符串问题 【后缀自动机】【倍增】【拓扑排序】

博客介绍了一道题的解题思路,先构建后缀自动机,将A串和B串用倍增定位到该自动机上。对SAM上每个点的A串按长度排序建点并连边,还连接到儿子及最小A串的边。针对m组关系建边,最后通过跑拓扑排序求解。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题目分析:

建出后缀自动机,然后把A串用倍增定位到后缀自动机上,再把B串用倍增定位到后缀自动机上。

SAM上每个点上的A串根据长度从小到大排序,建点,依次连边。

再对于SAM上面每个点,连到儿子的边,同时连到儿子的最小A串的边。

对于m组关系,建立x连到y定位到的SAM上的点的边,同时连y所能匹配的到定位到的点上的最短字符串的边。

然后跑拓扑排序就行了。

代码:

  1 #include<bits/stdc++.h>
  2 using namespace std;
  3 
  4 const int maxn = 205000;
  5 
  6 char str[maxn];
  7 int na,nb,len,m;
  8 int la[maxn],ra[maxn],lb[maxn],rb[maxn];
  9 
 10 int lst=1,nxt[maxn<<1][27],fa[maxn<<1],num=1,maxlen[maxn<<1],st[maxn];
 11 int lk[maxn],bh[maxn],maxnum;
 12 vector<pair<int,int> > g[maxn*6];
 13 vector<int> chain[maxn<<1];
 14 int in[maxn*6];
 15 long long dis[maxn*6];
 16 
 17 int RMQ[maxn<<1][20],nowmax;
 18 
 19 void buildRMQ(){
 20     RMQ[1][0] = 1;
 21     for(int i=2;i<=num;i++) RMQ[i][0] = fa[i];
 22     for(int k=1;(1<<k)<=num;k++){
 23     nowmax = k;
 24     for(int i=1;i<=num;i++) RMQ[i][k] = RMQ[RMQ[i][k-1]][k-1];
 25     }
 26 }
 27 
 28 int findhhh(int spp,int len){
 29     for(int i=nowmax;i>=0;i--)if(maxlen[RMQ[spp][i]]>len) spp=RMQ[spp][i];
 30     return spp;
 31 }
 32 
 33 void init(){
 34     for(int i=1;i<=num;i++) for(int j=0;(1<<j)<=num;j++)RMQ[i][j] = 0;
 35     for(int i=1;i<=num;i++){
 36     for(int j=0;j<26;j++)nxt[i][j] = 0;
 37     fa[i] = 0; maxlen[i] = 0;
 38     chain[i].clear();
 39     }
 40     for(int i=0;i<=len;i++) st[i] = 0;
 41     for(int i=1;i<=nb;i++)lk[i] = 0;
 42     for(int i=1;i<=na;i++) bh[i] = 0;
 43     for(int i=0;i<=maxnum+1;i++)g[i].clear(),in[i] = 0;
 44     lst = 1; num = 1; maxnum = 0;
 45 }
 46 
 47 queue<int> que;
 48 void topu(){
 49     int sz = 0;
 50     for(int i=0;i<=maxnum+1;i++) dis[i] = -1e18;
 51     for(int i=0;i<=maxnum+1;i++)
 52     if(!in[i]) que.push(i),sz++;
 53     dis[0] = 0;
 54     while(!que.empty()){
 55     int zz = que.front(); que.pop();
 56     for(int i=0;i<g[zz].size();i++){
 57         int to = g[zz][i].first; in[to]--;
 58         if(!in[to]) sz++,que.push(to);
 59         dis[to] = max(dis[to],dis[zz]+g[zz][i].second);
 60     }
 61     }
 62     if(sz != maxnum+2) puts("-1");
 63     else printf("%lld\n",dis[maxnum+1]);
 64 }
 65 
 66 void addedge(int from,int to,int w){
 67     g[from].push_back(make_pair(to,w));
 68     in[to]++;
 69 }
 70 
 71 void ins(int now){
 72     int np = ++num,p=lst; maxlen[np] = maxlen[lst]+1;
 73     st[len-now-1] = np;
 74     for(;p&&!nxt[p][str[now]-'a'];p = fa[p]) nxt[p][str[now]-'a'] = np;
 75     if(!p) fa[np] = 1;
 76     else{
 77     int q = nxt[p][str[now]-'a'];
 78     if(maxlen[q] == maxlen[p]+1) fa[np] = q;
 79     else{
 80         int nq = ++num; maxlen[nq] = maxlen[p]+1;
 81         for(int i=0;i<26;i++) nxt[nq][i] = nxt[q][i];
 82         fa[nq] = fa[q];
 83         fa[q] = nq; fa[np] = nq;
 84         for(;p&&nxt[p][str[now]-'a']==q;p=fa[p])nxt[p][str[now]-'a']=nq;
 85     }
 86     }
 87     lst = np;
 88 }
 89 
 90 void findpos(int now,int dt,int pp){
 91     if(chain[now].size() == 0) return;
 92     int l = 0,r = chain[now].size()-1;
 93     while(l < r){
 94     int mid = (l+r)/2;
 95     if(ra[chain[now][mid]]-la[chain[now][mid]]>=pp) r = mid;
 96     else l = mid+1;
 97     }
 98     l = chain[now][l];
 99     if(ra[l]-la[l]<pp) return;
100     addedge(bh[dt],bh[l],ra[dt]-la[dt]+1);
101 }
102 
103 int cmp(int alpha,int beta){
104     if(ra[alpha]-la[alpha] < ra[beta]-la[beta]) return 1;
105     else return 0;
106 }
107 
108 void read(){
109     scanf("%s",str);
110     len = strlen(str);
111     scanf("%d",&na);
112     for(int i=1;i<=na;i++) scanf("%d%d",&la[i],&ra[i]);
113     for(int i=1;i<=na;i++)la[i]=len-la[i],ra[i]=len-ra[i],swap(la[i],ra[i]);
114     scanf("%d",&nb);
115     for(int i=1;i<=nb;i++) scanf("%d%d",&lb[i],&rb[i]);
116     for(int i=1;i<=nb;i++)lb[i]=len-lb[i],rb[i]=len-rb[i],swap(lb[i],rb[i]);
117     for(int i=len-1;i>=0;i--) ins(i);
118     buildRMQ();
119     for(int i=2;i<=num;i++){addedge(fa[i],i,0);}
120     
121     for(int i=1;i<=na;i++){
122     int ym = findhhh(st[ra[i]],ra[i]-la[i]);
123     chain[ym].push_back(i);
124     }
125     for(int i=1;i<=num;i++) sort(chain[i].begin(),chain[i].end(),cmp);
126     maxnum = num;
127     for(int i=1;i<=num;i++)
128     for(int j=0;j<chain[i].size();j++) bh[chain[i][j]] = ++maxnum;
129     
130     for(int i=2;i<=num;i++)
131     if(chain[i].size())addedge(fa[i],bh[chain[i][0]],0);
132     for(int i=1;i<=num;i++){
133     for(int j=0;j<(int)chain[i].size()-1;j++)
134         addedge(bh[chain[i][j]],bh[chain[i][j+1]],0);
135     }
136     for(int i=1;i<=na;i++) addedge(0,bh[i],0);
137     for(int i=1;i<=na;i++) addedge(bh[i],maxnum+1,ra[i]-la[i]+1);
138     
139     for(int i=1;i<=nb;i++){
140     int ym = findhhh(st[rb[i]],rb[i]-lb[i]);
141     lk[i] = ym;
142     }
143     scanf("%d",&m);
144     for(int i=1;i<=m;i++){
145     int x,y; scanf("%d%d",&x,&y);
146     addedge(bh[x],lk[y],ra[x]-la[x]+1);
147     findpos(lk[y],x,rb[y]-lb[y]);
148     }
149 }
150 
151 int main(){
152     //freopen("1.in","r",stdin);
153     int Tmp; scanf("%d",&Tmp);
154     while(Tmp--){
155     init();
156     read();
157     topu();
158     }
159     return 0;
160 }

 

转载于:https://www.cnblogs.com/Menhera/p/10957632.html

<think>我们正在查询与LOJ6279相关的编程题目或解决方案。LOJ(LibreOJ)是一个在线的评测系统,主要收录算法竞赛题目。根据题号6279,我们需要确定该题目的具体内容。由于我无法直接访问网络,我将基于已知信息进行推理。在算法竞赛中,LOJ的题目编号通常与特定的题目对应。题号6279可能对应一个特定的问题。根据常见的题目类型,我们可以推测它可能涉及数据结构或算法。然而,为了准确回答,我们可以尝试回忆或推断常见的LOJ题目。例如,LOJ6000系列题目多为数据结构题,如线段树、树状数组等。实际上,通过搜索记忆,我回想起LOJ6279是“数列分块入门3”(BlockArray3)题目。这是“分块”系列题目中的一题。题目描述:给出一个长为n的数列,以及n个操作,操作涉及区间加法,询问区间内小于某个值x的前驱(即最大的小于x的数)。因此,用户需要的是关于LOJ6279题目的描述和解决方案。解决方案:由于题目要求分块处理,我们将数列分成若干块,每块大小为sqrt(n)。对于每个块,我们维护一个有序的数组(用于二分查找)以及一个加法标记(记录整个块被加了多少)。操作:1.区间加法:对于整块,直接更新加法标记;对于不完整的块,暴力更新元素值,然后重新排序该块(或者重新构建有序数组)。2.查询区间内小于x的前驱:遍历区间内的所有块。对于整块,在块的有序数组中二分查找小于(x-加法标记)的最大值;对于不完整的块,暴力遍历每个元素,判断是否小于x(注意加上加法标记)并更新最大值。代码实现(C++)示例:```cpp#include<iostream>#include<vector>#include<cmath>#include<algorithm>#include<climits>usingnamespacestd;constintMAXN=100010;constintBLOCK_SIZE=320;//约sqrt(MAXN)intn;vector<int>a;vector<int>block_add;//每块的加法标记vector<vector<int>>sorted_blocks;//每块的有序数组voidinit(){intblock_num=(n+BLOCK_SIZE-1)/BLOCK_SIZE;block_add.assign(block_num,0);sorted_blocks.resize(block_num);for(inti=0;i<n;i++){sorted_blocks[i/BLOCK_SIZE].push_back(a[i]);}for(inti=0;i<block_num;i++){sort(sorted_blocks[i].begin(),sorted_blocks[i].end());}}voidupdate_block(intblock_id){sorted_blocks[block_id].clear();intstart=block_id*BLOCK_SIZE;intend=min((block_id+1)*BLOCK_SIZE,n);for(inti=start;i<end;i++){sorted_blocks[block_id].push_back(a[i]);}sort(sorted_blocks[block_id].begin(),sorted_blocks[block_id].end());}voidadd(intl,intr,intc){intblock_l=l/BLOCK_SIZE,block_r=r/BLOCK_SIZE;if(block_l==block_r){for(inti=l;i<=r;i++){a[i]+=c;}update_block(block_l);}else{for(inti=l;i<(block_l+1)*BLOCK_SIZE;i++){a[i]+=c;}update_block(block_l);for(inti=block_l+1;i<block_r;i++){block_add[i]+=c;}for(inti=block_r*BLOCK_SIZE;i<=r;i++){a[i]+=c;}update_block(block_r);}}intquery(intl,intr,intc){intblock_l=l/BLOCK_SIZE,block_r=r/BLOCK_SIZE;intans=-1;if(block_l==block_r){for(inti=l;i<=r;i++){intval=a[i]+block_add[block_l];if(val<c){if(val>ans)ans=val;}}}else{for(inti=l;i<(block_l+1)*BLOCK_SIZE;i++){intval=a[i]+block_add[block_l];if(val<c){if(val>ans)ans=val;}}for(inti=block_l+1;i<block_r;i++){//在块i的有序数组中二分查找小于c-block_add[i]的最大值inttarget=c-block_add[i];autoit=lower_bound(sorted_blocks[i].begin(),sorted_blocks[i].end(),target);if(it!=sorted_blocks[i].begin()){it--;intval=*it+block_add[i];if(val>ans)ans=val;}}for(inti=block_r*BLOCK_SIZE;i<=r;i++){intval=a[i]+block_add[block_r];if(val<c){if(val>ans)ans=val;}}}returnans;}intmain(){cin>>n;a.resize(n);for(inti=0;i<n;i++){cin>>a[i];}init();for(inti=0;i<n;i++){intop,l,r,c;cin>>op>>l>>r>>c;l--;r--;//如果题目输入是1-indexed,则转换为0-indexedif(op==0){add(l,r,c);}else{cout<<query(l,r,c)<<endl;}}return0;}```注意:上述代码是示例代码,可能需要根据题目具体输入要求进行调整。§§相关问题§§1.LOJ6279题目的具体描述是什么?2.分块算法的时间复杂度是多少?3.除了分块,还有哪些方法可以解决LOJ6279?4.如何优化分块算法的常数?5.分块算法适用于哪些场景?</think>### LOJ 6279 题目分析与解决方案 **题目描述**:LOJ 6279 是 LibreOJ 上的 **"数列分块入门 3"**,属于分块算法的经典练习题。核心要求如下: - **操作 1**:区间 $[l, r]$ 内每个数加上值 $c$ - **操作 2**:查询区间 $[l, r]$ 内小于 $c$ 的**最大元素值**(即前驱),不存在时返回 $-1$ #### 分块算法设计 分块的核心思想是将数列划分为 $\sqrt{n}$ 大小的块,平衡暴力操作与批量处理。 ##### 关键数据结构 1. **块内有序数组**: - 每块维护一个排序后的数组,用于二分查找前驱。 - 示例:块 $B_i$ 的排序数组为 $S_i$。 2. **加法懒标记**: - 记录整块被加的总值 $add_i$(不影响块内有序性)。 ##### 操作实现 1. **区间加法($[l, r] + c$)**: - **整块**:直接更新懒标记 $add_i \gets add_i + c$,时间复杂度 $O(1)$。 - **碎块**:暴力修改元素值,并**重构有序数组**(排序),时间复杂度 $O(\sqrt{n} \log \sqrt{n})$。 2. **查询前驱($[l, r]$ 内 $< c$ 的最大值)**: - **整块**:在有序数组 $S_i$ 中二分查找 $c - add_i$ 的前驱,时间复杂度 $O(\log \sqrt{n})$。 - **碎块**:暴力遍历元素,检查 $a_j + add_i < c$ 并更新最大值,时间复杂度 $O(\sqrt{n})$。 #### 代码实现(C++) ```cpp #include <iostream> #include <vector> #include <cmath> #include <algorithm> #include <climits> using namespace std; const int MAXN = 100010; int n, block_size; vector<int> a; vector<int> add_tag; // 块的加法标记 vector<vector<int>> blocks; // 每块的有序数组 void init() { block_size = sqrt(n); int block_num = (n + block_size - 1) / block_size; add_tag.assign(block_num, 0); blocks.resize(block_num); for (int i = 0; i < n; i++) blocks[i / block_size].push_back(a[i]); for (int i = 0; i < block_num; i++) sort(blocks[i].begin(), blocks[i].end()); } void rebuild_block(int block_id) { blocks[block_id].clear(); int start = block_id * block_size; int end = min(start + block_size, n); for (int i = start; i < end; i++) blocks[block_id].push_back(a[i]); sort(blocks[block_id].begin(), blocks[block_id].end()); } void range_add(int l, int r, int c) { int block_l = l / block_size, block_r = r / block_size; if (block_l == block_r) { // 同一块内 for (int i = l; i <= r; i++) a[i] += c; rebuild_block(block_l); } else { // 左侧碎块 for (int i = l; i < (block_l + 1) * block_size; i++) a[i] += c; rebuild_block(block_l); // 中间整块 for (int i = block_l + 1; i < block_r; i++) add_tag[i] += c; // 右侧碎块 for (int i = block_r * block_size; i <= r; i++) a[i] += c; rebuild_block(block_r); } } int query_predecessor(int l, int r, int c) { int ans = -1; int block_l = l / block_size, block_r = r / block_size; // 左侧碎块暴力查询 for (int i = l; i < min(r + 1, (block_l + 1) * block_size); i++) { int val = a[i] + add_tag[block_l]; if (val < c && val > ans) ans = val; } // 中间整块二分查找 for (int i = block_l + 1; i < block_r; i++) { int target = c - add_tag[i]; auto it = lower_bound(blocks[i].begin(), blocks[i].end(), target); if (it != blocks[i].begin()) { it--; int val = *it + add_tag[i]; if (val < c && val > ans) ans = val; } } // 右侧碎块暴力查询 if (block_l != block_r) { for (int i = block_r * block_size; i <= r; i++) { int val = a[i] + add_tag[block_r]; if (val < c && val > ans) ans = val; } } return ans; } int main() { cin >> n; a.resize(n); for (int i = 0; i < n; i++) cin >> a[i]; init(); for (int i = 0; i < n; i++) { int op, l, r, c; cin >> op >> l >> r >> c; l--; r--; // 转为0-indexed if (op == 0) range_add(l, r, c); else cout << query_predecessor(l, r, c) << endl; } return 0; } ``` #### 算法分析 - **时间复杂度**: - 单次修改/查询:$O(\sqrt{n} \log \sqrt{n})$(碎块排序主导)。 - 总操作 $m$ 次:$O(m \sqrt{n} \log n)$。 - **空间复杂度**:$O(n)$。 #### 优化技巧 1. **减少排序次数**: - 碎块修改时只重构受影响块的有序数组。 2. **块大小调整**: - 实测调整块大小为 $n^{0.6}$ 可能更快(需测试)。 #### 应用场景 分块算法适用于**强制在线**的区间问题(如 LOJ 的数列分块系列题),在 $O(\sqrt{n})$ 复杂度下平衡修改与查询[^1]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值