結果

問題 No.3426 Mod K Graph Increments (Hard)
コンテスト
ユーザー GOTKAKO
提出日時 2026-01-11 14:43:46
言語 C++17
(gcc 15.2.0 + boost 1.89.0)
結果
AC  
実行時間 166 ms / 2,000 ms
コード長 2,922 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,582 ms
コンパイル使用メモリ 231,648 KB
実行使用メモリ 18,376 KB
最終ジャッジ日時 2026-01-11 14:43:50
合計ジャッジ時間 3,661 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 10
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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

class UnionFind{
    private:
    vector<int> par,siz;
    public:
    UnionFind(int N){
        par.resize(N,-1);
        siz.resize(N,1);
    }
 
    int root(int x){ //連結成分の代表頂点を返す.
        if(par.at(x) == -1) return x;
        else return par.at(x) = root(par.at(x));
    }
    bool unite(int u, int v){ //u,vを連結する 連結してた->false,した->trueを返す.
        u = root(u),v = root(v);
        if(u == v) return false;
 
        if(siz.at(u) < siz.at(v)) swap(u,v); //Union by size.
        par.at(v) = u;
        siz.at(u) += siz.at(v);
        return true;
    }
    bool issame(int u, int v){ //同じ連結成分ならtrue.
        if(root(u) == root(v)) return true;
        else return false;
    }
    int size(int pos){return siz.at(root(pos));} //posの連結成分の大きさを返す.
};

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int T; cin >> T;
    while(T--){
        int N,M,K; cin >> N >> M >> K;
        int root = 0;
        vector<vector<int>> Graph(N);
        UnionFind Z(N);
        vector<pair<int,int>> more;
        while(M--){
            int u,v; cin >> u >> v,u--,v--;
            if(Z.issame(u,v)) more.push_back({u,v});
            else Graph.at(u).push_back(v),Graph.at(v).push_back(u),Z.unite(u,v); 
        }
        vector<int> D(N);
        {
            auto dfs = [&](auto dfs,int pos,int back) -> void {
                for(auto to : Graph.at(pos)) if(to != back) D.at(to) = D.at(pos)+1,dfs(dfs,to,pos);
            };
            dfs(dfs,0,-1);
        }
        root = -1;
        for(auto [u,v] : more) if(D.at(u)%2 == D.at(v)%2) root = u;
        
        vector<int> A(N),B(N);
        for(auto &b : B) cin >> b;
        if(root == -1){
            auto dfs = [&](auto dfs,int pos,int back) -> void {
                long long sum = 0;
                for(auto to : Graph.at(pos)){
                    if(to == back) continue;
                    dfs(dfs,to,pos);
                    int ope = (B.at(to)-A.at(to)+K)%K;
                    A.at(to) = B.at(to),sum += ope;
                }
                A.at(pos) = sum%K;
            };
            dfs(dfs,0,-1);
            if(A == B) cout << "Yes\n";
            else cout << "No\n";
        }
        else{
            auto dfs = [&](auto dfs,int pos,int back) -> void {
                long long sum = 0;
                for(auto to : Graph.at(pos)){
                    if(to == back) continue;
                    dfs(dfs,to,pos);
                    int ope = (B.at(to)-A.at(to)+K)%K;
                    A.at(to) = B.at(to),sum += ope;
                }
                A.at(pos) = sum%K;
            };
            dfs(dfs,root,-1);
            int diff = (B.at(root)-A.at(root)+K)%K;
            if(diff%2 && K%2 == 0) cout << "No\n";
            else cout << "Yes\n";
        }
    }
}
0