結果

問題 No.2780 The Bottle Imp
ユーザー yuusaanyuusaan
提出日時 2024-05-31 08:41:08
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 80 ms / 2,000 ms
コード長 3,241 bytes
コンパイル時間 5,410 ms
コンパイル使用メモリ 312,772 KB
実行使用メモリ 29,748 KB
最終ジャッジ日時 2024-06-08 10:27:08
合計ジャッジ時間 8,358 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 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 2 ms
5,376 KB
testcase_07 AC 46 ms
9,228 KB
testcase_08 AC 46 ms
9,308 KB
testcase_09 AC 46 ms
9,360 KB
testcase_10 AC 46 ms
9,364 KB
testcase_11 AC 47 ms
9,236 KB
testcase_12 AC 75 ms
14,604 KB
testcase_13 AC 77 ms
14,724 KB
testcase_14 AC 36 ms
6,780 KB
testcase_15 AC 36 ms
6,916 KB
testcase_16 AC 37 ms
6,912 KB
testcase_17 AC 36 ms
6,656 KB
testcase_18 AC 36 ms
6,784 KB
testcase_19 AC 36 ms
6,908 KB
testcase_20 AC 36 ms
6,916 KB
testcase_21 AC 36 ms
6,916 KB
testcase_22 AC 20 ms
5,672 KB
testcase_23 AC 31 ms
6,964 KB
testcase_24 AC 38 ms
8,252 KB
testcase_25 AC 60 ms
11,572 KB
testcase_26 AC 38 ms
8,052 KB
testcase_27 AC 32 ms
7,484 KB
testcase_28 AC 31 ms
7,484 KB
testcase_29 AC 37 ms
10,112 KB
testcase_30 AC 29 ms
8,316 KB
testcase_31 AC 55 ms
11,400 KB
testcase_32 AC 23 ms
5,376 KB
testcase_33 AC 72 ms
26,236 KB
testcase_34 AC 80 ms
29,748 KB
testcase_35 AC 19 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 2 ms
5,376 KB
testcase_38 AC 19 ms
5,376 KB
testcase_39 AC 55 ms
14,436 KB
testcase_40 AC 55 ms
14,560 KB
testcase_41 AC 55 ms
14,428 KB
testcase_42 AC 2 ms
5,376 KB
testcase_43 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <stdio.h>
#include <algorithm>
#include <vector>
#include <tuple>
#include <map>
#include<set>
#include<queue>
#include<stack>
#include <unordered_set>
#include<thread>
#include<bits/stdc++.h>

#include <atcoder/all>
#include <cstdio>

// #pragma GCC target("avx")
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")

// string abc = "abcdefghijklmnopqrstuvwxyz";
// string abc = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";

using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using ull = unsigned long long;
using mint = modint998244353;
//using mint = modint1000000007;
template<typename T> using pq = priority_queue<T>;//降順?(最大取り出し)
template<typename T> using pqg = priority_queue<T, vector<T>, greater<T>>;//昇順?(最小取り出し)
template<typename T> using vector2 = vector<vector<T>>;
template<typename T> using vector3 = vector<vector<vector<T>>>;
template<typename T> using vector4 = vector<vector<vector<vector<T>>>>;
template<typename T> using vector5 = vector<vector<vector<vector<vector<T>>>>>;
template<typename T> using vector6 = vector<vector<vector<vector<vector<vector<T>>>>>>;
template<typename T> using pairs = pair<T,T>;
#define rep(i, n) for (ll i = 0; i < ll(n); i++)
#define rep1(i,n) for(int i = 1;i <= int(n);i++)
#define repm(i, m, n) for (int i = (m); (i) < int(n);(i)++)
#define repmr(i, m, n) for (int i = (m) - 1; (i) >= int(n);(i)--)
#define rep0(i,n) for(int i = n - 1;i >= 0;i--)
#define rep01(i,n) for(int i = n;i >= 1;i--)



/// ここから////////////////////////////////////////////

int main() {
    int n;
    cin >> n;
    scc_graph g(n);//AtCoder Libraryのsccを使用
    vector2<int> b(n,vector<int>(0));//チェック2にて使用する入力をそのまま管理する配列/vector2<int>はvector<vector<int>>を表します(34行目にて定義)
    for(int j = 0;j < n; j++){
        int m;
        cin >> m;
        for(int i = 0;i < m;i++){
            int a;
            cin >> a;
            a--;
            b[j].push_back(a);
            g.add_edge(j,a);
        }
    }
    vector<vector<int>> sorted = g.scc();//強連結成分分解からのトポロジカルソート(AtCoder Libraryの機能)
    vector<int> topol(n);//その頂点(人)が何番目の強連結成分に存在するかを保存
    rep(j,sorted.size()){
        for(int i : sorted[j]){
            topol[i] = j;
        }
    }
    bool  ans = 0;//二つのチェックを通ったらYes
    for(int j : sorted[0]){//チェック1:頂点(人)1がトポロジカルソートされた強連結成分たちのうち先頭に位置しているか
        if(j == 0){
            ans = 1;
        }
    }

    rep(j,sorted.size()-1){//チェック2:トポロジカルソートされた強連結成分たちについてある強連結成分から次の強連結成分へ移動可能か
        bool c = 0;
        for(int i : sorted[j]){
            for(int k : b[i]){
                if(topol[k] == j+1)c = 1;
            }
        }
        if(!c)ans = 0;//次の強連結成分へ移動できないなら答えはNo
    }

    if(ans)cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}
0