bzoj2152: 聪聪可可

Description
聪聪和可可是兄弟俩，他们俩经常为了一些琐事打起来，例如家中只剩下最后一根冰棍而两人都想吃、两个人都想玩儿电脑（可是他们家只有一台电脑）……遇到这种问题，一般情况下石头剪刀布就好了，可是他们已经玩儿腻了这种低智商的游戏。他们的爸爸快被他们的争吵烦死了，所以他发明了一个新游戏：由爸爸在纸上画n个“点”，并用n-1条“边”把这n个“点”恰好连通（其实这就是一棵树）。并且每条“边”上都有一个数。接下来由聪聪和可可分别随即选一个点（当然他们选点时是看不到这棵树的），如果两个点之间所有边上数的和加起来恰好是3的倍数，则判聪聪赢，否则可可赢。聪聪非常爱思考问题，在每次游戏后都会仔细研究这棵树，希望知道对于这张图自己的获胜概率是多少。现请你帮忙求出这个值以验证聪聪的答案是否正确。

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

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

Sample Input
5
1 2 1
1 3 2
1 4 1
2 5 3

Sample Output
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。

先点分治啊，然后把边都mod 3，用f[0…2]和g[0…2]记录前几棵子树和当前子树的方案数..
用公式嘛：$ans=f_0*g_0+f_1*g_2+f_2*g_1$

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <algorithm>
using namespace std;
const int Maxn = 20010;
struct node {
    int x, y, next, d;
}a[Maxn*2]; int first[Maxn], len;
void ins ( int x, int y, int d ){
    len ++;
    a[len].x = x; a[len].y = y; a[len].d = d;
    a[len].next = first[x]; first[x] = len;
}
int n, core, s[Maxn], ms[Maxn], alls, ans;
bool done[Maxn];
int f[3], g[3], d[Maxn];
void dfs ( int x, int fa ){
    s[x] = 1; ms[x] = 0;
    for ( int k = first[x]; k; k = a[k].next ){
        int y = a[k].y;
        if ( y == fa || done[y] == true ) continue;
        dfs ( y, x );
        s[x] += s[y];
        if ( s[y] > ms[x] ) ms[x] = s[y];
    }
    if ( alls-s[x] > ms[x] ) ms[x] = alls-s[x];
    if ( ms[x] < ms[core] ) core = x;
}
void clac ( int x, int fa ){
    g[d[x]] ++;
    for ( int k = first[x]; k; k = a[k].next ){
        int y = a[k].y;
        if ( y == fa || done[y] == true ) continue;
        d[y] = (d[x]+a[k].d)%3;
        clac ( y, x );
    }
} 
void solve ( int x ){
    done[x] = true;
    f[0] = 1;
    for ( int k = first[x]; k; k = a[k].next ){
        int y = a[k].y;
        if ( done[y] == true ) continue;
        d[y] = a[k].d;
        clac ( y, x );
        ans += f[0]*g[0]+f[1]*g[2]+f[2]*g[1];
        for ( int p = 0; p < 3; p ++ ){
            f[p] += g[p]; g[p] = 0;
        }
    }
    for ( int p = 0; p < 3; p ++ ) f[p] = 0;
    for ( int k = first[x]; k; k = a[k].next ){
        int y = a[k].y;
        if ( done[y] == true ) continue;
        core = 0;
        ms[0] = alls = s[y];
        dfs ( y, 0 );
        solve (core);
    }
}
int gcd ( int a, int b ){
    if ( a == 0 ) return b;
    return gcd ( b%a, a );
}
int main (){
    int i, j, k;
    scanf ( "%d", &n );
    for ( i = 1; i < n; i ++ ){
        int x, y, dd;
        scanf ( "%d%d%d", &x, &y, &dd );
        dd %= 3;
        ins ( x, y, dd ); ins ( y, x, dd );
    }
    core = 0;
    ms[0] = alls = n;
    dfs ( 1, 0 );
    memset ( done, false, sizeof (done) );
    ans = 0;
    solve (core);
    ans = ans*2+n;
    int p = n*n;
    int d = gcd ( ans, p );
    ans /= d; p /= d;
    printf ( "%d/%d\n", ans, p );
    return 0;
}