Bzoj 1086 [SCOI2005] 王室联邦 （树分块）

考虑一种构造方法：

• 我们 $dfs$ 整棵树，处理每个节点时，将其一部分子节点分块，将未被分块的子节点返回到上一层
• 枚举 $u$ 的每一个子节点 $v$，递归处理子树后，将每个子节点返回的未被分块的节点添加到集合 $s$ 中，一旦 $|s|\le b$ 则把 $s$ 作为一个新的块并将 $u$ 作为省会，然后清空 $s$ 并继续枚举 $v$
• 处理完所有子树后，将 $u$ 加入到 $s$ 中，此时在 $s$ 中的节点为未被分块的节点，将被返回到上一层，显然 $s$ 的大小最大为 $b-1$ 个子树节点 $+u$，即 $|s|\le b$
• 由于返回的集合大小至多为 $b$，对于一个子树对集合最多增加 $b-1$ 个节点，那么每个块的大小最多为 $2b-1$，满足条件
• 当 $dfs$ 结束时，集合 $s$ 中可能还有节点（最多为 $b$ 个)，那么我们把这 $b$ 个节点并入最后一个块（以根节点为省会的块），块大小为 $3b-1$，满足条件

#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
//#define int long long
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define ub upper_bound
#define lb lower_bound
#define pq priority_queue
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(x) freopen(#x".in", "r", stdin),freopen(#x".out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef queue <pii> qii ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 100010 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }

int sta[N], sh[N], bl[N] ;
int n, m, top, cnt ;
vi e[N] ;

void dfs(int x, int fa) {
	int cur = top ;
	rep(i, 0, siz(e[x]) - 1) {
		int to = e[x][i] ;
		if (to == fa) continue ;
		dfs(to, x) ;
		if (top - cur >= m) {
			sh[++cnt] = x ;
			while (top > cur) bl[sta[top--]] = cnt ;
		}
	}
	sta[++top] = x ;
}

signed main(){
	scanf("%d%d", &n, &m) ;
    rep(i, 1, n - 1) {
    	int a, b ; scanf("%d%d", &a, &b) ;
    	e[a].pb(b) ; e[b].pb(a) ;
	}
	dfs(1, 0) ;
	if (!cnt) sh[++cnt] = 1 ;
	while (top) bl[sta[top--]] = cnt ;
	printf("%d\n", cnt) ;
	rep(i, 1, n) printf("%d ", bl[i]) ; enter ;
	rep(i, 1, cnt) printf("%d ", sh[i]) ; enter ;
	return 0 ;
}

/*
写代码时请注意：
	1.ll？数组大小，边界？数据范围？
	2.精度？
	3.特判？
	4.至少做一些
思考提醒：
	1.最大值最小->二分？
	2.可以贪心么？不行dp可以么
	3.可以优化么
	4.维护区间用什么数据结构？
	5.统计方案是用dp？模了么？
	6.逆向思维？
*/