看《算法训练营》中的KMP算法并按着实现了一下,看起来运行得很好,然后从网上找了个例子运行
出来的结果和预想的不一样。本来是没有匹配的,但是程序直接输出了“成功”,还带着子字符串出现的位置是0. 为啥呢?
遂开始调试,先用vscode调了半天,没结果;又打开visual studio,这下看出了问题:
如图所示,a.size()和b.size(),它们的数据类型是unsigned int,而lb可能取负值。
lb=-1时,按照我们的想法,判断条件是满足的,应该进入循环执行下一句if,但事实上,由于unsigned int,判断的条件实际上是不成立的,因此直接退出循环,且此时la的值为3,所以最后输出了一个“成功”,且位置为3-4+1=0。
所以在这里要加一个类型转换,转成有符号的整数。
代码如下:(忽略上面的希尔排序)
#include<iostream>
#define _USE_MATH_DEFINES
#include<math.h>
#include<vector>
using namespace std;
void shellsort(vector<char>& v) {//希尔排序
int h = 1;
while (h < v.size() / 3) {
h = h * 3 + 1;
}
printf("%d ", h);
while (h >= 1) {
for (int i = h; i < v.size(); i++) {
for (int j = i; j >= h && v[j] < v[j - h]; j -= h) {
int temp = v[j];
v[j] = v[j - h];
v[j - h] = temp;
}
for (int ll = 0; ll < 16; ll++) {
printf("%c ", v[ll]);
}
cout << endl;
}
h /= 3;
}
}
void getnext(vector<int>& next, string b) {
int k = -1;
int j = 0;
next[0] = -1;
while (j <=b.size()-2) {
if (k == -1 || b[j] == b[k]) {
next[++j] = ++k;
}
else {
k = next[k];
}
}
}
void matching_process(string a, string b, vector<int> next) {
int la = 0;
int lb = 0;
printf("%d %d", a.size(), b.size());
while (la < (int)a.size() && lb <(int) b.size()) {
if (lb == -1 || a[la] == b[lb]) {
la++;
lb++;
}
else {
lb = next[lb];
}
}
if (lb >= b.size()) {
printf("位置是:");
printf("%d", la - b.size() + 1);
}
else {
printf("匹配失败");
}
}
int main() {
string a, b;
cin >> a >> b;
vector<int> next(b.size());
getnext(next, b);
for (int i = 0; i < b.size(); i++) {
printf("%d ", next[i]);
}
matching_process(a, b, next);
return 0;
}