Neither shaken nor stirred（DFS理解+vector存图）

题目链接：http://acm.timus.ru/problem.aspx?space=1&num=2013

题目理解：

给定n个点的有向图：

下面n行，第一个数字表示点权，后面一个数字m表示有m条边。

起点是1.

对于每个点，输出2个值表示前驱点权1和该点点权2。

1、就是若有多条路径且全为“同一个值”输出“同一个值”，否则输出unknown；

　　若有一条路径若前驱节点的权值>0，输出前驱结点的权值,否则输出sober;

2、否则若该点点权>0输出该点点权，否则输出前驱点权值(若有多条路径且全为“同一个值”输出“同一个值”，否则输出unknown；

　　若有一条路径若前驱节点的权值>0，输出前驱结点的权值,否则输出sober）

AC代码+详解

 /* */
 # include <iostream>
 # include <stdio.h>
 # include <string.h>
 # include <algorithm>
 # include <bitset>
 # include <ctime>
 # include <cmath>
 # include <list>
 # include <cctype>
 # include <cassert>
 # include <iomanip>
 # include <deque>
 # include <queue>
 # include <stack>
 # include <set>
 # include <map>
 # include <vector>
 using namespace std;

 const int inf=0x3f3f3f3f;
 const int maxn=2e5+;
 int a[maxn];
 int zt[maxn];
 vector<int>ve[maxn];

 void dfs(int x, int y)///x此结点,y前驱结点的权值
 {
     if( zt[x]==- )///有两个前驱,(既然已经判断出有两个前驱,且此路之前来过,就没必要再往下遍历了)
         return ;

     if( !zt[x] )///还没有访问过
         zt[x] = y;///记录其前驱节点的权值
     else///已经访问过之后又来访问说明有两个前驱结点了,标记一下
         zt[x] = -;

     if( a[x] )///此结点的权值不为0
         y=a[x];

     for( auto it:ve[x] )
     {
         if( zt[it]!=y )///之前的前驱结点的值不为现在前驱结点的值,
             ///若zt[it]原来为0,说明没有遍历过
             ///若zt[it]原来为-1,或者是一个正整数
             ///但之前前驱结点的值与此时前驱节点的值不一样
             ///那么就再进行一次遍历
             ///至于具体是什么情况,for有前面的判断决定
         {
             dfs(it, y);
         }
     }

 }

 int main()
 {
     memset(zt, , sizeof(zt));
     int n;
     cin>>n;
     for(int i=; i<=n; i++ )
     {
         cin>>a[i];
         int x;
         cin>>x;
         for(int j=; j<=x; j++ )
         {
             int y;
             cin>>y;
             ve[i].push_back(y);
         }
     }
     dfs(, -);

     for(int i=; i<=n; i++ )
     {
         if( zt[i]==- )
             cout<<"sober ";

         else if( zt[i]==- )
             cout<<"unknown ";

         else
             cout<<zt[i]<<' ';

         if( a[i]> )
             cout<<a[i]<<endl;

         else
         {
             if( zt[i]==- )
                 cout<<"sober"<<endl;

             else if( zt[i]==- )
                 cout<<"unknown"<<endl;

             else
                 cout<<zt[i]<<endl;
         }
     }
     return ;
 }