結果

問題 No.2780 The Bottle Imp
ユーザー GoldIngotGoldIngot
提出日時 2024-06-07 22:31:20
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 67 ms / 2,000 ms
コード長 1,524 bytes
コンパイル時間 6,181 ms
コンパイル使用メモリ 268,200 KB
実行使用メモリ 33,620 KB
最終ジャッジ日時 2024-12-27 14:08:12
合計ジャッジ時間 9,321 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 3 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 32 ms
10,356 KB
testcase_08 AC 31 ms
10,364 KB
testcase_09 AC 33 ms
10,356 KB
testcase_10 AC 31 ms
10,228 KB
testcase_11 AC 32 ms
10,360 KB
testcase_12 AC 62 ms
16,892 KB
testcase_13 AC 62 ms
17,008 KB
testcase_14 AC 19 ms
7,208 KB
testcase_15 AC 21 ms
7,076 KB
testcase_16 AC 22 ms
7,200 KB
testcase_17 AC 19 ms
7,204 KB
testcase_18 AC 19 ms
7,076 KB
testcase_19 AC 21 ms
7,076 KB
testcase_20 AC 21 ms
7,076 KB
testcase_21 AC 22 ms
7,204 KB
testcase_22 AC 13 ms
5,904 KB
testcase_23 AC 20 ms
7,164 KB
testcase_24 AC 27 ms
9,252 KB
testcase_25 AC 46 ms
13,072 KB
testcase_26 AC 25 ms
8,488 KB
testcase_27 AC 21 ms
7,916 KB
testcase_28 AC 22 ms
7,796 KB
testcase_29 AC 24 ms
11,056 KB
testcase_30 AC 20 ms
9,008 KB
testcase_31 AC 35 ms
12,136 KB
testcase_32 AC 15 ms
5,248 KB
testcase_33 AC 53 ms
28,504 KB
testcase_34 AC 67 ms
33,620 KB
testcase_35 AC 11 ms
5,248 KB
testcase_36 AC 3 ms
5,248 KB
testcase_37 AC 3 ms
5,248 KB
testcase_38 AC 11 ms
5,248 KB
testcase_39 AC 36 ms
15,548 KB
testcase_40 AC 37 ms
15,420 KB
testcase_41 AC 40 ms
15,676 KB
testcase_42 AC 2 ms
5,248 KB
testcase_43 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rep2(i,m,n) for(int (i)=(m);(i)<(n);(i)++)
#define rep2ll(i,m,n) for(ll (i)=(m);(i)<(n);(i)++)
#define ALL(obj) (obj).begin(), (obj).end()
#define rALL(obj) (obj).rbegin(), (obj).rend()
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
using mint = atcoder::modint998244353;
using VL = vector<ll>;
using VVL = vector<VL>;
using VVVL = vector<VVL>;
using VM = vector<mint>;
using VVM = vector<VM>;
using VVVM = vector<VVM>;
using VD = vector<double>;
using VVD = vector<VD>;
using VVVD = vector<VVD>;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    ll n; cin>>n;
    VL m(n);
    VVL a(n);
    rep(i,n){
        cin>>m[i];
        a[i] = VL(m[i]);
        rep(j,m[i]) cin>>a[i][j], a[i][j]--;
    }
    atcoder::scc_graph g(n);
    rep(i,n) for(auto j:a[i]) g.add_edge(i, j);
    auto scc = g.scc();
    bool b1 = false;
    for(auto x:scc[0]) b1 |= x == 0;
    bool b2 = true;
    int sz = scc.size();
    VL b(n);
    rep(i,sz){
        for(auto x:scc[i]) b[x] = i;
    }
    VL c(sz-1, 0);
    rep(i,n){
        for(auto j:a[i]){
            if(b[i] + 1 == b[j]){
                c[b[i]] = 1;
            }
        }
    }
    rep(i,sz-1) b2 &= c[i];
    cout<<(b1&&b2?"Yes\n":"No\n");




    
    return 0;
}
0