結果

問題 No.2780 The Bottle Imp
ユーザー ゆにぽけゆにぽけ
提出日時 2024-06-07 21:48:39
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,432 bytes
コンパイル時間 1,485 ms
コンパイル使用メモリ 151,392 KB
実行使用メモリ 28,676 KB
最終ジャッジ日時 2024-06-08 10:28:49
合計ジャッジ時間 3,636 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 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 42 ms
12,672 KB
testcase_08 AC 38 ms
12,800 KB
testcase_09 AC 39 ms
12,672 KB
testcase_10 AC 39 ms
12,800 KB
testcase_11 AC 40 ms
12,672 KB
testcase_12 AC 68 ms
22,464 KB
testcase_13 AC 66 ms
22,460 KB
testcase_14 AC 18 ms
5,632 KB
testcase_15 AC 17 ms
5,632 KB
testcase_16 AC 17 ms
5,504 KB
testcase_17 AC 18 ms
5,504 KB
testcase_18 AC 17 ms
5,632 KB
testcase_19 AC 18 ms
5,504 KB
testcase_20 AC 17 ms
5,504 KB
testcase_21 AC 17 ms
5,632 KB
testcase_22 AC 15 ms
6,272 KB
testcase_23 AC 16 ms
5,632 KB
testcase_24 AC 33 ms
11,136 KB
testcase_25 AC 54 ms
17,300 KB
testcase_26 AC 26 ms
8,448 KB
testcase_27 AC 15 ms
8,704 KB
testcase_28 AC 15 ms
8,700 KB
testcase_29 WA -
testcase_30 AC 23 ms
11,132 KB
testcase_31 AC 28 ms
14,464 KB
testcase_32 AC 8 ms
5,376 KB
testcase_33 AC 34 ms
18,312 KB
testcase_34 AC 76 ms
28,676 KB
testcase_35 AC 8 ms
5,376 KB
testcase_36 WA -
testcase_37 WA -
testcase_38 AC 8 ms
5,376 KB
testcase_39 AC 28 ms
12,928 KB
testcase_40 AC 26 ms
12,928 KB
testcase_41 WA -
testcase_42 AC 2 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> seen(K);
	queue<int> Q;
	Q.push(scc[0]);
	seen[scc[0]] = 1;
	while(!Q.empty())
	{
		int u = Q.front();
		Q.pop();

		for(int v : H[u])
		{
			if(seen[v]);
			else
			{
				seen[v] = 1;
				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