結果

問題 No.3426 Mod K Graph Increments (Hard)
コンテスト
ユーザー startcpp
提出日時 2026-01-11 15:54:59
言語 C++14
(gcc 15.2.0 + boost 1.89.0)
結果
WA  
実行時間 -
コード長 1,751 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,381 ms
コンパイル使用メモリ 123,908 KB
実行使用メモリ 27,864 KB
最終ジャッジ日時 2026-01-11 15:55:02
合計ジャッジ時間 3,059 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 3 WA * 7
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <iostream>
#include <string>
#include <algorithm>
#include <functional>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <tuple>
#include <cstdio>
#include <cmath>
#include <cassert>
#include <atcoder/modint>
#include <atcoder/dsu>
#define rep(i, n) for(i = 0; i < n; i++)
#define int long long
using namespace std;
using namespace atcoder;
using mint = modint998244353;

int n, m, K;
vector<vector<int>> et;
vector<int> U, V;
vector<int> b;

// 辺p--vの操作回数を返す
int dfs(int p, int v) {
	int cnt = 0;
	for (int nv: et[v]) {
		if (nv == p) continue;
		cnt += dfs(v, nv);
		cnt %= K;
	}

	int ret = (b[v] - cnt + K) % K;
	return ret;
}

bool solve() {
	int i;
	dsu uf(n);
	rep(i, m) uf.merge(U[i], V[i]);
	
	auto gs = uf.groups();
	vector<int> v2gid(n, -1);
	rep(i, gs.size()) {
		for (int v: gs[i]) {
			v2gid[v] = i;
		}
	}

	vector<int> gid2ecnt(gs.size());
	rep(i, m) {
		int gid = v2gid[U[i]];
		gid2ecnt[gid]++;
	}

	rep(i, gs.size()) {
		assert(gid2ecnt[i] >= (int)gs[i].size() - 1);
		if (gid2ecnt[i] == (int)gs[i].size() - 1) {
			int res = dfs(-1, gs[i][0]);
			if (res != 0) return false;
		}
		else if (K % 2 == 0) {
			int res = 0;
			for (int v: gs[i]) res += b[v];
			if (res % 2 != 0) return false;
		}
	}

	return true;
}

signed main() {
	int T;
	cin >> T;
	while (T--) {
		cin >> n >> m >> K;
		et.clear();
		et.resize(n);
		U.clear();
		V.clear();

		int i;
		rep(i, m) {
			int u, v;
			cin >> u >> v; u--; v--;
			et[u].push_back(v);
			et[v].push_back(u);
			U.push_back(u);
			V.push_back(v);
		}
		b.clear();
		b.resize(n);
		rep(i, n) { cin >> b[i]; }

		bool res = solve();
		if (res) { cout << "Yes" << endl; }
		else { cout << "No" << endl; }
	}
	return 0;
}
0