結果

問題 No.3425 Mod K Graph Increments (Easy)
コンテスト
ユーザー tau1235
提出日時 2026-01-11 15:25:08
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
結果
AC  
実行時間 165 ms / 2,000 ms
コード長 829 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,236 ms
コンパイル使用メモリ 343,684 KB
実行使用メモリ 7,852 KB
最終ジャッジ日時 2026-01-11 15:25:14
合計ジャッジ時間 4,912 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 7
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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

void solve(){
  int n,m,k;
  cin>>n>>m>>k;
  vector<vector<int>> g(n);
  for (int i=0;i<m;i++){
    int u,v;
    cin>>u>>v;
    u--;v--;
    g[u].push_back(v);
    g[v].push_back(u);
  }
  vector<int> b(n);
  for (int i=0;i<n;i++) cin>>b[i];
  vector<int> a(n);
  vector<int> dep(n);
  auto dfs=[&](auto dfs,int v,int par)-> void {
    for (int u:g[v]){
      if (u==par) continue;
      dep[u]=dep[v]+1;
      dfs(dfs,u,v);
      int r=(b[u]+k-a[u])%k;
      a[u]=(a[u]+r)%k;
      a[v]=(a[v]+r)%k;
    }
  };
  dfs(dfs,0,-1);
  int s0=0,s1=0;
  for (int i=0;i<n;i++){
    if (dep[i]%2==0) s0=(s0+b[i])%k;
    else s1=(s1+b[i])%k;
  }
  assert((s0==s1)==(b[0]==a[0]));
  if (b[0]==a[0]) cout<<"Yes\n";
  else cout<<"No\n";
}

int main(){
  int t;
  cin>>t;
  while (t--) solve();
}
0