結果
問題 |
No.2780 The Bottle Imp
|
ユーザー |
![]() |
提出日時 | 2024-06-08 13:23:47 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 182 ms / 2,000 ms |
コード長 | 1,921 bytes |
コンパイル時間 | 5,017 ms |
コンパイル使用メモリ | 271,448 KB |
最終ジャッジ日時 | 2025-02-21 20:56:18 |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 40 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair<ll,ll>; using lb = long double; using T = tuple<ll, ll, ll>; #ifdef LOCAL # include <debug_print.hpp> # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast<void>(0)) #endif int main() { int n; cin >> n; scc_graph g(n); vector<vector<int>> f(n); dsu uf(n); rep(i,n) { int m; cin >> m; rep(j,m) { int b; cin >> b; --b; g.add_edge(i, b); f[i].push_back(b); } } int m = 0; map<int, int> l; for(auto G : g.scc()) { for(int v : G) { uf.merge(v, G[0]); } l[uf.leader(G[0])] = m; m++; } vector<int> d(m); vector<vector<int>> G(m); rep(i,n) { for(int v : f[i]) { if(uf.leader(v)==uf.leader(i)) continue; G[l[uf.leader(i)]].push_back(l[uf.leader(v)]); } } rep(i,m) { sort(G[i].begin(),G[i].end()); G[i].erase(unique(G[i].begin(),G[i].end()), G[i].end()); } rep(i,m) { for(int v : G[i]) { d[v]++; } } queue<int> q; rep(i,m) { if(d[i]==0) q.push(i); } int s = uf.leader(0); if(d[l[s]]!=0) { cout<<"No"<<endl; return 0; } while(!q.empty()) { if(q.size()>=2){ cout<<"No"<< endl; return 0; } int u = q.front();q.pop(); m--; for(int v : G[u]) { d[v]--; if(d[v]==0) q.push(v); } } if(m==0){ cout<<"Yes"<<endl; } else{ cout<<"No"<<endl; } return 0; }