Question

我正在尝试学习LCA算法 O（nlog n）预处理和O（log n）查询。我在谷歌翻译的帮助下从俄罗斯网站上阅读它。但它没有翻译很好，我很难理解它。任何人都可以帮助我吗？

这是我从该网站上获取的伪代码

int n, l; 

vector <vector <int>> g;

vector <int> tin, tout;

int timer;

vector <vector <int>> up;

void dfs (int v, int p = 0) 
{
  tin [v] = ++ timer;
  up [v] [0] = p;
  for (int i = 1; i <= l; i ++)               /** 3)What is this going
     up [v] [i] = up [up [v] [i-1]] [i-1];

  for (i = 0 size_t; i <g [v] .size (); i ++) 
   {
      to g = int [v] [i];
        if (to! = p)
           dfs (to, v);
   }
   tout [v] = ++ timer;
 }

bool upper (int a, int b) 
{
  return tin [a] <= tin [b] && tout [a]> = tout [b];
}

int lca (int a, int b) 
{
  if (upper (a, b)) return a;
  if (upper (b, a)) return b;

  for (int i = l; i> = 0; --i)              /** 2)What is this going
    if (! upper (up [a] [i], b))
        a = up [a] [i];

  return up [a] [0];

}

int main () {

... Read n and g ...

tin.resize (n), tout.resize (n), up.resize (n);
l = 1;                                    
                                      /** 0)What is 'l' used for ?
while ((1 << l) <= n) ++ l;           /** 1)What is this going
for (int i = 0; i <n; i ++) 
  up [i] .resize (l + 1);
dfs (0);

for (;;) //->query loop
  {
    int a, b; // The current query
    int res = lca (a, b); // Response to a request
  }

}

我的理解

我知道我们正在遍历图表并存储每个顶点的及时和结束时间。
我理解up[i][j]是2^j顶点的i祖先。
我理解为什么up[v][0]=p（因为2^0，即顶点v的第一个祖先只是它的父亲）
我理解上层函数的作用。它决定在A或B之前发生的顶点。
我理解上层(a,b)是真实的，而lca是A，同样是第二步。

我在伪代码中提到了我不理解的内容。请帮助我，请确认我是否理解了所有内容。

P.S-＆gt; 对不起我的英文。对此不太满意。

对最低共同祖先（LCA）算法的理解不清楚

0 个答案: