题解 CF1037D 【Valid BFS?】

不管怎么说，这都不是道紫题吧。。。

---

这里采用的思想有点类似轻重链剖分。

我们按照每个节点在序列里面出现的顺序，把每一个节点连出去的边都排一个序。

这样（如果序列没错）肯定会按照序列的方式遍历完全图。

所以我们就按照这个图跑一遍BFS。

一边BFS一边查看是否符合。

程序的速度不算特别快，最优解rank11。（写丑了）

---

AC代码如下：

1925ms 9776kb

 #include<bits/stdc++.h>

 using namespace std;

 namespace StandardIO{

     template<typename T>inline void read(T &x){
         x=;T f=;char c=getchar();
         for(;c<''||c>'';c=getchar())if(c=='-')f=-;
         for(;c>=''&&c<='';c=getchar())x=x*+c-'';
         x*=f;
     }

     template<typename T>inline void write(T x){
         if(x<)putchar('-'),x*=-;
         if(x>=)write(x/);
         putchar(x%+'');
     }

 }

 using namespace StandardIO;

 namespace Solve{

     const int N=;
     int n,cnt;
     int a[N],b[N],vis[N];
     vector<int>G[N];

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

     inline void solve(){
         read(n);
         for(register int i=;i<=n-;++i){
             int u,v;
             read(u),read(v);
             G[u].push_back(v),G[v].push_back(u);
         }
         for(register int i=;i<=n;++i){
             read(b[i]),a[b[i]]=i;
         }
         for(register int i=;i<=n;++i){
             sort(G[i].begin(),G[i].end(),cmp);
         }
         queue<int>q;
         q.push();
         while(!q.empty()){
             int now=q.front();q.pop();
             if(vis[now])continue;
             vis[now]=;
             if(b[++cnt]!=now){
                 puts("No");
                 return;
             }
             for(register int i=;i<G[now].size();++i){
 //                cout<<G[now][i]<<endl;
                 q.push(G[now][i]);
             }
         }
         puts("Yes");
     }
 }

 using namespace Solve;

 int main(){
 //    freopen(".in","r",stdin);
 //    freopen(".out","w",stdout);
     solve();
 }