結果

問題 No.1813 Magical Stones
ユーザー MasKoaTSMasKoaTS
提出日時 2024-12-01 12:26:25
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 170 ms / 2,000 ms
コード長 2,126 bytes
コンパイル時間 2,953 ms
コンパイル使用メモリ 224,532 KB
実行使用メモリ 19,128 KB
最終ジャッジ日時 2024-12-01 12:26:34
合計ジャッジ時間 7,854 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 16 ms
14,180 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 4 ms
5,248 KB
testcase_07 AC 1 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 3 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 25 ms
7,384 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 17 ms
14,184 KB
testcase_15 AC 152 ms
18,328 KB
testcase_16 AC 150 ms
18,272 KB
testcase_17 AC 170 ms
19,128 KB
testcase_18 AC 150 ms
18,300 KB
testcase_19 AC 150 ms
18,324 KB
testcase_20 AC 150 ms
18,360 KB
testcase_21 AC 150 ms
18,264 KB
testcase_22 AC 151 ms
18,396 KB
testcase_23 AC 167 ms
18,272 KB
testcase_24 AC 3 ms
5,248 KB
testcase_25 AC 16 ms
5,888 KB
testcase_26 AC 6 ms
5,248 KB
testcase_27 AC 113 ms
14,108 KB
testcase_28 AC 130 ms
14,032 KB
testcase_29 AC 118 ms
15,256 KB
testcase_30 AC 113 ms
14,244 KB
testcase_31 AC 137 ms
17,560 KB
testcase_32 AC 2 ms
5,248 KB
testcase_33 AC 2 ms
5,248 KB
testcase_34 AC 6 ms
5,248 KB
testcase_35 AC 18 ms
5,248 KB
testcase_36 AC 4 ms
5,248 KB
testcase_37 AC 41 ms
6,020 KB
testcase_38 AC 19 ms
10,436 KB
testcase_39 AC 92 ms
14,352 KB
testcase_40 AC 4 ms
5,248 KB
testcase_41 AC 6 ms
5,248 KB
testcase_42 AC 20 ms
5,248 KB
testcase_43 AC 11 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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


struct SCC{
    vector<vector<int> > groups;
    vector<vector<int> > graph;
    vector<vector<int> > dag;


    SCC(int n, vector<pair<int, int> >& edges){
        build_groups(n, edges);
        build_graph(n, edges);
        build_dag(n);
    }


    void build_groups(int n, vector<pair<int, int> >& edges){
        scc_graph sg(n);
        for(auto&[x, y] : edges){
            sg.add_edge(x, y);
        }
        groups = sg.scc();
    }


    void build_graph(int n, vector<pair<int, int> >& edges){
        graph = vector<vector<int> >(n, vector<int>({}));
        for(auto&[x, y] : edges){
            graph[x].push_back(y);
        }
    }


    void build_dag(int n) {
        int sz = (int)groups.size();

        dag = vector<vector<int> >(sz, vector<int>({}));
        vector<int> group_id(n);
        for (int i = 0; i < sz; ++i) {
            for (int x : groups[i]) {
                group_id[x] = i;
            }
        }

        for (int i = 0; i < n; i++) {
            for (int k : graph[i]) {
                int x = group_id[i], y = group_id[k];
                if (x != y) {
                    dag[x].push_back(y);
                }
            }
        }
        for (vector<int>& vec : dag) {
            sort(vec.begin(), vec.end());
            vec.erase(unique(vec.begin(), vec.end()), vec.end());
        }
    }
};


int vec_sum(vector<bool>& vec){
    int ret = 0;
    for(int x : vec){
        ret += x;
    }
    return ret;
}


int main(){
    int n, m;   cin >> n >> m;
    vector<pair<int, int> > edges(m);
    for(auto&[x, y] : edges){
        cin >> x >> y;
        --x, --y;
    }

    SCC scc(n, edges);
    int N = (int)scc.dag.size();
    if(N == 1){
        cout << 0 << endl;
        return 0;
    }
    vector<bool> zero_in(N, true), zero_out(N, true);
    for(int i = 0; i < N; ++i){
        for(int j : scc.dag[i]){
            zero_in[j] = zero_out[i] = false;
        }
    }
    int ans = max(vec_sum(zero_in), vec_sum(zero_out));
    cout << ans << endl;

    return 0;
}
0