結果

問題 No.2780 The Bottle Imp
ユーザー ゆにぽけゆにぽけ
提出日時 2024-06-07 21:58:24
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 78 ms / 2,000 ms
コード長 2,684 bytes
コンパイル時間 1,520 ms
コンパイル使用メモリ 151,748 KB
実行使用メモリ 29,060 KB
最終ジャッジ日時 2024-06-08 10:29:57
合計ジャッジ時間 4,127 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 41 ms
12,800 KB
testcase_08 AC 39 ms
12,800 KB
testcase_09 AC 41 ms
12,800 KB
testcase_10 AC 40 ms
12,800 KB
testcase_11 AC 39 ms
12,672 KB
testcase_12 AC 69 ms
22,844 KB
testcase_13 AC 69 ms
22,716 KB
testcase_14 AC 17 ms
5,760 KB
testcase_15 AC 17 ms
5,632 KB
testcase_16 AC 17 ms
5,504 KB
testcase_17 AC 17 ms
5,632 KB
testcase_18 AC 17 ms
5,632 KB
testcase_19 AC 17 ms
5,632 KB
testcase_20 AC 17 ms
5,504 KB
testcase_21 AC 17 ms
5,632 KB
testcase_22 AC 14 ms
6,144 KB
testcase_23 AC 16 ms
5,632 KB
testcase_24 AC 34 ms
11,392 KB
testcase_25 AC 54 ms
17,688 KB
testcase_26 AC 25 ms
8,576 KB
testcase_27 AC 15 ms
8,576 KB
testcase_28 AC 16 ms
8,704 KB
testcase_29 AC 28 ms
11,648 KB
testcase_30 AC 26 ms
11,392 KB
testcase_31 AC 29 ms
14,336 KB
testcase_32 AC 9 ms
5,376 KB
testcase_33 AC 34 ms
18,304 KB
testcase_34 AC 78 ms
29,060 KB
testcase_35 AC 8 ms
5,376 KB
testcase_36 AC 1 ms
5,376 KB
testcase_37 AC 1 ms
5,376 KB
testcase_38 AC 8 ms
5,376 KB
testcase_39 AC 26 ms
12,928 KB
testcase_40 AC 25 ms
13,056 KB
testcase_41 AC 24 ms
12,928 KB
testcase_42 AC 1 ms
5,376 KB
testcase_43 AC 1 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <array>
#include <iterator>
#include <string>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include <cassert>
#include <cmath>
#include <ctime>
#include <iomanip>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <unordered_map>
#include <set>
#include <unordered_set>
#include <bitset>
#include <random>
#include <utility>
#include <functional>
#include <chrono>
using namespace std;
struct SCC
{
	private:
	int N;
	vector<vector<int>> G,RG;
	vector<int> component,seen,order;

	public:
	
	SCC(int N_)
	{
		N = N_;
		G.resize(N);
		RG.resize(N);
		component.assign(N,-1);
		seen.assign(N,0);
	}

	int read(int M,vector<vector<int>> &H)
	{
		for(;M--;)
		{
			int u,v;
			cin >> u >> v;
			u--; v--;
			add_edge(u,v);
		}

		return build(H);
	}

	void add_edge(int u,int v)
	{
		assert(0 <= u && u < N && 0 <= v && v < N);
		G[u].push_back(v);
		RG[v].push_back(u);
	}

	int build(vector<vector<int>> &H)
	{
		for(int u = 0;u < N;u++) if(!seen[u]) dfs(u);
		reverse(order.begin(),order.end());
		int K = 0;
		for(int u : order) if(component[u] < 0)
		{
			rdfs(u,K);
			K++;
		}

		H.resize(K);
		set<pair<int,int>> connected;
		for(int u = 0;u < N;u++) 
		{
			for(int v:G[u]) if(component[u] != component[v] && !connected.count(make_pair(u,v)))
			{
				H[component[u]].push_back(component[v]);
				connected.insert(make_pair(u,v));
			}
		}

		return K;
	}

	int operator[](int u) const
	{
		assert(0 <= u && u < N);
		return component[u];
	}

	void dfs(int u)
	{
		seen[u] = 1;
		for(int v:G[u]) if(!seen[v]) dfs(v);
		order.push_back(u);
	}

	void rdfs(int u,int k)
	{
		component[u] = k;
		for(int v:RG[u]) if(component[v] < 0) rdfs(v,k);
	}
};

void Main()
{
	int N;
	cin >> N;
	SCC scc(N);
	for(int i = 0;i < N;i++)
	{
		int M;
		cin >> M;
		for(;M--;)
		{
			int j;
			cin >> j;
			j--;
			scc.add_edge(i, j);
		}
	}
	vector<vector<int>> H;
	int K = scc.build(H);
	vector<int> deg(K);
	for(int i = 0;i < K;i++)
	{
		for(int j :  H[i])
		{
			deg[j]++;
		}
	}
	queue<int> Q;
	for(int i = scc[0];i < K;i++)
	{
		if(!deg[i])
		{
			Q.push(i);
		}
	}
	vector<int> seen(K);
	while(!Q.empty())
	{
		if(Q.size() > 1)
		{
			cout << "No\n";
			return;
		}
		int u = Q.front();
		Q.pop();
		if(seen[u])
		{
			continue;
		}
		seen[u] = 1;
		for(int v : H[u])
		{
			if(seen[v]);
			else
			{
				if(!--deg[v])
				{
					Q.push(v);
				}
			}
		}
	}
	for(int i = 0;i < K;i++)
	{
		if(seen[i]);
		else
		{
			cout << "No\n";
			return;
		}
	}
	cout << "Yes\n";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	int tt = 1;
	/* cin >> tt; */
	while(tt--) Main();
}
0