Free tour II SPOJ - FTOUR2 点分治 + 树状数组

传送门

题意：

给你一个有$n$个点的树，有$m$个点拥堵，连接两个点的一条边有一个美丽值，让你选择一个路径，使其经过的拥堵点数不超过$k$且美丽值最大。
$n\le 2e5,m\le n,k\le m$

思路：

真恶心啊，这个题还卡时间。
明显的点分治的题了，在求不超过$k$的拥堵点数且美丽值最大的时候，明显这是一个前缀最大值，我们用树状数组维护一下即可。
在遍历一颗子树的时候，需要先更新答案，再将这个子树的信息更新到$tr$数组里，注意更新答案的时候需要算上根的拥堵值，更新信息的时候不能算上根的拥堵值。
让后重置树状数组的时候，需要记录一下更新了那些值，让后更新即可，不能暴力更新。
还有一个坑就是最后答案需要跟$0$取$max$，因为可以美丽值为$0$。
复杂度$O(nlo{g}^{2}n)$

// Problem: B - Free tour II
// Contest: Virtual Judge - 点分治
// URL: https://vjudge.net/contest/418073#problem/B
// Memory Limit: 1572 MB
// Time Limit: 100 ms
// 
// Powered by CP Editor (https://cpeditor.org)

#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
#define lowbit(x) ((x)&(-x))
using namespace std;

//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }

typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;

const int N=200010,M=N*2,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;

int n,m,k;
int e[M],ne[M],h[N],w[M],idx;
bool st[N];
int dis[N],tr[N],a[N],se;
vector<int>v,used;

void add(int a,int b,int c) {
	e[idx]=b,w[idx]=c,ne[idx]=h[a],h[a]=idx++;
}

int get_size(int u,int fa) {
	if(st[u]) return 0;
	int sum=1;
	for(int i=h[u];~i;i=ne[i]) {
		int j=e[i];
		if(j==fa) continue;
		sum+=get_size(j,u);
	}
	return sum;
} 

int get_wc(int u,int fa,int tot,int &wc) {
	if(st[u]) return 0;
	int sum=1,mx=0;
	for(int i=h[u];~i;i=ne[i]) {
		int j=e[i];
		if(j==fa) continue;
		int now=get_wc(j,u,tot,wc);
		sum+=now; mx=max(mx,now);
	}
	mx=max(mx,tot-sum);
	if(mx<=tot/2) wc=u;
	return sum;
}

// void get_dis(int u,int fa,int sum,int ww) {
	// if(st[u]) return;
	// if(sum>k) return;
	// v.pb(sum); v.pb(k-sum);
	// for(int i=h[u];~i;i=ne[i]) {
		// int j=e[i];
		// if(j==fa) continue;
		// get_dis(j,u,sum+a[j],ww+w[i]);
	// }
// }

void add(int u,int c) {
	for(int i=u;i<=n+2;i+=lowbit(i)) tr[i]=max(tr[i],c);
}

void sett(int u,int c) {
	for(int i=u;i<=n+2;i+=lowbit(i)) tr[i]=c;
}

int get(int u) {
	int ans=-INF;
	for(int i=u;i;i-=lowbit(i)) ans=max(ans,tr[i]);
	return ans;
}

void get_dis(int u,int fa,int sum,int ww,int &ans) {
	if(st[u]) return;
	if(sum>k) return;
	ans=max(ans,get(k-sum+1)+ww);
	for(int i=h[u];~i;i=ne[i]) {
		int j=e[i];
		if(j==fa) continue;
		get_dis(j,u,sum+a[j],ww+w[i],ans);
	}
}

void update(int u,int fa,int sum,int ww) {
	if(st[u]) return;
	if(sum>k) return;
	v.pb(sum); 
	add(sum+1,ww);
	for(int i=h[u];~i;i=ne[i]) {
		int j=e[i];
		if(j==fa) continue;
		update(j,u,sum+a[j],ww+w[i]);
	}
}

int calc(int u) {
	if(st[u]) return 0;
	int now=get_size(u,-1);
	int c=get_wc(u,-1,get_size(u,-1),u);
	st[u]=1;
	int ans=0;
	// for(int i=h[u];~i;i=ne[i]) {
		// int j=e[i];
		// get_dis(j,u,a[j],w[i]);
	// }
	add(1,0);
	for(int i=h[u];~i;i=ne[i]) {
		int j=e[i];
		get_dis(j,u,a[j]+a[u],w[i],ans);
		update(j,u,a[j],w[i]);
	}
	for(auto x:v) sett(x+1,-INF); v.clear();
	for(int i=h[u];~i;i=ne[i]) ans=max(ans,calc(e[i]));
	return ans;
}

int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);
	
	memset(h,-1,sizeof(h));
	memset(tr,-0x3f3f3f3f,sizeof(tr));
	cin>>n>>k>>m;
	for(int i=1;i<=m;i++) {
		int x; scanf("%d",&x);
		a[x]=1;
	}
	for(int i=1;i<=n-1;i++) {
		int a,b,c; scanf("%d%d%d",&a,&b,&c);
		add(a,b,c); add(b,a,c);
	}
	printf("%d\n",calc(1));



	return 0;
}
/*

*/