CF164A Variable, or There and Back Again 解题报告

CF164A Variable, or There and Back Again 解题报告

1 题目链接

https://codeforces.com/contest/164/problem/A

2 题目整理

题目 ：变量来回

题目描述

对于一个非常常见的变量Vasya来说，生活并不容易。无论它走到哪里，它要么被赋值，要么被忽略，要么被使用!

Vasya的生活是有计划的。在每种状态下，Vasya都可以被使用(例如，计算另一个变量的值)，或者被赋值，或者被忽略。在某些状态之间是有向(定向)转换。

路径是一系列状态$v_1,v_2，\dots ，v_x$。

Vasya在状态v中的值对于世界来说是有趣的，如果存在路径p1, p2，…对于某些i， $p_i=v_i$，在状态$p_1$中Vasya被赋值，在状态pk中Vasya被使用，没有状态$p_i$ ($p_1$除外)给Vasya赋值。

帮助Vasya，找到Vasya的价值对世界有吸引力的状态。

输入格式

第一行有两个数$N,M$,表示点数和边数。

第二行有$N$个整数$f_1,f_2,\dots ,f_N$,其中$f_i$表示第$i$个点表示的状态。

接下来有$M$行，每行两个数$u_i,v_i$, 表示$u_i$通往$v_i$。

输出格式

打印$N$个数，第$i$个数为$r_i$。若$r_i=1$，则表示结点$i$是对Vasya感兴趣的。若$r_i=0$，则相反。

样例输入1

4 3
1 0 0 2
1 2
2 3
3 4

样例输出1

1
1
1
1

样例输入2

3 1
1 0 2
1 3

样例输出2

1
0
1

样例输入3

3 1
2 0 1
1 3

样例输出3

0
0
0

数据范围

对于$100\%$的数据:

$1\le N,M\le 10^5$
$0\le f_i\le 2$
$1\le u_i,v_i\le N$
$u_i\ne v_i$

3 题意分析

3.1 题目大意

给定一个$N$点$M$边的有向图，每个点都有一个编号和一个值，这个值只能为0或1或2。有哪些点属于开头的值为1，结尾的值为2，中间的值没有为1的路径？

3.2 样例分析

如上所述。

4 解法分析

这道题是一道含有技巧的题目。(可能是我太菜)

首先，我们若要求出那些点属于这样的路径，不仿先算出哪些点能从值为1的点走到，并且中途不含其他的1。这只需要BFS一下就行了。

其次，我们还要求出哪些点能走到值为2的点，并且途中还是不经过任何值为1的点。这时候，我们就需要反向建一下图，然后再执行一遍刚才的BFS即可。

最后，我们再开。如果有点既能从值为1的点走到，又能走到值为2的点，说明这个点属于路径。

AC代码

ACCode #001

// From Heart_Blue
// Rating 2425
// reason : 思路清晰，代码易懂，可读性强
#include <cstdlib>
#include <cctype>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>
#include <string>
#include <iostream>
#include <sstream>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <fstream>
#include <numeric>
#include <iomanip>
#include <bitset>
#include <list>
#include <stdexcept>
#include <functional>
#include <utility>
#include <ctime>
using namespace std;
typedef long long LL;
typedef unsigned long long ULL;
#define MEM(a,b) memset((a),(b),sizeof(a))
const LL INF = 1e9 + 7;
const int N = 2e5 + 10;
vector<int> v1[N], v2[N];
int f[N];
int vis[N];
int ans[N];
void dfs1(int x, vector<int> v[N], int cnt = 0)
{
	if (vis[x]) return;
	if (f[x] == 1 && cnt == 1) return;
	if (f[x] == 1) cnt++;
	vis[x] = 1;
	ans[x] |= 1;
	for (auto& y : v[x])
	{
		dfs1(y, v, cnt);
	}
}
void dfs2(int x, vector<int> v[N])
{
	if (vis[x]) return;
	vis[x] = 1;
	ans[x] |= 2;
	if (f[x] == 1) return;
	for (auto& y : v[x])
	{
		dfs2(y, v);
	}
}
int main()
{
	//freopen("input.txt", "r", stdin);
	//freopen("output.txt", "w", stdout);
	int n, m;
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= n; i++) scanf("%d", &f[i]);
	while (m--)
	{
		int x, y;
		scanf("%d%d", &x, &y);
		v1[x].push_back(y);
		v2[y].push_back(x);
	}
	MEM(vis, 0);
	for (int i = 1; i <= n; i++)
	{
		if (f[i] == 1)
			dfs1(i, v1);
	}
	MEM(vis, 0);
	for (int i = 1; i <= n; i++)
	{
		if (f[i] == 2)
			dfs2(i, v2);
	}
	for (int i = 1; i <= n; i++)
		printf("%d\n", ans[i] == 3 ? 1 : 0);
	return 0;
}

ACCode #002

// From hos.lyric
// Rating 3269
// reason : 代码简洁易懂，思路明了
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <cassert>
#include <iostream>
#include <sstream>
#include <string>
#include <vector>
#include <queue>
#include <set>
#include <map>
#include <utility>
#include <numeric>
#include <algorithm>
#include <bitset>
#include <complex>

using namespace std;

typedef unsigned uint;
typedef long long Int;
typedef vector<int> vint;
typedef pair<int,int> pint;
#define mp make_pair

template<class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cout << *i << " "; cout << endl; }
template<class T> void chmin(T &t, T f) { if (t > f) t = f; }
template<class T> void chmax(T &t, T f) { if (t < f) t = f; }
int in() { int x; scanf("%d", &x); return x; }

#define MAXN 100010
#define MAXM 100010

int N, M;
int F[MAXN];
int ptr[2][MAXN], next[2][MAXM], zu[2][MAXM];

bool vis[2][MAXN];

void dfs(int s, int u, int forbidden = -1) {
// cout<<"dfs "<<s<<" "<<u<<" "<<forbidden<<endl;
	if (vis[s][u]) return;
	vis[s][u] = 1;
	if (F[u] == forbidden) return;
	int i, v;
	for (i = ptr[s][u]; ~i; i = next[s][i]) {
		v = zu[s][i];
		dfs(s, v, forbidden);
	}
}

int main() {
	int i, u, v;
	
	for (; ~scanf("%d%d", &N, &M); ) {
		for (u = 0; u < N; ++u) {
			F[u] = in();
		}
		memset(ptr, ~0, sizeof(ptr));
		for (i = 0; i < M; ++i) {
			u = in() - 1;
			v = in() - 1;
			next[0][i] = ptr[0][u]; ptr[0][u] = i; zu[0][i] = v;
			next[1][i] = ptr[1][v]; ptr[1][v] = i; zu[1][i] = u;
		}
		memset(vis, 0, sizeof(vis));
		for (u = 0; u < N; ++u) if (F[u] == 1) {
			dfs(0, u);
		}
		for (u = 0; u < N; ++u) if (F[u] == 2) {
			dfs(1, u, 1);
		}
		for (u = 0; u < N; ++u) {
			printf("%d\n", (vis[0][u] && vis[1][u]) ? 1 : 0);
		}
	}
	
	return 0;
}
 

ACCode #003

// From rng_58
// Rating 3074
// reason : 思路简洁清晰，代码简短
#include <iostream>
#include <sstream>
#include <string>
#include <vector>
#include <deque>
#include <queue>
#include <set>
#include <map>
#include <algorithm>
#include <functional>
#include <utility>
#include <cmath>
#include <cstdlib>
#include <ctime>
#include <cstdio>

using namespace std;

#define REP(i,n) for((i)=0;(i)<(int)(n);(i)++)
#define foreach(c,itr) for(__typeof((c).begin()) itr=(c).begin();itr!=(c).end();itr++)

int V,E;
int state[100010];
int a[100010],b[100010];
vector <int> graph1[100010];
vector <int> graph2[100010];
bool used1[100010],used2[100010];

void dfs1(int x){ // cout << x << endl;
    int i;
    if(used1[x]) return;
    used1[x] = true;
    REP(i,graph1[x].size()) dfs1(graph1[x][i]);
}

void dfs2(int x){ // cout << "A" << x << endl;
    int i;
    if(used2[x]) return;
    used2[x] = true;
    REP(i,graph2[x].size()) dfs2(graph2[x][i]);
}

int main(void){
    int i;
    
    scanf("%d%d",&V,&E);
    REP(i,V) scanf("%d",&state[i]);
    REP(i,E) {scanf("%d%d",&a[i],&b[i]); a[i]--; b[i]--;}
    
    REP(i,E) if(state[b[i]] != 1){
        graph1[a[i]].push_back(b[i]);
        graph2[b[i]].push_back(a[i]);
    }
    
    REP(i,V) if(state[i] == 1) dfs1(i);
    REP(i,V) if(state[i] == 2) dfs2(i);
    
    REP(i,V) if(used1[i] && used2[i]) printf("%d\n",1); else printf("%d\n",0);
    
    return 0;
}