結果

問題 No.2780 The Bottle Imp
ユーザー Tatsu_mrTatsu_mr
提出日時 2024-06-08 08:39:09
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 99 ms / 2,000 ms
コード長 1,838 bytes
コンパイル時間 3,925 ms
コンパイル使用メモリ 276,688 KB
実行使用メモリ 50,932 KB
最終ジャッジ日時 2024-06-08 10:40:57
合計ジャッジ時間 6,823 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 55 ms
17,168 KB
testcase_08 AC 55 ms
17,048 KB
testcase_09 AC 53 ms
17,172 KB
testcase_10 AC 54 ms
17,048 KB
testcase_11 AC 67 ms
16,968 KB
testcase_12 AC 99 ms
34,576 KB
testcase_13 AC 97 ms
34,436 KB
testcase_14 AC 32 ms
6,908 KB
testcase_15 AC 31 ms
6,892 KB
testcase_16 AC 31 ms
7,040 KB
testcase_17 AC 32 ms
7,036 KB
testcase_18 AC 32 ms
7,040 KB
testcase_19 AC 30 ms
6,912 KB
testcase_20 AC 31 ms
7,016 KB
testcase_21 AC 33 ms
6,816 KB
testcase_22 AC 20 ms
7,208 KB
testcase_23 AC 26 ms
6,836 KB
testcase_24 AC 45 ms
14,520 KB
testcase_25 AC 75 ms
24,800 KB
testcase_26 AC 35 ms
9,584 KB
testcase_27 AC 26 ms
7,608 KB
testcase_28 AC 27 ms
7,484 KB
testcase_29 AC 41 ms
16,496 KB
testcase_30 AC 33 ms
16,380 KB
testcase_31 AC 48 ms
11,352 KB
testcase_32 AC 19 ms
5,376 KB
testcase_33 AC 63 ms
27,764 KB
testcase_34 AC 95 ms
50,932 KB
testcase_35 AC 16 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 2 ms
5,376 KB
testcase_38 AC 16 ms
5,376 KB
testcase_39 AC 48 ms
15,060 KB
testcase_40 AC 47 ms
15,072 KB
testcase_41 AC 47 ms
14,940 KB
testcase_42 AC 1 ms
5,376 KB
testcase_43 AC 1 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;

vector<int> TopologicalSort(vector<set<int>> g) {
    int n = g.size();
    vector<int> res;
    vector<int> indeg(n);
    for (int v = 0; v < n; v++) {
        for (int nv : g[v]) {
            indeg[nv]++;
        }
    }
    queue<int> q;
    for (int i = 0; i < n; i++) {
        if (indeg[i] == 0) {
            q.push(i);
        }
    }
    while (!q.empty()) {
        int v = q.front();
        q.pop();
        res.push_back(v);
        for (int nv : g[v]) {
            indeg[nv]--;
            if (indeg[nv] == 0) {
                q.push(nv);
            }
        }
    }
    return res;
}

int main() {
    int n;
    cin >> n;
    vector<vector<int>> g(n);
    scc_graph sg(n);
    for (int i = 0; i < n; i++) {
        int m;
        cin >> m;
        while (m--) {
            int j;
            cin >> j;
            j--;
            g[i].push_back(j);
            sg.add_edge(i, j);
        }
    }
    vector<vector<int>> list = sg.scc();
    int sz = list.size();
    vector<int> belong(n);
    for (int i = 0; i < sz; i++) {
        for (int v : list[i]) {
            belong[v] = i;
        }
    }
    vector<set<int>> g2(sz);
    for (int i = 0; i < n; i++) {
        for (int j : g[i]) {
            int u = belong[i], v = belong[j];
            if (u != v ) {
                g2[u].insert(v);
            }
        }
    }
    vector<int> tps = TopologicalSort(g2);
    vector<int> dp(sz);
    int start = belong[0];
    if (tps[0] != start) {
        cout << "No" << endl;
        return 0;
    }
    for (int v : tps) {
        for (int nv : g2[v]) {
            dp[nv] = max(dp[nv], dp[v] + 1);
        }
    }
    int mx = *max_element(dp.begin(), dp.end());
    cout << (mx == sz - 1 ? "Yes" : "No") << endl;
}
0