#987208 (C++23) No.2780 The Bottle Imp

提出ソース

結果

問題	No.2780 The Bottle Imp
ユーザー	MMRZ
提出日時	2024-06-07 23:58:03
言語	C++23 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	88 ms / 2,000 ms
コード長	4,193 bytes
コンパイル時間	3,400 ms
コンパイル使用メモリ	263,892 KB
実行使用メモリ	32,504 KB
最終ジャッジ日時	2024-06-08 10:40:11
合計ジャッジ時間	5,987 ms
ジャッジサーバーID （参考情報）	judge3 / judge4

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 6,812 KB
testcase_01	AC	2 ms 6,944 KB
testcase_02	AC	2 ms 6,944 KB
testcase_03	AC	2 ms 6,944 KB
testcase_04	AC	2 ms 6,940 KB
testcase_05	AC	2 ms 6,940 KB
testcase_06	AC	2 ms 6,940 KB
testcase_07	AC	44 ms 13,312 KB
testcase_08	AC	51 ms 13,312 KB
testcase_09	AC	46 ms 13,312 KB
testcase_10	AC	53 ms 13,312 KB
testcase_11	AC	49 ms 13,312 KB
testcase_12	AC	88 ms 22,828 KB
testcase_13	AC	82 ms 22,824 KB
testcase_14	AC	25 ms 6,944 KB
testcase_15	AC	24 ms 6,944 KB
testcase_16	AC	25 ms 6,944 KB
testcase_17	AC	24 ms 6,940 KB
testcase_18	AC	25 ms 6,940 KB
testcase_19	AC	25 ms 6,940 KB
testcase_20	AC	24 ms 6,940 KB
testcase_21	AC	24 ms 6,944 KB
testcase_22	AC	19 ms 6,944 KB
testcase_23	AC	24 ms 6,940 KB
testcase_24	AC	41 ms 11,648 KB
testcase_25	AC	69 ms 17,496 KB
testcase_26	AC	42 ms 9,856 KB
testcase_27	AC	23 ms 11,008 KB
testcase_28	AC	23 ms 11,008 KB
testcase_29	AC	28 ms 12,800 KB
testcase_30	AC	20 ms 11,392 KB
testcase_31	AC	47 ms 19,664 KB
testcase_32	AC	11 ms 6,944 KB
testcase_33	AC	55 ms 27,652 KB
testcase_34	AC	63 ms 32,504 KB
testcase_35	AC	11 ms 6,944 KB
testcase_36	AC	2 ms 6,940 KB
testcase_37	AC	2 ms 6,944 KB
testcase_38	AC	10 ms 6,940 KB
testcase_39	AC	38 ms 17,904 KB
testcase_40	AC	40 ms 18,020 KB
testcase_41	AC	39 ms 17,892 KB
testcase_42	AC	2 ms 6,940 KB
testcase_43	AC	2 ms 6,940 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#line 1 "cp_templates/template/template.hpp"
# include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ull = unsigned long long;
const double pi = acos(-1);
template<class T>constexpr T inf() { return ::std::numeric_limits<T>::max(); }
template<class T>constexpr T hinf() { return inf<T>() / 2; }
template <typename T_char>T_char TL(T_char cX) { return tolower(cX); }
template <typename T_char>T_char TU(T_char cX) { return toupper(cX); }
template<class T> bool chmin(T& a,T b) { if(a > b){a = b; return true;} return false; }
template<class T> bool chmax(T& a,T b) { if(a < b){a = b; return true;} return false; }
int popcnt(unsigned long long n) { int cnt = 0; for (int i = 0; i < 64; i++)if ((n >> i) & 1)cnt++; return cnt; }
int d_sum(ll n) { int ret = 0; while (n > 0) { ret += n % 10; n /= 10; }return ret; }
int d_cnt(ll n) { int ret = 0; while (n > 0) { ret++; n /= 10; }return ret; }
ll gcd(ll a, ll b) { if (b == 0)return a; return gcd(b, a%b); };
ll lcm(ll a, ll b) { ll g = gcd(a, b); return a / g*b; };
ll MOD(ll x, ll m){return (x%m+m)%m; }
ll FLOOR(ll x, ll m) {ll r = (x%m+m)%m; return (x-r)/m; }
template<class T> using dijk = priority_queue<T, vector<T>, greater<T>>;
# define all(qpqpq)           (qpqpq).begin(),(qpqpq).end()
# define UNIQUE(wpwpw)        (wpwpw).erase(unique(all((wpwpw))),(wpwpw).end())
# define LOWER(epepe)         transform(all((epepe)),(epepe).begin(),TL<char>)
# define UPPER(rprpr)         transform(all((rprpr)),(rprpr).begin(),TU<char>)
# define rep(i,upupu)         for(ll i = 0, i##_len = (upupu);(i) < (i##_len);(i)++)
# define reps(i,opopo)        for(ll i = 1, i##_len = (opopo);(i) <= (i##_len);(i)++)
# define len(x)                ((ll)(x).size())
# define bit(n)               (1LL << (n))
# define pb push_back
# define exists(c, e)         ((c).find(e) != (c).end())

struct INIT{
	INIT(){
		std::ios::sync_with_stdio(false);
		std::cin.tie(0);
		cout << fixed << setprecision(20);
	}
}INIT;

namespace mmrz {
	void solve();
}

int main(){
	mmrz::solve();
}
#line 1 "cp_templates/data_structure/union_find.hpp"

struct union_find {
	vector<int> v;

	union_find(size_t size) : v(size, -1) {}

	int root(int x){
		return (v[x] < 0 ? x : v[x] = root(v[x]));
	}

	bool is_root(int x){
		return root(x) == x;
	}

	void unite(int x, int y){
		x = root(x);
		y = root(y);
		if(x != y){
			if(v[x] > v[y])swap(x, y);
			v[x] += v[y];
			v[y] = x;
		}
	}

	bool is_same(int x,int y){
		return root(x) == root(y);
	}

	int get_size(int x){
		x = root(x);
		return -v[x];
	}
};
#line 3 "2780.cpp"
using namespace mmrz;

struct scc_graph {
	vector<vector<int>> g;
	vector<vector<int>> rg;
	vector<bool> used;
	vector<int> cmp;
	vector<int> vs;
	int n;
	int k;

	scc_graph(int _n) : n(_n), k(0) {
		g.resize(n);
		rg.resize(n);
		used.resize(n);
		cmp.resize(n);
	}

	void add_edge(int a, int b) {
		g[a].push_back(b);
		rg[b].push_back(a);
	}

	void dfs(int v){
		used[v] = true;
		for(auto to : g[v]){
			if(not used[to])dfs(to);
		}
		vs.pb(v);
	}

	void rdfs(int v, int col){
		used[v] = true;
		cmp[v] = col;
		for(auto to : rg[v]){
			if(not used[to])rdfs(to, col);
		}
	}

	vector<vector<int>> scc() {
		for(int i = 0;i < n;i++){
			if(not used[i])dfs(i);
		}
		for(int i = 0;i < n;i++){
			used[i] = false;
		}
		for(auto i = vs.rbegin();i != vs.rend();i++){
			if(not used[*i])rdfs(*i, k++);
		}
		vector<vector<int>> ret(k);
		for(int i = 0;i < n;i++){
			ret[cmp[i]].push_back(i);
		}
		return ret;
	}
};

void SOLVE(){
	int n;
	cin >> n;
	scc_graph g(n);
	vector<vector<int>> gr(n);
	rep(i, n){
		int a;
		cin >> a;
		rep(j, a){
			int b;
			cin >> b;
			b--;
			gr[i].pb(b);
			g.add_edge(i, b);
		}
	}
	
	auto scc = g.scc();

	vector<int> topol(n);
	rep(i, len(scc)){
		for(auto y : scc[i]){
			topol[y] = i;
		}
	}

	bool flg = false;
	for(auto i : scc[0]){
		if(i == 0)flg = true;
	}

	if(!flg){
		cout << "No" << endl;
		return;
	}

	rep(i, len(scc)-1){
		bool c = false;
		for(auto j : scc[i]){
			for(auto k : gr[j]){
				if(topol[k] == i+1)c = true;
			}
		}
		if(not c){
			cout << "No" << endl;
			return;
		}
	}
	cout << "Yes" << endl;
	
}

void mmrz::solve(){
	int t = 1;
	//cin >> t;
	while(t--)SOLVE();
}

yukicoder

結果

テストケース

ソースコード