結果

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

ソースコード

diff #
raw source code 

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

using i32 = int;
using i64 = long long;
using i128 = __int128_t;
using f64 = double;
using p2 = pair<i64, i64>;
using el = tuple<i64, i64, i64>;
using mint = atcoder::modint998244353;

void _main();
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  cout << fixed << setprecision(18);
  _main();
}

void _main() {
  i64 tt;
  cin >> tt;
  for (;tt--;) {
    i64 n, m, k;
    cin >> n >> m >> k;
    vector<vector<i64>> g(n);
    for (i64 i = 0; i < m; i++) {
      i64 u, v;
      cin >> u >> v;
      u--, v--;
      g[u].push_back(v);
      g[v].push_back(u);
    }
    vector<i64> b(n);
    for (i64 i = 0; i < n; i++) cin >> b[i];
    vector<i64> dp(n, -1);
    bool bi = true;
    auto dfs = [&](auto &&dfs, i64 v) -> void {
      for (i64 nv : g[v]) {
        if (dp[nv] == -1) {
          dp[nv] = 1 - dp[v];
          dfs(dfs, nv);
        } else {
          bi &= dp[v] != dp[nv];
        }
      }
    };
    dp[0] = 0;
    dfs(dfs, 0);
    if (!bi) {
      i64 sum = 0;
      for (i64 i = 0; i < n; i++) sum = (sum + b[i]) % k;
      if (k % 2 == 1 || sum % 2 == 0) {
        cout << "Yes\n";
      } else {
        cout << "No\n";
      }
    } else {
      i64 x = 0, y = 0;
      for (i64 i = 0; i < n; i++) {
        if (dp[i] == 0) x += b[i];
        else y += b[i];
        x %= k, y %= k;
      }
      if (x == y) {
        cout << "Yes\n";
      } else {
        cout << "No\n";
      }
    }
  }
}
0