結果

問題 No.2780 The Bottle Imp
ユーザー hamo21hamo21
提出日時 2024-06-07 22:08:47
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 84 ms / 2,000 ms
コード長 2,283 bytes
コンパイル時間 4,855 ms
コンパイル使用メモリ 271,264 KB
実行使用メモリ 32,248 KB
最終ジャッジ日時 2024-06-08 10:30:33
合計ジャッジ時間 8,257 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 47 ms
9,888 KB
testcase_08 AC 48 ms
10,020 KB
testcase_09 AC 47 ms
10,016 KB
testcase_10 AC 52 ms
10,020 KB
testcase_11 AC 48 ms
10,020 KB
testcase_12 AC 78 ms
15,456 KB
testcase_13 AC 78 ms
15,452 KB
testcase_14 AC 38 ms
7,396 KB
testcase_15 AC 39 ms
7,520 KB
testcase_16 AC 38 ms
7,516 KB
testcase_17 AC 38 ms
7,392 KB
testcase_18 AC 39 ms
7,392 KB
testcase_19 AC 38 ms
7,516 KB
testcase_20 AC 40 ms
7,388 KB
testcase_21 AC 38 ms
7,516 KB
testcase_22 AC 21 ms
5,844 KB
testcase_23 AC 33 ms
7,288 KB
testcase_24 AC 40 ms
8,832 KB
testcase_25 AC 63 ms
12,380 KB
testcase_26 AC 41 ms
8,520 KB
testcase_27 AC 34 ms
7,544 KB
testcase_28 AC 34 ms
7,772 KB
testcase_29 AC 38 ms
10,752 KB
testcase_30 AC 29 ms
8,700 KB
testcase_31 AC 56 ms
11,404 KB
testcase_32 AC 24 ms
5,596 KB
testcase_33 AC 78 ms
27,768 KB
testcase_34 AC 84 ms
32,248 KB
testcase_35 AC 19 ms
5,376 KB
testcase_36 AC 3 ms
5,376 KB
testcase_37 AC 2 ms
5,376 KB
testcase_38 AC 20 ms
5,376 KB
testcase_39 AC 57 ms
15,168 KB
testcase_40 AC 57 ms
15,076 KB
testcase_41 AC 59 ms
15,208 KB
testcase_42 AC 2 ms
5,376 KB
testcase_43 AC 3 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
using namespace atcoder;
typedef int64_t ll;
using mint=modint998244353;

typedef long double ld;
const ll MOD=1000000007;
const ll MODA=998244353;
ll vx[4]={0,1,0,-1};
ll vy[4]={1,0,-1,0};
#define rep(i,n) for(ll i=0;i<(ll)(n);i++)
long long gcd(long long a,long long b){
    a=abs(a);
    b=abs(b);
    ll gcdmax=max(a,b);
    ll gcdmin=min(a,b);
    if(gcdmin==0)return gcdmax;
    while(true){
        if(gcdmax%gcdmin==0)break;
        else gcdmax%=gcdmin;
        swap(gcdmin,gcdmax);
    }
    return gcdmin;
}
ll pow(ll N,ll P,ll M){
    if(P==0)return 1;
    else if(P%2==0){
        ll t=pow(N,P/2,M);
        return t*t%M;
    }
    else return N*pow(N,P-1,M)%M;
}
ll pow(ll N,ll P){
    if(P==0)return 1;
    else if(P%2==0){
        ll t=pow(N,P/2);
        return t*t;
    }
    else return N*pow(N,P-1);
}

vector<ll> fac;
vector<ll> finv;
vector<ll> inv;
void COMinit(ll N,ll P){
    rep(i,N+1){
        if(i==0){
            fac.push_back(1);
            finv.push_back(1);
            inv.push_back(1);
        }
        else if(i==1){
            fac.push_back(1);
            finv.push_back(1);
            inv.push_back(1);
        }
        else{
            fac.push_back(fac.at(i-1)*i%P);
            inv.push_back(P-inv.at(P%i)*(P/i)%P);
            finv.push_back(finv.at(i-1)*inv.at(i)%P);
        }
    }
}

ll COM(ll n,ll k,ll P){
    if(n<k)return 0;
    if(n<0||k<0)return 0;
    return fac.at(n)*(finv.at(k)*finv.at(n-k)%P)%P;
}

int main(){
    ll n;
    cin>>n;
    scc_graph scc(n);
    vector<vector<ll>> G(n);
    rep(i,n){
        ll m;
        cin>>m;
        rep(j,m){
            ll v;
            cin>>v;
            v--;
            G[i].push_back(v);
            scc.add_edge(i,v);
        }
    }
    vector<vector<int>> group=scc.scc();
    vector<ll> id(n);
    ll sz=group.size();
    rep(i,sz){
        for(ll x:group[i])id[x]=i;
    }
    vector<bool> tf(sz-1,false);
    rep(i,n){
        for(ll x:G[i]){
            if(id[x]==id[i]+1)tf[id[i]]=true;
        }
    }
    if(id[0]!=0){
        cout<<"No"<<endl;
        return 0;
    }
    rep(i,sz-1){
        if(!tf[i]){
            cout<<"No"<<endl;
            return 0;
        }
    }
    cout<<"Yes"<<endl;
}
0