链接:https://ac.nowcoder.com/acm/contest/5556/A
来源:牛客网
有一棵树包含 N 个节点,节点编号从 1 到 N。节点总共有 K 种颜色,颜色编号从 1 到 K。第 i 个节点的颜色为 Ai。
Fi 表示恰好包含 i 种颜色的路径数量。请计算:
其中,
很明显的一个二进制维护,因为K真的很小,我们可以利用二进制来做。
但是,我们不能的去枚举边啊,时间上可能卡不过,对于边多,但是边的性质少的时候,我们可以利用点分治来进行维护,这样可以让复杂度变成。
但是,点分治维护的信息要是“或”的和的信息,因为二进制的数量是少的,而点的数量是多的,譬如说第一次点分的时候,点的数量是e4级别的,而二进制信息是最多e3级别的,可以根据抽屉定理(鸽巢定理),我们用e3级别的少的来降低复杂度。
所以,最后比赛的时候,我的代码是最快的(超得意。
#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <bitset>
#include <unordered_map>
#include <unordered_set>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 5e4 + 7;
const ll mod = 1e9 + 7;
ll Bas[12], ans = 0, F[12];
inline int Calc(int x) { int sum = 0; while(x){ sum += x & 1; x >>= 1; } return sum; }
int N, head[maxN], cnt, K, a[maxN];
struct Eddge
{
int nex, to;
Eddge(int a=-1, int b=0):nex(a), to(b) {}
} edge[maxN << 1];
inline void addEddge(int u, int v)
{
edge[cnt] = Eddge(head[u], v);
head[u] = cnt++;
}
inline void _add(int u, int v) { addEddge(u, v); addEddge(v, u); }
int root, maxx, all;
bool vis[maxN] = {false};
int siz[maxN], son[maxN];
void findroot(int u, int fa)
{
siz[u] = 1; son[u] = 0;
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(vis[v] || v == fa) continue;
findroot(v, u);
siz[u] += siz[v];
son[u] = max(son[u], siz[v]);
}
son[u] = max(son[u], all - siz[u]);
if(son[u] < maxx) { maxx = son[u]; root = u; }
}
vector<int> vt, nt;
int sum[1 << 10] = {0}, dp[maxN] = {0}, Stap[maxN], Stop, cdq_sum[1 << 10] = {0}, dp_sum[1 << 10] = {0};
void dfs(int u, int fa)
{
Stap[++Stop] = u;
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(vis[v] || v == fa) continue;
dp[v] = dp[u] | (1 << a[v]);
dfs(v, u);
}
}
void Divide(int u)
{
vis[u] = true;
sum[1 << a[u]] += 1;
cdq_sum[1 << a[u]] += 1;
vt.push_back(1 << a[u]);
int len = (int)vt.size(), len2, totsiz = all;
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(vis[v]) continue;
dp[v] = (1 << a[u]) | (1 << a[v]);
Stop = 0;
dfs(v, u);
for(int j=1; j<=Stop; j++)
{
if(!dp_sum[dp[Stap[j]]]) nt.push_back(dp[Stap[j]]);
dp_sum[dp[Stap[j]]] ++;
}
len2 = (int)nt.size();
for(int j=0; j<len2; j++)
{
for(int k=0; k<len; k++)
{
sum[vt[k] | nt[j]] += cdq_sum[vt[k]] * dp_sum[nt[j]];
if(sum[vt[k] | nt[j]] >= mod) sum[vt[k] | nt[j]] %= mod;
}
}
for(int j=0; j<len2; j++)
{
if(!cdq_sum[nt[j]]) { vt.push_back(nt[j]); len++; }
cdq_sum[nt[j]] += dp_sum[nt[j]];
if(cdq_sum[nt[j]] >= mod) cdq_sum[nt[j]] %= mod;
dp_sum[nt[j]] = 0;
}
nt.clear();
}
len = (int)vt.size();
for(int i=0; i<len; i++) cdq_sum[vt[i]] = 0;
vt.clear();
for(int i=head[u], v; ~i; i=edge[i].nex)
{
v = edge[i].to;
if(vis[v]) continue;
all = siz[v] > siz[u] ? totsiz - siz[u] : siz[v];
maxx = INF;
findroot(v, 0);
Divide(root);
}
}
inline void init()
{
cnt = 0;
for(int i=1; i<=N; i++) head[i] = -1;
}
int main()
{
Bas[0] = 1;
for(int i=1; i<=10; i++) Bas[i] = Bas[i - 1] * 131 % mod;
scanf("%d%d", &N, &K);
init();
for(int i=1; i<=N; i++) { scanf("%d", &a[i]); a[i]--; }
for(int i=1, u, v; i<N; i++)
{
scanf("%d%d", &u, &v);
_add(u, v);
}
maxx = INF; all = N;
findroot(1, 0);
Divide(root);
int _UP = (1 << K) - 1;
for(int i=1, num; i<=_UP; i++)
{
num = Calc(i);
F[num] = (F[num] + sum[i]) % mod;
}
for(int i=1; i<=10; i++) ans = (ans + F[i] * Bas[i] % mod) % mod;
printf("%lld\n", ans);
return 0;
}