結果
| 問題 | No.3426 Mod K Graph Increments (Hard) |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2026-01-11 14:46:17 |
| 言語 | C++17 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,653 bytes |
| 記録 | |
| コンパイル時間 | 2,060 ms |
| コンパイル使用メモリ | 222,776 KB |
| 実行使用メモリ | 20,216 KB |
| 最終ジャッジ日時 | 2026-01-11 14:46:21 |
| 合計ジャッジ時間 | 3,304 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 3 WA * 7 |
ソースコード
#include <bits/stdc++.h>
#include <algorithm>
#include <numeric>
using namespace std;
using ll = long long;
#define overload4(a, b, c, d, name, ...) name
#define rep1(n) for (ll i = 0; i < n; ++i)
#define rep2(i, n) for (ll i = 0; i < n; ++i)
#define rep3(i, a, b) for (ll i = a; i < b; ++i)
#define rep4(i, a, b, c) for (ll i = a; i < b; i += c)
#define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__)
void solve();
int main() {
cin.tie(nullptr);
ios::sync_with_stdio(false);
cout << fixed << setprecision(20);
ll t = 1;
cin >> t;
for (int i = 1; i <= t; i++) solve();
return 0;
}
ll dy[4] = {-1, 0, 1, 0}, dx[4] = {0, 1, 0, -1};
void solve() {
ll n, m, k;
cin >> n >> m >> k;
vector<vector<ll>> g(n);
rep(i, m) {
ll u, v;
cin >> u >> v;
u--, v--;
g[u].push_back(v), g[v].push_back(u);
}
vector<ll> a(n), b(n);
rep(i, n) cin >> b[i];
vector<ll> col(n, -1);
bool is_bip = true;
auto dfs = [&](auto&& self, ll from, ll par) -> void {
for (auto to : g[from]) {
if (to == par) continue;
if (col[to] == col[from]) is_bip = false;
if (col[to] != -1) continue;
col[to] = 1 - col[from];
self(self, to, from);
}
};
dfs(dfs, 0, -1);
if (is_bip) {
ll c[2] = {0, 0};
rep(i, n) c[col[i]] += b[i], c[col[i]] %= k;
cout << (c[0] == c[1] ? "Yes" : "No") << endl;
} else {
ll s = accumulate(b.begin(), b.end(), 0LL) % k;
if (k % 2) cout << "Yes" << endl;
else cout << (s % 2 ? "No" : "Yes") << endl;
}
}