結果

問題 No.2780 The Bottle Imp
ユーザー FplusFplusFFplusFplusF
提出日時 2024-06-07 22:09:20
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,757 bytes
コンパイル時間 3,017 ms
コンパイル使用メモリ 272,612 KB
実行使用メモリ 52,348 KB
最終ジャッジ日時 2024-06-08 10:30:34
合計ジャッジ時間 5,741 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 57 ms
21,504 KB
testcase_08 AC 53 ms
21,504 KB
testcase_09 AC 54 ms
21,376 KB
testcase_10 AC 53 ms
21,376 KB
testcase_11 AC 57 ms
21,376 KB
testcase_12 AC 98 ms
42,932 KB
testcase_13 AC 98 ms
42,792 KB
testcase_14 AC 32 ms
7,808 KB
testcase_15 AC 30 ms
7,808 KB
testcase_16 AC 31 ms
7,808 KB
testcase_17 AC 31 ms
7,808 KB
testcase_18 AC 31 ms
7,808 KB
testcase_19 AC 32 ms
7,808 KB
testcase_20 AC 32 ms
7,680 KB
testcase_21 AC 31 ms
7,808 KB
testcase_22 AC 20 ms
8,704 KB
testcase_23 AC 28 ms
8,064 KB
testcase_24 AC 46 ms
18,176 KB
testcase_25 AC 74 ms
30,836 KB
testcase_26 AC 44 ms
12,928 KB
testcase_27 AC 30 ms
13,072 KB
testcase_28 AC 30 ms
13,072 KB
testcase_29 AC 36 ms
18,560 KB
testcase_30 AC 24 ms
19,328 KB
testcase_31 AC 46 ms
24,352 KB
testcase_32 AC 11 ms
5,760 KB
testcase_33 AC 78 ms
32,512 KB
testcase_34 AC 76 ms
52,348 KB
testcase_35 AC 10 ms
5,376 KB
testcase_36 WA -
testcase_37 AC 2 ms
5,376 KB
testcase_38 AC 9 ms
5,376 KB
testcase_39 AC 59 ms
21,236 KB
testcase_40 AC 60 ms
21,080 KB
testcase_41 WA -
testcase_42 WA -
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<set<ll>> h(sz);
    rep(i,sz){
        for(auto j:ret[i]){
            for(auto k:g[j]){
                if(st[i].contains(k)) continue;
                h[i].insert(v[k]);
            }
        }
    }
    vector<ll> dp(sz,0);
    rep(i,sz){
        if(st[i].contains(0)) dp[i]=1;
    }
    rep(i,sz){
        for(auto j:h[i]){
            dp[j]+=dp[i];
        }
    }
    rep(i,sz){
        if(dp[i]!=1){
            cout << "No\n";
            return 0;
        }
    }
    cout << "Yes\n";
}
0