P洛谷 2634 [国家集训队]聪聪可可 （点分治）

题目描述

聪聪和可可是兄弟俩，他们俩经常为了一些琐事打起来，例如家中只剩下最后一根冰棍而两人都想吃、两个人都想玩儿电脑（可是他们家只有一台电脑）……遇到这种问题，一般情况下石头剪刀布就好了，可是他们已经玩儿腻了这种低智商的游戏。

他们的爸爸快被他们的争吵烦死了，所以他发明了一个新游戏：由爸爸在纸上画n个“点”，并用n-1条“边”把这n个“点”恰好连通（其实这就是一棵树）。并且每条“边”上都有一个数。接下来由聪聪和可可分别随即选一个点（当然他们选点时是看不到这棵树的），如果两个点之间所有边上数的和加起来恰好是3的倍数，则判聪聪赢，否则可可赢。

聪聪非常爱思考问题，在每次游戏后都会仔细研究这棵树，希望知道对于这张图自己的获胜概率是多少。现请你帮忙求出这个值以验证聪聪的答案是否正确。

输入格式

输入的第1行包含1个正整数n。后面n-1行，每行3个整数x、y、w，表示x号点和y号点之间有一条边，上面的数是w。

输出格式

以即约分数形式输出这个概率（即“a/b”的形式，其中a和b必须互质。如果概率为1，输出“1/1”）。

输入输出样例

输入 #1复制

5
1 2 1
1 3 2
1 4 1
2 5 3

输出 #1复制

13/25

说明/提示

【样例说明】

13组点对分别是(1,1) (2,2) (2,3) (2,5) (3,2) (3,3) (3,4) (3,5) (4,3) (4,4) (5,2) (5,3) (5,5)。

【数据规模】

对于100%的数据，n<=20000。

题目大意 ：  输入一个树， 问有多少对点之间的距离模3为0， 并按照题目所给方式输出

思路 ： 将所有的边权全部表示为模 3 后的结果， 然后分治， 并维护一个数组， 用来记录 0， 1， 2的出现次数， 每次操作新的树之前，将0的次数置为1（道理和将边权为0的次数置为0一样）， 然后查找完开始比对， 并将新出现的数的数目 + 1， 由于分治对于一对点只能访问一次， 所以结果要 乘以 2， 再加上 N（自己和自己匹配）

Accepted code

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

#define sc scanf
#define ls rt << 1
#define rs ls | 1
#define Min(x, y) x = min(x, y)
#define Max(x, y) x = max(x, y)
#define ALL(x) (x).begin(),(x).end()
#define SZ(x) ((int)(x).size())
#define MEM(x, b) memset(x, b, sizeof(x))
#define lowbit(x) ((x) & (-x))
#define P2(x) ((x) * (x))

typedef long long ll;
const int MOD = 1e9 + 7;
const int MAXN = 2e5 + 100;
const int INF = 0x3f3f3f3f;
inline ll fpow(ll a, ll b){ ll r = 1, t = a; while (b){ if (b & 1)r = (r*t) % MOD; b >>= 1; t = (t*t) % MOD; }return r; }

struct Edge
{
	int v, w, next;
}e[MAXN << 1];
int q[MAXN] = { 0, 1, 2 }, head[MAXN], last[MAXN], n, m, cnt;
int s_num[MAXN], maxp[MAXN], res[MAXN], now;
int cut[MAXN], dis[MAXN], dp[MAXN], rt, rt_num, ans;
bool vis[MAXN], judge[MAXN];
void add(int from, int to, int wi) {
	e[++cnt].v = to;
	e[cnt].w = wi;
	e[cnt].next = head[from];
	head[from] = cnt;
}
void rt_dfs(int x, int fa) { // 找根节点
	s_num[x] = 1, maxp[x] = 0;
	for (int i = head[x]; i != -1; i = e[i].next) {
		int vi = e[i].v;
		if (vis[vi] || vi == fa) continue;
		rt_dfs(vi, x);
		s_num[x] += s_num[vi];
		Max(maxp[x], s_num[vi]);
	}
	Max(maxp[x], rt_num - s_num[x]);
	if (maxp[x] < maxp[rt]) rt = x;
}
void dfs(int x, int fa) {  // 更新到根节点的距离
	res[++res[0]] = dis[x] % 3;
	for (int i = head[x]; i != -1; i = e[i].next) {
		int vi = e[i].v;
		if (vi == fa || vis[vi]) continue;
		dis[vi] = (dis[x] + e[i].w) % 3;
		dfs(vi, x);
	}
}
void Calc(int x) {  对子树进行访问
	int tot = 0;
	for (int i = head[x]; i != -1; i = e[i].next) {
		int vi = e[i].v;
		if (vis[vi]) continue;
		dis[vi] = e[i].w % 3, res[0] = 0;
		dfs(vi, x);
		for (int j = res[0]; j > 0; j--) {   //更新
			if ((judge[(3 - res[j]) % 3]) == true) ans += dp[(3 - res[j]) % 3];
		}
		for (int j = res[0]; j > 0; j--)
			cut[++tot] = res[j], judge[res[j]] = true, dp[res[j]]++;
	}
	for (int i = 1; i <= tot; i++) judge[cut[i]] = false;
	for (int i = 0; i <= 3; i++) dp[i] = 0;
}
void Solve(int x) { // 分治
	vis[x] = judge[0] = true;
	dp[0] = 1, Calc(x);
	for (int i = head[x]; i != -1; i = e[i].next) {
		int vi = e[i].v;
		if (vis[vi]) continue;
		rt_num = s_num[vi], maxp[rt = 0] = INF;
		rt_dfs(vi, x); Solve(rt);
	}
}
int gcd(int a, int b) {
	if (!b) return a;
	else return gcd(b, a % b);
}

int main()
{
	cin >> n; MEM(head, -1); for (int i = 0; i <= 3; i++) dp[i] = 0;
	for (int i = 1; i < n; i++) {
		int ui, vi, wi;
		sc("%d %d %d", &ui, &vi, &wi);
		add(ui, vi, wi % 3); add(vi, ui, wi % 3);  // 注意取模
	}
	rt_num = n, maxp[0] = INF; rt_dfs(1, 1);
	Solve(rt);
	int zi = ans * 2 + n, mu = n * n;
	int cnt = gcd(zi, mu);
	if (zi == mu) cout << "1/1" << endl;
	else cout << zi / cnt << "/" << mu / cnt << endl;
	return 0;
}