题面

题解

$ \because \sum_{1 \leq i < j \leq n} i + j = \frac{n(n-1)(n+1)}2 $

所以只需求$\sum lcp(i,j)$即可。

$ \because lcp(i,j)=\min_{rank[i] \leq k \leq rank[j]}\{height[k]\} $

所以可以选用最小值分治算法:

int min[maxn];
long long ans;
void Div(int l, int r)
{
if(l == r) return (void)(ans += height[l]);
int mid = (l + r) >> 1;
Div(l, mid); Div(mid + 1, r);
min[mid] = height[mid];
min[mid + 1] = height[mid + 1];
for(RG int i = mid - 1; i >= l; i--)
min[i] = std::min(min[i + 1], height[i]);
for(RG int i = mid + 2; i <= r; i++)
min[i] = std::min(min[i - 1], height[i]);
int j = mid;
for(RG int i = mid; i >= l; i--)
{
while(j < r && min[j + 1] >= min[i]) ++j;
ans += 1ll * min[i] * (j - mid);
}
j = mid + 1;
for(RG int i = mid + 1; i <= r; i++)
{
while(j > l && min[j - 1] > min[i]) --j;
ans += 1ll * min[i] * (mid + 1 - j);
}
}
//...
Div(1, n);

但是我们要精益求精,我们可以想一想$O(n)$的算法。

用栈维护前面与$i$最近且小于等于$height[i]$的元素$p$

则转移方程为:

$ f[i]=f[p]+(i-p)\times height[i] $

//...
long long f[maxn];
struct node { int val, pos; };
std::stack<node> stk; int main()
{
//...
long long ans = 0; int pos = 0;
for(RG int i = 1; i <= n; i++)
{
int p = pos;
while(!stk.empty() && stk.top().val > height[i]) stk.pop();
if(!stk.empty()) p = stk.top().pos;
ans += (f[i] = f[p] + (i - p) * height[i]);
if(!height[i]) pos = i;
stk.push((node){height[i], i});
}
}

代码

#include<cstdio>
#include<cstring>
#include<cctype>
#include<algorithm>
#include<stack>
#define RG register
#define file(x) freopen(#x".in", "r", stdin);freopen(#x".out", "w", stdout);
#define clear(x, y) memset(x, y, sizeof(x)) inline int read()
{
int data = 0, w = 1; char ch = getchar();
while(ch != '-' && (!isdigit(ch))) ch = getchar();
if(ch == '-') w = -1, ch = getchar();
while(isdigit(ch)) data = data * 10 + (ch ^ 48), ch = getchar();
return data * w;
} const int maxn(500010);
char s[maxn];
int n, sa[maxn], rank[maxn], height[maxn]; void sort(int m)
{
static int t[maxn], t2[maxn], c[maxn];
int i, *x = t, *y = t2, p = 0;
std::fill(c + 1, c + m + 1, 0);
for(i = 1; i <= n; i++) ++c[x[i] = s[i]];
for(i = 1; i <= m; i++) c[i] += c[i - 1];
for(i = n; i; i--) sa[c[x[i]]--] = i;
for(RG int k = 1; k <= n && p < n; k <<= 1)
{
p = 0;
for(i = n - k + 1; i <= n; i++) y[++p] = i;
for(i = 1; i <= n; i++) if(sa[i] > k) y[++p] = sa[i] - k;
std::fill(c + 1, c + m + 1, 0);
for(i = 1; i <= n; i++) ++c[x[y[i]]];
for(i = 1; i <= m; i++) c[i] += c[i - 1];
for(i = n; i; i--) sa[c[x[y[i]]]--] = y[i];
std::swap(x, y), p = 1, x[sa[1]] = 1;
for(i = 2; i <= n; i++)
x[sa[i]] = (y[sa[i]] == y[sa[i - 1]]
&& y[sa[i] + k] == y[sa[i - 1] + k]) ? p : ++p;
m = p;
}
} void get_height()
{
int k = 0;
for(RG int i = 1; i <= n; i++) rank[sa[i]] = i;
for(RG int i = 1; i <= n; i++)
{
if(k) --k;
int j = sa[rank[i] - 1];
while(s[i + k] == s[j + k]) ++k;
height[rank[i]] = k;
}
} long long f[maxn];
struct node { int val, pos; };
std::stack<node> stk; int main()
{
#ifndef ONLINE_JUDGE
file(cpp);
#endif
scanf("%s", s + 1); n = strlen(s + 1);
sort(130); get_height();
long long ans = 0; int pos = 0;
for(RG int i = 1; i <= n; i++)
{
int p = pos;
while(!stk.empty() && stk.top().val > height[i]) stk.pop();
if(!stk.empty()) p = stk.top().pos;
ans += (f[i] = f[p] + (i - p) * height[i]);
if(!height[i]) pos = i;
stk.push((node){height[i], i});
}
printf("%lld\n", 1ll * n * (n - 1) * (n + 1) / 2 - ans * 2);
return 0;
}

【AHOI2013】差异的更多相关文章

  1. BZOJ 3238: [Ahoi2013]差异 [后缀数组 单调栈]

    3238: [Ahoi2013]差异 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 2326  Solved: 1054[Submit][Status ...

  2. bzoj 3238 Ahoi2013 差异

    3238: [Ahoi2013]差异 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 2357  Solved: 1067[Submit][Status ...

  3. BZOJ 3238: [Ahoi2013]差异 [后缀自动机]

    3238: [Ahoi2013]差异 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 2512  Solved: 1140[Submit][Status ...

  4. BZOJ_3238_[Ahoi2013]差异_后缀自动机

    BZOJ_3238_[Ahoi2013]差异_后缀自动机 Description Input 一行,一个字符串S Output 一行,一个整数,表示所求值 Sample Input cacao Sam ...

  5. BZOJ_3238_[Ahoi2013]差异_后缀数组+单调栈

    BZOJ_3238_[Ahoi2013]差异_后缀数组+单调栈 Description Input 一行,一个字符串S Output 一行,一个整数,表示所求值 Sample Input cacao ...

  6. 【LG4248】[AHOI2013]差异

    [LG4248][AHOI2013]差异 题面 洛谷 题解 后缀数组版做法戳我 我们将原串\(reverse\),根据后缀自动机的性质,两个后缀的\(lcp\)一定是我们在反串后两个前缀的\(lca\ ...

  7. 【BZOJ3238】[AHOI2013]差异

    [BZOJ3238][AHOI2013]差异 题面 给定字符串\(S\),令\(T_i\)表示以它从第\(i\)个字符开始的后缀.求 \[ \sum_{1\leq i<j\leq n}len(T ...

  8. P4248 [AHOI2013]差异 解题报告

    P4248 [AHOI2013]差异 题目描述 给定一个长度为 \(n\) 的字符串 \(S\),令 \(T_i\) 表示它从第 \(i\) 个字符开始的后缀.求 \[\displaystyle \s ...

  9. 【BZOJ 3238】 3238: [Ahoi2013]差异(SAM)

    3238: [Ahoi2013]差异 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 3047  Solved: 1375 Description In ...

  10. bzoj 3238: [Ahoi2013]差异 -- 后缀数组

    3238: [Ahoi2013]差异 Time Limit: 20 Sec  Memory Limit: 512 MB Description Input 一行,一个字符串S Output 一行,一个 ...

随机推荐

  1. jq模仿h5 placeholder效果

    $(".pay-license input").on("input propertychange blur",function(){ if($(this).va ...

  2. jq判断鼠标滚轴向上滚动还是向下滚动

    $(document).on("mousewheel DOMMouseScroll", function (e) { var delta = (e.originalEvent.wh ...

  3. Odoo权限控制

    转载请注明原文地址:https://www.cnblogs.com/cnodoo/p/9278734.html 一:Odoo中的权限设置主要有以下5种 1)菜单.报表的访问权限 Odoo可以设置菜单项 ...

  4. 3、Web Service-Jaxws(Eclipse版本)

    1.概述 开发手段: 使用jdk开发(1.6及以上的版本) 使用CXF框架开发 组成: -服务器端 -客户端 2.使用JDK开发 1).服务器端 -@WebService(SEI和SEI的实现类) - ...

  5. Level/levelup-1-简介

    https://github.com/Level/levelup A node.js wrapper for abstract-leveldown compliant stores 一个为实现抽象le ...

  6. vue项目 webpack打包后,图片路径是绝对路径

    vue项目,使用webpack打包,虽然在全局把路径改成了相对的路径,但是图片引用的路径还是异常的,解决办法如下: 1.config文件夹下index.js中: assetsPublicPath:&q ...

  7. [转]浅谈利用SQLite存储离散瓦片的思路和实现方法

    文章版权由作者李晓晖和博客园共有,若转载请于明显处标明出处:http://www.cnblogs.com/naaoveGIS/ 1.背景 在多个项目中涉及到互联网地图的内网显示,通过自制工具完成了互联 ...

  8. 获取主机ip地址

    直接访问http://icanhazip.com

  9. PHP过滤

    1.过滤是不是URL(后台过滤) $url = "https://www.baidu.com"; if(!filter_var($url,FILTER_VALIDATE_URL)) ...

  10. Spring异步-@Async注解

    Spring异步:@Async注解 使用@Async前需要开启异步支持:@EnableAsync 注解和XML方式 @Async返回值的调用:需要使用Future包装 1.如果没有使用Future包装 ...