CF1037D Valid BFS?

最新推荐文章于 2023-06-18 02:29:45 发布

looooooogn

最新推荐文章于 2023-06-18 02:29:45 发布

阅读量202

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.youkuaiyun.com/qq_40273481/article/details/86173793

该问题要求检查给定序列是否对应于从顶点1开始的给定树的某个有效BFS遍历。树是一个无向图，其中任意两个顶点之间都恰好有一条简单路径。给定树的节点数和边的细节以及要检查的序列，输出'Yes'如果序列符合BFS，否则输出'No'。

CF1037D Valid BFS?

The BFS algorithm is defined as follows.

Consider an undirected graph with vertices numbered from

as used.
Extract a vertex

from the head of the queue

.
Print the index of vertex
.
Iterate in arbitrary order through all such vertices

.
If the queue is not empty, continue from step 2.
Otherwise finish.

Since the order of choosing neighbors of each vertex can vary, it turns out that there may be multiple sequences which BFS can print.

In this problem you need to check whether a given sequence corresponds to some valid BFS traversal of the given tree starting from vertex

. The tree is an undirected graph, such that there is exactly one simple path between any two vertices.

Input

The first line contains a single integer

) which denotes the number of nodes in the tree.

The following

) — the endpoints of the corresponding edge of the tree. It is guaranteed that the given graph is a tree.

The last line contains

) — the sequence to check.

Output

Print "Yes" (quotes for clarity) if the sequence corresponds to some valid BFS traversal of the given tree and "No" (quotes for clarity) otherwise.

You can print each letter in any case (upper or lower).

Examples

Input

Copy

Output

Copy

Yes

Input

Copy

Output

Copy

No

题意：给定一个bfs序列，看是不是合法的；

我们建立边的时候，可以按边端点出现的顺序先排序，这样才可能会出现题目所给的序列；

如果不一样，那么就是不合法的；

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<cstring>
#include<string>
#include<cmath>
#include<map>
#include<set>
#include<vector>
#include<queue>
#include<bitset>
#include<ctime>
#include<deque>
#include<stack>
#include<functional>
#include<sstream>
//#include<cctype>
//#pragma GCC optimize("O3")
using namespace std;
#define maxn 200005
#define inf 0x3f3f3f3f
#define INF 9999999999
#define rdint(x) scanf("%d",&x)
#define rdllt(x) scanf("%lld",&x)
#define rdult(x) scanf("%lu",&x)
#define rdlf(x) scanf("%lf",&x)
#define rdstr(x) scanf("%s",x)
typedef long long  ll;
typedef unsigned long long ull;
typedef unsigned int U;
#define ms(x) memset((x),0,sizeof(x))
const long long int mod = 1e9 + 7;
#define Mod 1000000000
#define sq(x) (x)*(x)
#define eps 1e-3
typedef pair<int, int> pii;
#define pi acos(-1.0)
const int N = 1005;
#define REP(i,n) for(int i=0;i<(n);i++)
typedef pair<int, int> pii;
inline ll rd() {
	ll x = 0;
	char c = getchar();
	bool f = false;
	while (!isdigit(c)) {
		if (c == '-') f = true;
		c = getchar();
	}
	while (isdigit(c)) {
		x = (x << 1) + (x << 3) + (c ^ 48);
		c = getchar();
	}
	return f ? -x : x;
}

ll gcd(ll a, ll b) {
	return b == 0 ? a : gcd(b, a%b);
}
ll sqr(ll x) { return x * x; }

/*ll ans;
ll exgcd(ll a, ll b, ll &x, ll &y) {
	if (!b) {
		x = 1; y = 0; return a;
	}
	ans = exgcd(b, a%b, x, y);
	ll t = x; x = y; y = t - a / b * y;
	return ans;
}
*/



ll qpow(ll a, ll b, ll c) {
	ll ans = 1;
	a = a % c;
	while (b) {
		if (b % 2)ans = ans * a%c;
		b /= 2; a = a * a%c;
	}
	return ans;
}

int vis[maxn];
int n;
int pre[maxn];
queue<int>q;
int a[maxn];
vector<int>vc[maxn];
int b[maxn];

bool cmp(int x, int y) {
	return pre[x] < pre[y];
}

void bfs() {
	q.push(1); vis[1] = 1;
	int cnt = 0;
	while (!q.empty()) {
		int u = q.front(); q.pop();
		b[++cnt] = u;
		for (int i = 0; i < vc[u].size(); i++) {
			if (vis[vc[u][i]])continue;
			int v = vc[u][i]; vis[v] = 1; q.push(v);
		}
	}
}

int main()
{
	//ios::sync_with_stdio(0);
	rdint(n);
	for (int i = 1; i < n; i++) {
		int u, v; rdint(u); rdint(v);
		vc[u].push_back(v); vc[v].push_back(u);
	}
	for (int i = 1; i <= n; i++) {
		rdint(a[i]); pre[a[i]] = i;
	}
	for (int i = 1; i <= n; i++) {
		sort(vc[i].begin(), vc[i].end(), cmp);
	}
	bfs();
	for (int i = 1; i <= n; i++) {
		if (a[i] != b[i]) { cout << "No" << endl; return 0; }
	}
	cout << "Yes" << endl;
    return 0;
}