题目描述
聪聪和可可是兄弟俩，他们俩经常为了一些琐事打起来，例如家中只剩下最后一根冰棍而两人都想吃、两个人都想玩儿电脑（可是他们家只有一台电脑）……遇到这种问题，一般情况下石头剪刀布就好了，可是他们已经玩儿腻了这种低智商的游戏。
他们的爸爸快被他们的争吵烦死了，所以他发明了一个新游戏：由爸爸在纸上画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。
解题思路
先遍历一遍找出树的重心，把重心作为根，然后dis数组(别的博客大部分叫d)记录没统计过的儿子到达当前树根的边权和，t[0]、t[1]、t[2]分别记录dis模3之后余数为0、1、2的点的个数，乘法原理得到过当前根的路径的权值模三为零的点对数为$t[0]*t[0]+t[1]*t[2]*2$。然后对当前根的每棵子树做相同的操作，不过给子树找重心前还要去重。比如点对a到b路径为a->r1->r2->r1->b，当r2做根时a、b就统计了一遍，操作r2的子树r1时，如果r1->r2权值能被3整除，那么a->r1->b的权值和依然能被3整除，就会导致a、b重复计算，所以要去重。(要是有时间画个图就好懂了)
源代码
#include<cstdio>
#include<algorithm>
int n;
struct Edge{
int next,to,w;
}e[40010];
int head[40010]={0},cnt=1;
void add(int u,int v,int w)
{
e[cnt]={head[u],v,w};
head[u]=cnt++;
e[cnt]={head[v],u,w};
head[v]=cnt++;
}
int root,sum,ans=0;
int t[3]={0};
int num_to[20010]={0},max_son[20010]={0},dis[20010]={0};
bool vis[20010]={0};
int getroot(int u,int fa)
{
num_to[u]=1;max_son[u]=0;
for(int i=head[u];i;i=e[i].next)
{
int v=e[i].to;
if(vis[v]||v==fa) continue;
getroot(v,u);
num_to[u]+=num_to[v];
max_son[u]=std::max(max_son[u],num_to[v]);
}
max_son[u]=std::max(max_son[u],sum-num_to[u]);
if(max_son[u]<max_son[root]) root=u;
}
void getdis(int u,int fa)
{
t[dis[u]]++;
for(int i=head[u];i;i=e[i].next)
{
int v=e[i].to;
if(vis[v]||v==fa) continue;
dis[v]=(dis[u]+e[i].w)%3;
getdis(v,u);
}
}
int cal(int u,int D)
{
dis[u]=D%3;
t[0]=t[1]=t[2]=0;
getdis(u,0);
return t[0]*t[0]+t[1]*t[2]*2;
}
void work(int u)
{
ans+=cal(u,0);
vis[u]=1;
for(int i=head[u];i;i=e[i].next)
{
int v=e[i].to;
if(vis[v]) continue;
ans-=cal(v,e[i].w);
root=0;
sum=num_to[v];
getroot(v,0);
work(root);
}
}
int main()
{
scanf("%d",&n);
for(int i=1,u,v,w;i<n;i++)
{
scanf("%d%d%d",&u,&v,&w);
add(u,v,w%3);
}
max_son[0]=sum=n;
getroot(1,0);
work(root);
int m=n*n;
int g=std::__gcd(m,ans);//algorithm里自带的gcd
printf("%d/%d\n",ans/g,m/g);
return 0;
}