Horspool(字符串匹配)算法

Horsepool算法是Boyer-Moore算法的简化版本，这也是一个空间换时间的典型例子。算法把模式P和文本T的开头字符对齐，从模式的最后一个字符开始比较，如果尝试比较失败了，它把模式向后移。每次尝试过程中比较是从右到左的。

假设文本中，对齐模式最后一个字符的元素是c,Horspool算法根据c的不同情况来确定移动距离，无论c是否和模式的最后一个字符相匹配。

一般来说，会存在下面四种情况。

情况1：看第一行，模式中不存在c（此时c就是字母A），模式的移动长度就是它的全部长度，移到第二行所示的位置。

情况2：看第二行，c（此时c就是字符O）正好是模式的最后一个字符，但是从右向左比较时，有字符不匹配，比如此时的A和E不匹配。而且模式中的其他m-1个字符也不包含c。移动的情况类似情况1，移动的幅度等于模式的全部长度，移到第三行所示的位置。

情况3：看第一行，模式中存在c（此时c就是字符L），但是它不是模式的最后一个字符，移动时应该把模式中最右边的c和文本中的c对齐，移到第二行所示的位置。
情况4：看第二行，c（此时c就是字符O）正好是模式的最后一个字符，但是从右向左比较时，有字符不匹配，比如此时的A和E不匹配。而此时模式中的其他m-1个字符包含c。移动的情况类似情况3，移动时应该把前m-1个字符中最右边的c和文本中的c对齐，移到第三行所示的位置。

这说明，比起蛮力算法每次总是移动一个位置，从右到左的字符比较使模式模式移动得更远。然而，如果在每次尝试时都必须检查模式中的每个字符，它的优势也会丧失殆尽。我们可以预先算出遇到某个字符要移动的距离，并把它存在一个表中。具体来说，对于每一个字符c，可以通过以下公式算出移动距离：

t(c)={模式的长度m模式前m−1个字符中最右边的c到模式最后一个字符的距离（如果c不包含在模式的前m-1个字符中）（其他情况下）

如对于模式BARBER，移动距离如下表所示：

字符c	A	B	E	R	其它字符（包括空格，标点符号，下划线和其它一些特殊字符）
移动距离t(c)	4	2	1	3	6

c++实现

int Horspool(vector<char> & T,vector<char> & P)
{
    int n = T.size();
    int m = P.size();   
    vector<int> table(96,m);//以字母表中可打印字符为索引的数组

    for(int i = 0;i < m - 1;i++)
    {
        table[P[i] - 32] = m - 1 - i;//模式串中每个字符的移动距离，从左至右扫描模式，相同字符的最后一次改写恰好是该字符在模式串的最右边
    }

    int i = m - 1;
    while(i <= n - 1)
    {
        int k = 0;
        while(k <= m - 1 && P[m - 1 - k] == T[i - k])
            k++;

        if(k == m)
            return i - m + 1;//匹配成功，返回索引
        else
            i += table[T[i] - 32];//模式串向右移动
    }

    return -1;//匹配失败
}