結果

問題 No.2780 The Bottle Imp
コンテスト
ユーザー yuusaan
提出日時 2024-05-31 08:41:08
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 84 ms / 2,000 ms
コード長 3,241 bytes
コンパイル時間 5,582 ms
コンパイル使用メモリ 314,328 KB
実行使用メモリ 29,940 KB
最終ジャッジ日時 2024-12-27 13:31:20
合計ジャッジ時間 8,517 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

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