Outing Gym - 100502G（分组背包 || Tarjan缩点+树型依赖背包）

题目大意

一群人要去旅行，旅行团的容量为k，i 去的话 x[i] 必须去， 问最多去多少人。

思路一：分组背包

对于一个孤立的集合（大小为R）来说，有且仅有一个环（大小为L），这个集合可以作为一组，能去的人数在[L, R] 之间， 这就相当于分组背包，一个组只能选一个数的特点。
分组背包伪代码：

// K 组数， V是背包的容量, N是物品个数, f[v]是容量为v的最优解。
for(int k = 1; k <= K; k++) {
	for(int v = V; v >= 0; v--) {
		for(int i = 1; i <= N; i++) {
			if(i属于k组) {
				 f[v]=max(f[v],f[v-c[i]]+w[i])
			}
		}
	}
}

AC code :

#include <bits/stdc++.h>
using namespace std;

const int maxn = 1000 + 10;
int f[maxn], n, k, p[maxn], szsc[maxn], szcr[maxn], num[maxn], d[maxn];
vector<pair<int, int> > v;
int F(int x) {return x == p[x] ? x : p[x] = F(p[x]); }
void U(int x, int y) {
    int fx = F(x);
    int fy = F(y);
    if(fx != fy) p[fx] = fy;
}

// 求一个联通分量环的大小
int getcr(int u) {
    num[u] = 0;
    while(true) {
        int v = f[u];
        if(num[v] == -1) num[v] = num[u] + 1;
        else return num[u] - num[v] + 1;
        u = v;
    }
}

int main()
{
    // freopen("/Users/maoxiangsun/MyRepertory/acm/i.txt", "r", stdin);
    while(~scanf("%d%d", &n, &k)) {
        memset(szcr, 0, sizeof(szcr));
        memset(szsc, 0, sizeof(szsc));
        for(int i = 1; i <= n; i++) p[i]=i;
        for(int i = 1; i <= n; i++) {
            scanf("%d", &f[i]); U(i, f[i]);
        }
        for(int i = 1; i <= n; i++) {
            szsc[F(i)]++;
        }   
        v.clear();
        memset(num, -1, sizeof(num));
        for(int i = 1; i <= n; i++) {
            if(szsc[i]) {
                szcr[i] = getcr(i);
                v.push_back({szcr[i], szsc[i]});
            }
        }
        memset(d, 0, sizeof(d));
        for(auto & z: v) {
            for(int v = k; v >= 0; v--) {
                for(int i = z.first; i <= z.second; i++) {
                    if(v >= i) d[v]=max(d[v],d[v-i]+i);
                }
            }
        }
        printf("%d\n", d[k]);
    } 
    return 0;
}

思路二：Tarjan缩点+树型依赖背包

占坑。