Test/LC/incremental_scc.test.cpp

• View this file on GitHub
• Last update: 2025-05-05 21:42:21+09:00
• Problem: https://judge.yosupo.jp/problem/incremental_scc

Depends on

• Src/DataStructure/DisjointSetUnion/DisjointSetUnion.hpp
• offline incremental SCC (Src/Graph/Components/IncrementalSCC.hpp)
• ioまわりの設定 (Src/Template/IOSetting.hpp)
• 標準データ型のエイリアス (Src/Template/TypeAlias.hpp)

Code

#define PROBLEM "https://judge.yosupo.jp/problem/incremental_scc"

#include "../../Src/Template/IOSetting.hpp"
#include "../../Src/Graph/Components/IncrementalSCC.hpp"
#include "../../Src/DataStructure/DisjointSetUnion/DisjointSetUnion.hpp" 
#include "atcoder/modint"

#include <iostream>
#include <vector>

using namespace zawa;
using mint = atcoder::modint998244353;

int main() {
    SetFastIO();
    int N, M;
    std::cin >> N >> M;
    std::vector<mint> X(N);
    for (auto& x : X) {
        int v;
        std::cin >> v;
        x = mint::raw(v);
    }
    IncrementalSCC g(N);
    for (int _{} ; _ < M ; _++) {
        int u, v;
        std::cin >> u >> v;
        g.addEdge(u, v);
    }
    std::vector<std::vector<int>> event(M);
    auto T{g.build()};
    for (int i{} ; i < M ; i++) {
        if (T[i] == T.invalid()) continue;
        event[T[i]].push_back(i);
    }
    DisjointSetUnion dsu(N);
    mint ans{}; 
    for (int i{} ; i < M ; i++) {
        for (auto j : event[i]) {
            auto [u, v]{g.getEdge(j)};
            u = dsu.leader(u);
            v = dsu.leader(v);
            if (u == v) continue;
            ans += X[u] * X[v];
            mint next{X[u] + X[v]};
            dsu.merge(u, v);
            X[dsu.leader(u)] = next;
        }
        std::cout << ans.val() << '\n';
    }
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
    ~~~~~~~~~~~~~~^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
    ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
                ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: atcoder/scc.hpp: line -1: no such header

Back to top page