【模板】kmp
2024-10-15 23:54:04
引理:当计算第 \(i\) 位的失配指针时,若 \(j_0\) 是一个候选条件,那么小于 \(j_0\) 的最大候选条件是 \(fail[j_0]\)。
证明:反证法。假设存在 \(j_1\),使得\(fail[j_0]<j_1<j_0\),那么\(s[1,j_0]=s[i-j_0+1,i],s[i,j_1]=s[i-j_1+1,i],s[j_0-j_1+1,j_0]=s[i-j_1+1,i]\),可知\(s[1,j_1]=s[j_0-j_1+1]\),根据\(fail[\ ]\)数组的极大性可知产生了矛盾,证毕。
时间复杂度为\(O(n)\)
代码如下
// luogu-judger-enable-o2
#include <bits/stdc++.h>
using namespace std;
int main() {
ios::sync_with_stdio(false);
cin.tie(0), cout.tie(0);
string s, t;
cin >> s >> t;
int n = s.size(), m = t.size();
vector<int> fail(m, -1);
auto getfail = [&]() {
for (int i = 1, j = -1; i < m; i++) {
while (j != -1 && t[j + 1] != t[i]) {
j = fail[j];
}
if (t[j + 1] == t[i]) {
++j;
}
fail[i] = j;
}
};
getfail();
auto match = [&]() {
for (int i = 0, j = -1; i < n; i++) {
while (j != -1 && t[j + 1] != s[i]) {
j = fail[j];
}
if (t[j + 1] == s[i]) {
++j;
}
if (j == m - 1) {
cout << i - m + 2 << endl;
}
}
};
match();
for (auto v : fail) {
cout << v + 1 << " ";
}
cout << endl;
return 0;
}
最新文章
- [其他]Ubuntu安装genymotion后unable to load VirtualBox engine
- 25个实用的jquery技巧
- javafx之CSS初探
- android 怎么动态设置button 的style
- LeetCode(5) - Longest Palindromic Substring
- php29号小结(隔行换色&#183;&#183;&#183;&#183;&#183;&#183;)
- BI的核心价值[转]
- SQL 错误1418
- Python调用C可执行程序(subprocess) 分类: python 服务器搭建 C/C++ shell 2015-04-13 21:03 87人阅读 评论(0) 收藏
- 如何查看jar包的版本号?
- 查看ORACLE中正在运行的存储过程 kill
- HDU 3641 Treasure Hunting(阶乘素因子分解+二分)
- 认识J2SE
- Map和Collection
- Backup &;recovery备份和还原
- TCHAR和CHAR类型的互转,string 转lpcwstr
- 【题解】Luogu P2157 [SDOI2009]学校食堂
- MacBook小技巧
- mysql用户权限管理的问题
- 单向可控硅(SCR)双向可控硅(TRIAC)