CodeForces 475B —— Strongly Connected City

原題：http://codeforces.com/problemset/problem/475/B

題意：有n條橫線和m條豎線形成一個網格圖，第一行給出每條橫線的方向，第二行給出每條豎線的方向；問圖中的任意兩個交點是否可以相互到達（只能沿着線的方向走）；

思路：就是判斷該圖是否強連通；那麼如何建圖？—— 每條線上相鄰的點之間按照該線的方向建立一條單向邊；

#include<bits/stdc++.h>
using namespace std;
const int maxn = 410;
int n, m;
char a[25], b[25];
int head[maxn], edgenum;
int Time, taj, top;
int DFN[maxn], Low[maxn], Stack[maxn];
bool Instack[maxn];

struct Edge
{
	int from, to, next;
}edge[maxn*maxn];

void add(int u, int v)
{
	edge[edgenum].from = u;
	edge[edgenum].to = v;
	edge[edgenum].next = head[u];
	head[u] = edgenum++;
}

void Tarjan(int u)
{
	DFN[u] = Low[u] = ++Time;
	Stack[top++] = u;
	Instack[u] = true;
	for(int i = head[u];i != -1;i = edge[i].next)
	{
		int v = edge[i].to;
		if(DFN[v] == -1)
		{
			Tarjan(v);
			Low[u] = min(Low[u], Low[v]);
		}
		else if(Instack[v] && Low[u] > DFN[v])
			Low[u] = DFN[v];
	}
	if(Low[u] == DFN[u])
	{
		taj++;
		while(1)
		{
			int now = Stack[--top];
			Instack[now] = false;
			if(now == u)	break;
		}
	}
}

void init()
{
	memset(head, -1, sizeof head);
	edgenum = 0;
	memset(DFN, -1, sizeof DFN);
	memset(Instack, false, sizeof Instack);
	Time = taj = top = 0;
}

int main()
{
	scanf("%d%d", &n, &m);
	scanf("%s%s", a, b);
	init();
	for(int i = 0;i<n;i++)
	{
		if(a[i] == '>')
		{
			for(int j = 0;j<m-1;j++)
				add(i*m+j, i*m+(j+1));
		}
		if(a[i] == '<')
		{
			for(int j = m-1;j>0;j--)
				add(i*m+j, i*m+(j-1));
		}
	}
	for(int j = 0;j<m;j++)
	{
		if(b[j] == 'v')
		{
			for(int i = 0;i<n-1;i++)
				add(i*m+j, (i+1)*m+j);
		}
		if(b[j] == '^')
		{
			for(int i = n-1;i>0;i--)
				add(i*m+j, (i-1)*m+j);
		}
	}
	for(int i = 0;i<n*m;i++)
	{
		if(DFN[i] == -1)
		Tarjan(i);
	}
	if(taj == 1)	printf("YES\n");
	else	printf("NO\n");
	return 0;
}