0

我正在研究后缀数组及其用于计算两个后缀的最长公共前缀。

消息来源说：

“两个后缀之间的 lcp 是阵列上它们之间的所有相邻后缀对中 lcp 的最小值”

即lcp(x,y)=min{ lcp(x,x+1),lcp(x+1,x+2),.....,lcp(y-1,y) } 其中 x 和 y 是字符串的两个索引，从字符串的两个后缀开始。

我不相信字符串示例中的陈述"abca"。

lcp(1,4)=1（考虑基于 1 的索引）

但是如果我应用上面的等式，那么

lcp(1,4)=min{lcp(1,2),lcp(2,3),lcp(3,4)}

我认为lcp(1,2)=0。

所以答案必须0根据方程。

我在某处弄错了吗？

4

2 回答 2

2

我认为源引用的索引不是字符串本身的索引，而是排序后缀的索引。

a
abca
bca
ca

因此

lcp(1,2) = lcp(a, abca) = 1
lcp(1,4) = min(lcp(1,2), lcp(2,3), lcp(3,4)) = 0
于 2013-04-21T06:04:44.433 回答
0

您无法通过简单地计算数组上它们之间的所有相邻后缀对的 lcp 的最小值来找到任何两个后缀的 LCP。

我们可以在以下帮助下计算任何后缀 (i,j) 的 LCP：

LCP(suffix i,suffix j)=LCP[RMQ(i + 1; j)]

还要注意(i<j)asLCP (suff i,suff j) 不一定相等LCP (Suff j,suff i)。RMQ 是Range Minimum Query 。

本文第 3 页。

Details:

步骤1： 首先计算相邻/连续后缀对的LCP。

n = 字符串的长度。

suffixArray[] 是后缀数组。

void calculateadjacentsuffixes(int n)
{
    for (int i=0; i<n; ++i) Rank[suffixArray[i]] = i;
    Height[0] = 0;
    for (int i=0, h=0; i<n; ++i)
    {
        if (Rank[i] > 0)
        {
            int j = suffixArray[Rank[i]-1];
            while (i + h < n && j + h < n && str[i+h] == str[j+h])
            {
                h++;
            }
            Height[Rank[i]] = h;
            if (h > 0) h--;
        }
    }
}

注意：Height[i]=（后缀 i-1 ,后缀 i）的 LCPs 即。高度数组包含相邻后缀的 LCP。

第2步：

使用 RMQ 概念计算任意两个后缀 i,j 的 LCP。RMQ预计算功能：

void preprocesses(int N)
{
    int i, j;

    //initialize M for the intervals with length 1
    for (i = 0; i < N; i++)
        M[i][0] = i;

    //compute values from smaller to bigger intervals
    for (j = 1; 1 << j <= N; j++)
    {
        for (i = 0; i + (1 << j) - 1 < N; i++)
        {
            if (Height[M[i][j - 1]] < Height[M[i + (1 << (j - 1))][j - 1]])
            {
                M[i][j] = M[i][j - 1];
            }
            else
            {
                M[i][j] = M[i + (1 << (j - 1))][j - 1];
            }
        }
    }
}

第三步：计算任意两个后缀 i,j 之间的 LCP

int LCP(int i,int j)
{
    /*Make sure we send i<j always */
    /* By doing this ,it resolve following
    suppose ,we send LCP(5,4) then it converts it to LCP(4,5)
    */
    if(i>j)
        swap(i,j);

    /*conformation over*/

    if(i==j)
    {
        return (Length_of_str-suffixArray[i]);
    }
    else
    {
        return Height[RMQ(i+1,j)];
        //LCP(suffix i,suffix j)=LCPadj[RMQ(i + 1; j)] 
        //LCPadj=LCP of adjacent suffix =Height.
    }
}

其中 RMQ 函数为：

int RMQ(int i,int j)
{
    int k=log((double)(j-i+1))/log((double)2);
    int vv= j-(1<<k)+1 ;
    if(Height[M[i][k]]<=Height[ M[vv][ k] ])
        return M[i][k];
    else
        return M[ vv ][ k];
}

请参阅RMQ 的Topcoder 教程。

您可以在我的博客上查看 C++ 中的完整实现。

于 2013-04-21T06:34:18.207 回答