結果

問題 No.2780 The Bottle Imp
ユーザー FplusFplusFFplusFplusF
提出日時 2024-06-07 22:02:34
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,643 bytes
コンパイル時間 3,516 ms
コンパイル使用メモリ 274,164 KB
実行使用メモリ 43,068 KB
最終ジャッジ日時 2024-06-08 10:30:16
合計ジャッジ時間 6,463 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 54 ms
17,792 KB
testcase_08 AC 51 ms
17,792 KB
testcase_09 AC 53 ms
17,792 KB
testcase_10 AC 55 ms
17,664 KB
testcase_11 AC 55 ms
17,792 KB
testcase_12 AC 86 ms
33,588 KB
testcase_13 AC 88 ms
33,660 KB
testcase_14 AC 35 ms
7,808 KB
testcase_15 AC 34 ms
7,680 KB
testcase_16 AC 34 ms
7,808 KB
testcase_17 AC 35 ms
7,808 KB
testcase_18 AC 38 ms
7,680 KB
testcase_19 AC 37 ms
7,808 KB
testcase_20 AC 37 ms
7,808 KB
testcase_21 AC 37 ms
7,808 KB
testcase_22 AC 23 ms
8,192 KB
testcase_23 AC 34 ms
7,936 KB
testcase_24 AC 44 ms
15,360 KB
testcase_25 AC 72 ms
24,436 KB
testcase_26 AC 47 ms
12,032 KB
testcase_27 AC 35 ms
13,120 KB
testcase_28 AC 34 ms
13,076 KB
testcase_29 WA -
testcase_30 AC 24 ms
15,616 KB
testcase_31 AC 57 ms
24,352 KB
testcase_32 AC 12 ms
5,760 KB
testcase_33 AC 85 ms
32,516 KB
testcase_34 AC 69 ms
43,068 KB
testcase_35 AC 10 ms
5,376 KB
testcase_36 WA -
testcase_37 WA -
testcase_38 AC 10 ms
5,376 KB
testcase_39 AC 58 ms
21,232 KB
testcase_40 AC 59 ms
21,236 KB
testcase_41 WA -
testcase_42 AC 2 ms
5,376 KB
testcase_43 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using ll=long long;
using ull=unsigned long long;
using pll=pair<ll,ll>;
using tll=tuple<ll,ll,ll>;
using ld=long double;
const ll INF=(1ll<<60);
#define rep(i,n) for (ll i=0;i<(ll)(n);i++)
#define replr(i,l,r) for (ll i=(ll)(l);i<(ll)(r);i++)
#define all(v) v.begin(),v.end()
#define len(v) ((ll)v.size())
template<class T> inline bool chmin(T &a,T b){
    if(a>b){
        a=b;
        return true;
    }
    return false;
}
template<class T> inline bool chmax(T &a,T b){
    if(a<b){
        a=b;
        return true;
    }
    return false;
}
struct SCC{
    int n;
    vector<vector<int>> g,rg;
    vector<bool> used;
    vector<int> ord;
    vector<int> comp;
    SCC(int x){
        n=x;
        g.resize(n);
        rg.resize(n);
        used.resize(n,false);
        comp.resize(n,-1);
    }
    void add_edge(int u,int v){
        g[u].push_back(v);
        rg[v].push_back(u);
    }
    void dfs(int x){
        used[x]=true;
        for(auto &i:g[x]){
            if(!used[i]) dfs(i);
        }
        ord.push_back(x);
    }
    void rdfs(int x,int cnt){
        comp[x]=cnt;
        for(auto &i:rg[x]){
            if(comp[i]==-1) rdfs(i,cnt);
        }
    }
    vector<vector<int>> solve(){
        for(int i=0;i<n;i++){
            if(used[i]) continue;
            dfs(i);
        }
        reverse(ord.begin(),ord.end());
        int cnt=0;
        for(auto &i:ord){
            if(comp[i]!=-1) continue;
            rdfs(i,cnt);
            cnt++;
        }
        vector<vector<int>> ret(cnt);
        for(int i=0;i<n;i++){
            ret[comp[i]].push_back(i);
        }
        return ret;
    }
};
int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    ll n;
    cin >> n;
    vector<vector<ll>> g(n);
    rep(i,n){
        ll m;
        cin >> m;
        rep(j,m){
            ll a;
            cin >> a;
            a--;
            g[i].push_back(a);
        }
    }
    SCC s(n);
    rep(i,n){
        for(auto j:g[i]) s.add_edge(i,j);
    }
    vector<vector<int>> ret=s.solve();
    ll sz=len(ret);
    vector<set<ll>> st(sz);
    vector<ll> v(n);
    rep(i,sz){
        for(auto j:ret[i]){
            st[i].insert(j);
            v[j]=i;
        }
    }
    vector<ll> ok(sz,0);
    rep(i,sz){
        if(st[i].contains(0)) ok[i]=1;
    }
    rep(i,sz){
        for(auto j:ret[i]){
            for(auto k:g[j]){
                if(st[i].contains(k)) continue;
                ok[v[k]]|=ok[i];
            }
        }
    }
    rep(i,sz){
        if(!ok[i]){
            cout << "No\n";
            return 0;
        }
    }
    cout << "Yes\n";
}
0