尋找一個迷宮是否是僅僅有一個最大強連通圖。

使用Tarjan算法去求解，經典算法。必需要學習好，要自己創造出來是十分困難的了。

參考資料：https://www.byvoid.com/blog/scc-tarjan/

const int N = 10001;

vector<int> gra[N];
stack<int> stk;
bool inStack[N];
int dfsNum[N];
int backTrackNum[N];
int cur, sum;
int n, m;

void Tarjan(int u)
{
	inStack[u] = true;
	dfsNum[u] = backTrackNum[u] = ++cur;
	stk.push(u);

	for (int i = 0; i < (int)gra[u].size(); i++)
	{
		int v = gra[u][i];
		if (!dfsNum[v]) Tarjan(v), backTrackNum[u] = backTrackNum[v] < backTrackNum[u]? backTrackNum[v] : backTrackNum[u];
		else if (inStack[v]) backTrackNum[u] = backTrackNum[v] < backTrackNum[u]?
 
 backTrackNum[v] : backTrackNum[u];
	}
	if (backTrackNum[u] == dfsNum[u])
	{
		++sum;
		while (stk.size())
		{
			int v = stk.top(); stk.pop();
			inStack[v] = false;
			if (u == v) break;
		}
	}
}

void solveTarjan()
{
	sum = cur = 0;
	memset(dfsNum, 0, sizeof(dfsNum));
	for (int i = 1; i <= n; i++)
	{
		if (!dfsNum[i]) Tarjan(i);
	}
}

void initGraph()
{
	int a, b;
	for (int i = 1; i <= n; i++) gra[i].clear();//別忘了清空
	for (int i = 0; i < m; i++)
	{
		scanf("%d %d", &a, &b);
		gra[a].push_back(b);
	}
}

int main()
{
	while (scanf("%d %d", &n, &m) && n)
	{
		initGraph();
		solveTarjan();
		if (sum == 1) puts("Yes");
		else puts("No");
	}
	return 0;
}
 

HDU 1269 迷宮城堡 最大強連通圖題解