結果

問題 No.2780 The Bottle Imp
ユーザー 遭難者遭難者
提出日時 2024-06-07 22:50:05
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 53 ms / 2,000 ms
コード長 3,228 bytes
コンパイル時間 5,120 ms
コンパイル使用メモリ 320,220 KB
実行使用メモリ 34,960 KB
最終ジャッジ日時 2024-06-08 10:36:03
合計ジャッジ時間 7,206 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 2 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 1 ms
5,376 KB
testcase_07 AC 23 ms
9,384 KB
testcase_08 AC 21 ms
9,392 KB
testcase_09 AC 21 ms
9,388 KB
testcase_10 AC 21 ms
9,520 KB
testcase_11 AC 22 ms
9,388 KB
testcase_12 AC 38 ms
14,756 KB
testcase_13 AC 41 ms
14,624 KB
testcase_14 AC 17 ms
6,936 KB
testcase_15 AC 17 ms
6,940 KB
testcase_16 AC 16 ms
6,812 KB
testcase_17 AC 14 ms
6,936 KB
testcase_18 AC 15 ms
7,064 KB
testcase_19 AC 14 ms
7,064 KB
testcase_20 AC 14 ms
6,936 KB
testcase_21 AC 15 ms
7,064 KB
testcase_22 AC 9 ms
5,824 KB
testcase_23 AC 13 ms
6,860 KB
testcase_24 AC 17 ms
8,524 KB
testcase_25 AC 29 ms
11,648 KB
testcase_26 AC 17 ms
8,328 KB
testcase_27 AC 15 ms
7,504 KB
testcase_28 AC 14 ms
7,632 KB
testcase_29 AC 18 ms
11,284 KB
testcase_30 AC 13 ms
8,468 KB
testcase_31 AC 25 ms
11,408 KB
testcase_32 AC 9 ms
5,376 KB
testcase_33 AC 38 ms
26,256 KB
testcase_34 AC 53 ms
34,960 KB
testcase_35 AC 8 ms
5,376 KB
testcase_36 AC 1 ms
5,376 KB
testcase_37 AC 2 ms
5,376 KB
testcase_38 AC 8 ms
5,376 KB
testcase_39 AC 25 ms
14,452 KB
testcase_40 AC 24 ms
14,580 KB
testcase_41 AC 24 ms
14,460 KB
testcase_42 AC 2 ms
5,376 KB
testcase_43 AC 1 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using mint = atcoder::modint1000000007;
istream& operator>>(istream& is, mint& a) {
    int t; is >> t; a = t;
    return is;
}
ostream& operator<<(ostream& os, mint a) {
    return os << a.val();
}
#endif
#ifdef DEBUG
#define _GLIBCXX_DEBUG
#else
#pragma GCC target("avx2")
#pragma GCC optimize("Ofast,unroll-loops")
#define cerr if (false) cerr
#undef assert
#define assert(...) void(0)
// #undef endl
// #define endl '\n'
#endif
#undef long
#define long long long
#define overload3(a, b, c, name, ...) name
#define rep1(n) for (long i = 0; i < n; i++)
#define rep2(i, n) for (long i = 0; i < n; i++)
#define rep3(i, a, b) for (long i = a; i < b; i++)
#define rep(...) overload3(__VA_ARGS__, rep3, rep2, rep1)(__VA_ARGS__)
#define per1(n) for (long i = n - 1; i >= 0; i--)
#define per2(i, n) for (long i = n - 1; i >= 0; i--)
#define per3(i, a, b) for (long i = b - 1; i >= (a); i--)
#define per(...) overload3(__VA_ARGS__, per3, per2, per1)(__VA_ARGS__)
#define ALL(a) a.begin(), a.end()
#define UNIQUE(a) sort(ALL(a)); a.erase(unique(ALL(a)), a.end())
#define vec vector
template<typename T>
ostream& operator<<(ostream& os, vector<T> a) {
    const int n = a.size();
    rep(i, n) {
        os << a[i];
        if (i + 1 != n) os << " ";
    }
    return os;
}
template<typename T, size_t n>
ostream& operator<<(ostream& os, array<T, n> a) {
    rep(i, n) {
        os << a[i];
        if (i + 1 != n) os << " ";
    }
    return os;
}
template<typename T>
istream& operator>>(istream& is, vector<T>& a) {
    for (T& i : a) is >> i;
    return is;
}
template<typename T, typename S>
bool chmin(T& x, S y) {
    if (x > (T)y) { x = (T)y; return true; }
    return false;
}
template<typename T, typename S>
bool chmax(T& x, S y) {
    if (x < (T)y) { x = (T)y; return true; }
    return false;
}
template<typename T>
void operator++(vector<T>& a) {
    for (T& i : a) ++i;
}
template<typename T>
void operator--(vector<T>& a) {
    for (T& i : a) --i;
}
template<typename T>
void operator++(vector<T>& a, int) {
    for (T& i : a) i++;
}
template<typename T>
void operator--(vector<T>& a, int) {
    for (T& i : a) i--;
}
void solve() {
    int n; cin >> n;
    atcoder::scc_graph g(n);
    vec<vec<int>> ggg(n);
    rep(i, n) {
        int m; cin >> m;
        rep(j, m) {
            int a; cin >> a; a--;
            g.add_edge(i, a);
            ggg[i].push_back(a);
        }
    }
    auto scc = g.scc();
    vec<int> s(n);
    int m = scc.size();
    rep(i, m) for (int j : scc[i]) s[j] = i;
    if (m != 1 && s[0] != 0) {
        cout << "No" << endl;
        return;
    }
    vec<vec<int>> gg(m);
    rep(i, n) for (int j : ggg[i]) if (s[i] != s[j]) gg[s[i]].push_back(s[j]);
    rep(i, m - 1) {
        bool ok = false;
        for (int j : gg[i]) ok |= j == i + 1;
        if (!ok) {
            cout << "No" << endl;
            return;
        }
    }
    cout << "Yes" << endl;
    return;
}
int main()
{
    srand((unsigned)time(NULL));
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cout << fixed << setprecision(40);
    int t = 1;
    // cin >> t;
    rep(t)
        solve();
    return 0;
}
0