[最近公共祖先]仓鼠找 sugar 洛谷P3398

题目描述

小仓鼠的和他的基（mei）友（zi）sugar住在地下洞穴中，每个节点的编号为1~n。地下洞穴是一个树形结构。这一天小仓鼠打算从从他的卧室（a）到餐厅（b），而他的基友同时要从他的卧室（c）到图书馆（d）。他们都会走最短路径。现在小仓鼠希望知道，有没有可能在某个地方，可以碰到他的基友？

小仓鼠那么弱，还要天天被zzq大爷虐，请你快来救救他吧！

输入格式

第一行两个正整数n和q，表示这棵树节点的个数和询问的个数。

接下来n-1行，每行两个正整数u和v，表示节点u到节点v之间有一条边。

接下来q行，每行四个正整数a、b、c和d，表示节点编号，也就是一次询问，其意义如上。

输出格式

对于每个询问，如果有公共点，输出大写字母“Y”；否则输出“N”。

输入输出样例

输入 #1

5 5
2 5
4 2
1 3
1 4
5 1 5 1
2 2 1 4
4 1 3 4
3 1 1 5
3 5 1 4

输出 #1

Y
N
Y
Y
Y

说明/提示

__本题时限1s，内存限制128M，因新评测机速度较为接近NOIP评测机速度，请注意常数问题带来的影响。__

20%的数据 n<=200,q<=200

40%的数据 n<=2000,q<=2000

70%的数据 n<=50000,q<=50000

100%的数据 n<=100000,q<=100000

题意： 多组询问，每次询问给出树上四点a、b、c、d，询问a到b的路径和c到d的路径是否相交。

分析： 将树看作有根树，在有根树上的路径其实就两种形态，一种是“^”形，一种是“\”形，无论哪种形态最上层的点一定是两端点的lca。另外若两路径相交，则lca深度大的那条路径的lca一定在另一条路径上，反证法画一下图发现这是显然的，否则一个结点有两个父节点了。该命题的逆命题同样成立，也就是说这是树上两路径相交的充要条件。接下来需要判断点是否在某路径上，这里同样要用到lca，lca显然会把路径分成两部分，分别判断该点是否在这两部分上，对于每一部分可以求该点和路径端点的lca，若lca依然等于该点，那说明该点出现在这部分路径上。

具体代码如下：

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cmath>
#include <string>
using namespace std;

int head[100005], cnt, dep[100005], fa[100005][21], n, q;
struct edge
{
	int to, next;
}e[200005]; 

void add(int u, int v)
{
	e[++cnt].to = v;
	e[cnt].next = head[u];
	head[u] = cnt;
}

void dfs(int now, int pre)
{
	dep[now] = dep[pre]+1;
	fa[now][0] = pre;
	for(int i = 1; i <= 20; i++)
		fa[now][i] = fa[fa[now][i-1]][i-1];
	for(int i = head[now]; i; i = e[i].next)
		if(pre != e[i].to)
			dfs(e[i].to, now);
}

int lca(int x, int y)
{
	if(dep[x] < dep[y]) swap(x, y);
	for(int i = 20; i >= 0; i--)
		if(dep[fa[x][i]] >= dep[y])
			x = fa[x][i];
	if(x == y) return x;
	for(int i = 20; i >= 0; i--)
		if(fa[x][i] != fa[y][i])
			x = fa[x][i], y = fa[y][i];
	return fa[x][0];
}

signed main()
{
	cin >> n >> q;
	for(int i = 1; i < n; i++)
	{
		int u, v;
		scanf("%d%d", &u, &v);
		add(u, v), add(v, u);
	}
	dfs(1, 0);
	for(int i = 1; i <= q; i++)
	{
		int a, b, c, d;
		scanf("%d%d%d%d", &a, &b, &c, &d);
		int ab = lca(a, b), cd = lca(c, d);
		if(dep[ab] > dep[cd])
		{
			if(lca(ab, c) == ab || lca(ab, d) == ab) puts("Y");
			else puts("N");
		}
		else
		{
			if(lca(cd, a) == cd || lca(cd, b) == cd) puts("Y");
			else puts("N");
		}
	}
    return 0;
}