307-01-树形背包

新博客地址：https://gyrojeff.top，欢迎访问！ 本文为博客自动同步文章，为了更好的阅读体验，建议您移步至我的博客👇

本文标题:307-01-树形背包

文章作者:gyro永不抽风

发布时间:2020年02月28日 - 23:02

最后更新:2020年09月22日 - 20:09

原始链接:http://hexo.gyrojeff.moe/2020/02/28/307-01-%E6%A0%91%E5%BD%A2%E8%83%8C%E5%8C%85/

许可协议: 署名-非商业性使用-相同方式共享 4.0 国际 (CC BY-NC-SA 4.0) 转载请保留原文链接及作者！

307-01-树形背包$O(n^2)$算法

P2014选课

题目描述

在大学里每个学生，为了达到一定的学分，必须从很多课程里选择一些课程来学习，在课程里有些课程必须在某些课程之前学习，如高等数学总是在其它课程之前学习。现在有N门功课，每门课有个学分，每门课有一门或没有直接先修课（若课程a是课程b的先修课即只有学完了课程a，才能学习课程b）。一个学生要从这些课程里选择M门课程学习，问他能获得的最大学分是多少？

输入输出格式

输入格式：

第一行有两个整数N,M用空格隔开。$(1≤N≤300,1≤M≤300)$

接下来的N行,第I+1行包含两个整数ki和si, ki表示第I门课的直接先修课，si表示第I门课的学分。若ki=0表示没有直接先修课（1<=ki<=N, 1<=si<=20）。

输出格式：

只有一行，选M门课程的最大得分。

题解

建图

兄弟儿子表示法建图：

1
2
3
4
5
6
for (int i = 1; i <= n; i ++) {
	cin >> p[i] >> a[i]; 	// a[i]: 值
	bro[i] = son[p[i]]; 	// i.bro = i.father.son
	son[p[i]] = i;				// i.p.son = i
  	// 由于如果没有前继，p[i]=0，所以此时其前继为虚拟根：0
}

三次方$O(n^3)$算法：

首先分析只是二叉树的情况：

设对于一个节点$u$，设它的左儿子和右儿子分别为：$L,~R$。设以左儿子为根的子树选$\alpha$门课，以右儿子为根的子树选$\beta$门课，会有以下的递推公式：

$$ \begin {align} &f(u,0)=0\\ &f(u,1)=A[u]\\ &f(u,k) = \max_{\alpha + \beta = k - 1} \{ f(L,\alpha) + f(R,\beta) + A[u] \} \end {align} $$

其中，$f(u,k)$表示以$u$为根节点的子树选$k$门课。

但是其并非二叉树，所以可以考虑两种方式：

（一）逐个添加儿子：

$$ \begin {align*} &\text{0 son: }f^{(0)}(u,k) \\ &\downarrow \\ &\text{1 son: }f^{(1)}(u,k) \\ &\downarrow \\ &\cdots \\ &\downarrow \\ &i-1\text{ son: }f^{(i-1)}(u,k) \\ &\downarrow \\ &\text{i son: }f^{(i)}(u,k) \\ \end {align*} $$

由上面的想法，我们可以比较容易地得到以下的递推公式：

$$ \begin {align} &f^{0}(u,k)= \begin {cases} 0~~~~~~~~~~~~~~~~~~k=0 \\ A[u]~~~~~~~~~~~~~k≥1 \end {cases} \\ &f^{(i)}(u,k)=\max_{0≤\alpha < k} \{f(v_i,\alpha)+f^{(i-1)}(u,k-\alpha)\} \\ &f(u,k) = f^{(j)}(u,k) \end {align} $$

其中$j$为节点$u$的儿子的数量。

代码：

1
2
3
4
5
6
7
8
9
10
11
12
dfs(int u) {
    f[u,0] = 0; f[u,1] = a[u];
	for (int i = son[u]; i != 0; i = bro[i]) {
		dfs(i);
      	// 背包，故从大到小(考虑更新顺序)
		for (int k = m + 1; k >= 1; k --) {// m + 1: 学习0(虚拟根)，多学一门
			f(i)[u,k] = f(i - 1)[u,k];
			for (α = 0; α < k; α ++)
				f(i)[u,k] =	max(f(i)[u,k], f[i,α] + f(i-1)[u,k-α]);
		}
	}
}

压缩$i$（背包问题）

1
2
3
4
5
6
7
8
9
10
dfs(int u) {
  	f[u,0] = 0; f[u,1] = a[u]; // 初始化
	for (int i = son[u]; i != 0; i = bro[i]) {
        dfs(i);
        // 背包，故从大到小(考虑更新顺序)
		for (int k = m + 1; k >= 1; k --) // m + 1: 学习0(虚拟根)，多学一门
			for (α = 0; α < k; α ++)
				f[u,k] = max(f[u,k], f[i,α] + f[u,k-α]);
	}
}
1
2
3
4
5
6
int main() {
	// 构图
	dfs(0);
	cout << f[0,m+1]; // 虚拟根，所以m+1
	return 0;
}

时间复杂度分析：

二次方$O(n^2)$算法

计算一个单元需要$O(n)$，计算$n^2$单元—>$O(n^3)$算法。

但是想要其变为平方算法$O(n^2)$：所以在此使用第二种方法来解决多叉树的问题：

现在定义$f(u,k)$表示的以这个节点为根的一座包括自己所有儿孙和弟弟们的一片森林：

这样的好处就是可以把其分为互不相干的两个部分：儿孙们和弟弟们。

递推公式：

$$ f(u,k) = \max \begin {cases} f(b,k) \\ \max_{\alpha + \beta = k - 1} \{A[u] + f(s,\alpha) + f(b,\beta)\} \end {cases} $$

代码：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
dfs(int u) {
	int b = bro[u], s = son[u];
	if (s != 0) dfs(s); 
  	if (b != 0) dfs(b);
    for (k = 1; k <= m; k ++) f[u][k] = f[b][k];
    for (α = 0; α <= m; α ++) {
        for (β = 0； β <= m; β ++) {
            k = α + β + 1;
            f[u][k] = max {
                f[s][α] + f[b][β] + A[u];
                f[u][k];
            };
        }
    }
}
1
2
dfs(son[0]);
cout << f[son[0]][m];

很不幸，==它还是$O(n^3)$的。==（证明略）

优化：（将$k$改为$sz[s], sz[b]$）

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
dfs(int u) {
	int b = bro[u], s = son[u];
  	f[u,0] = 0; f[u,1] = a[u]; // 初始化
	if (s != 0) dfs(s);
  	if (b != 0) dfs(b);
  	sz[u] = sz[s] + sz[b] + 1; // 算子树大小
	for (k = 1; k <= m; k ++) f[u][k] = f[b][k]; // 划水行为(递推公式第一行)
	for (α = 0; α <= sz[s]; α ++) {
		for (β = 0； β <= sz[b]; β ++) {
			k = α + β + 1;
			f[u][k] = max {
					f[s][α] + f[b][β] + A[u];
					f[u][k];
			};
		}
	}
}

对于时间复杂度的证明：

非常好证明以下不等式：

$$ a^2 + b^2 + ab ≤ (a+b+1)^2 $$

在这里我们记$|s| = sz(s),~|b|=sz(b)$，所以时间复杂度：

$$ \begin {align} &|s|^2 + |b|^2 + |s||b| \\ ≤~& (|s| + |b| + 1) ^2 \\ =~& u^2 \end {align} $$

故时间复杂度为$O(n^2)$。

将方法（一）的$O(n^3)$算法变为$O(n^2)$算法：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
void dfs(int u) {
	sz[u] = 1;
	for (int i = son[u]; i != 0; i = bro[i]) {
		dfs(i);
		sz[u] += sz[i];
		for (int k = sz[u]; k >= 1; k --) {
			for (α = k - 1; α >= 0; α --) {
				f[u][k] = max{
						f[u][k];
						f[u][k-α] + f[i][α];
				};
			}
		}
	}
}

注：

（一）对于第二种方法，开数组时要开两倍大小，因为$k=\alpha+\beta + 1 ≤2m+1$

（二）对于第一种方法的背包问题之所以要$k:t\rightarrow 1$，是因为这样可以避免$f^{(i-1)}(u,k-\alpha)$提前被更新。

完整代码：

（一）方法一：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#include <iostream>

using namespace std;

typedef long long ll;
const int maxn = 305;
ll n, m;
ll son[maxn], bro[maxn], a[maxn], p[maxn], f[maxn][maxn], sz[maxn];

void dfs(int u) {
	sz[u] = 1;
    f[u][0] = 0; f[u][1] = a[u];
	for (int i = son[u]; i != 0; i = bro[i]) {
		dfs(i);
		sz[u] += sz[i];
		for (int k = sz[u]; k >= 1; k --) {
			for (int alpha = 0; alpha < k; alpha ++) {
				f[u][k] = max(f[u][k], f[u][k-alpha] + f[i][alpha]);
			}
		}
	}
}

int main() {
    cin >> n >> m;
    for (int i = 1; i <= n; i ++) {
        cin >> p[i] >> a[i];
        bro[i] = son[p[i]];
        son[p[i]] = i;
    }
    dfs(0);
    cout << f[0][m + 1] << endl;
    return 0;
}

（二）方法二：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#include <iostream>

using namespace std;

typedef long long ll;
const int maxn = 3005;
ll n, m;
ll son[maxn], bro[maxn], a[maxn], p[maxn], f[maxn][maxn], sz[maxn];

void dfs(int u) {
    ll b = bro[u], s = son[u];
    f[u][0] = 0; f[u][1] = a[u];
    if (s != 0) dfs(s);
    if (b != 0) dfs(b);
    sz[u] = sz[s] + sz[b] + 1;
    for (int i = 1; i <= m; i ++) f[u][i] = f[b][i];
    for (int alpha = 0; alpha <= m; alpha ++) {
        for (int beta = 0; beta <= m; beta ++) {
            ll k = alpha + beta + 1;
            f[u][k] = max(f[u][k], f[s][alpha] + f[b][beta] + a[u]);
        }
    }
}

int main() {
    cin >> n >> m;
    for (int i = 1; i <= n; i ++) {
        cin >> p[i] >> a[i];
        bro[i] = son[p[i]];
        son[p[i]] = i;
    }
    dfs(son[0]);
    cout << f[son[0]][m] << endl;
    return 0;
}

P3177 [HAOI2015]树上染色

题目描述

有一棵点数为 N 的树，树边有边权。给你一个在 0~ N 之内的正整数 K ，你要在这棵树中选择 K个点，将其染成黑色，并将其他 的N-K个点染成白色 。 将所有点染色后，你会获得黑点两两之间的距离加上白点两两之间的距离的和的受益。问受益最大值是多少。

输入输出格式

输入格式：

第一行包含两个整数 N, K 。接下来 N-1 行每行三个正整数 fr, to, dis ， 表示该树中存在一条长度为 dis 的边 (fr, to) 。输入保证所有点之间是联通的。

输出格式：

输出一个正整数，表示收益的最大值。

题解

递推公式建立

定义$f(u,x)$表示在以$u$为根的子树当中，有$x$个节点被染黑，在$u$处对答案的贡献。有：

$$ \begin {align} &f(u, x) = \max_{0 ≤ j ≤x,~v\in u.son}\{f(u,x),~f(u, x-j) + f(v,j) + val\} \\ &val = w[e]*\{j * (k-j) + (|v.G| - j) * [(n-k)-(|v.G|-j)]\} \\ &|v.G| = size[v],~e = (u,v) \end {align} $$

代码：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#include <iostream>
#include <cstring>
using namespace std;

typedef long long ll;
const int maxn = 4005;

struct edge {
    int to, next, w;
} g[maxn];

ll n, k, ecnt = 0, head[maxn], f[maxn][maxn], sz[maxn];

void addEdge(int u, int v, int w) {
    g[ecnt].to = v;
    g[ecnt].w = w;
    g[ecnt].next = head[u];
    head[u] = ecnt ++;
}

void dfs(int u, int p) {
    sz[u] = 1;
    f[u][0] = f[u][1] = 0;
    // 子树是一个一个添加（树型背包的第一种添加子树的方法）
    for (int e = head[u]; e != -1; e = g[e].next) {
        int v = g[e].to;
        if (v != p) {
            dfs(v, u);
            sz[u] += sz[v];
            for (int x = sz[u]; x >= 0; x --) {
                for (int y = sz[v]; y >= 0; y --) {
                    // 特判：这个节点可行（其子树的节点够）
                    if (f[u][x] != -1) {
/*  val表示：
（新的子树中的黑点个数×除此之外的所有黑点个数+新的子树中的白点个数×除此之外的白点个数） ==> 必将经过下面那条边的次数
                                    ×
         （这些所有次数必定将要进过的一条边：就是u，v之间的边，边权为w[e]）
                                    =
                这个新的子树添加时，与u连接的这条边对答案的贡献
*/
	ll val = g[e].w * (y * (k - y) + (sz[v] - y) * ((n - k) - (sz[v] - y)));
/* 所以下面的式子可以转换为更加易于理解的式子：
f[u][x] = max{f[u][x], f[u][x-k] + f[v][k] + val}, 其中：0 ≤ k ≤ x; v为u的一个儿子
我们不难发现，节点是在dfs的过程中，一 个 一 个 添加的，所以
1. f[u][x-k]表示的是之前（没有添加现在子树的时候），以u为根的子树有x-k个点染黑对答案的贡献
2. f[v][k]表示的是以v为根的子树（由于dfs的顺序，此时这个子树是完全的），有k个节点被染黑对答案，到v的贡献
3. val表示的是为了补全（2）当中的那些染黑的节点，在u -> v的贡献
*/
	f[u][x + y] = max(f[u][x + y], f[u][x] + f[v][y] + val);
                    }
                }
            }
        }
    }
}

int main() {
    memset(head, -1, sizeof(head));
    memset(f, -1, sizeof(f));
    cin >> n >> k;
    for (int i = 1; i < n; i ++) {
        int from, to, dis;
        cin >> from >> to >> dis;
        addEdge(from, to, dis);
        addEdge(to, from, dis);
    }
    dfs(1, 0);
    cout << f[1][k] << endl;
    return 0;
}

PDF:

posted @ 2020-09-15 09:12  gyro永不抽风  阅读(149)  评论(0)  编辑  收藏  举报