$\text{Sol. Luogu P3554 [POI2013]LUK-Triumphal arch}$

2022-07-10 19:32:52 阅读：126 来源： 互联网

标签：度数 int text Sol Link Triumphal 节点 dp deg

$\text{Sol. Luogu P3354 [POI2013]LUK-Triumphal arch}$

题目描述

给一颗 $n$ 个节点的树（$n \le 3 \times 10^5$），初始时 $1$ 号节点被染黑，其余是白的。两个人轮流操作，一开始 B 在 $1$ 号节点。每一轮，A 选择 $k$ 个点染黑，然后 B 走到一个相邻节点，如果 B 当前处于白点则 B 胜，否则当 A 将所有点染为黑点时 A 胜。求能让 A 获胜的最小的 $k$ 。

$\rm Sol.$

看到这个题第一眼：这题 $100\%$ 二分，转判定。
然后呢？就没有然后了。

我们要解决的问题是 $k=k_0$ 时能否做到题目所要求的，那么怎么搞呢？

我一开始的想法过于简单，就是答案是所有点的入度（出度）$-1$ （根节点不用减）的最小值，因为这样就可以保证无论 $B$ 走到哪，他的下一步都可以被完全覆盖。
然而这样的想法是错误的。

固然，最终的答案一定大于根节点的度数（显而易见），但是我的 $k$ 值可能略小于某个节点的度数（$-1$），但是如果在之前的一次染色操作中将可能作为 $B$ 下一步的点都染完了之后还有剩余，那我也许就会选择“大先手”地染其他可能出现度数（$-1$）大于 $k$ 的地方。所以这个假设是不成立的。（这个结论还是对拍拍出来的，wtcl）

那我们怎么搞这个东西？

~~由所属题单得~~答案显然是 $dp$。
如果度数（$-1$）小于当前的 $k_0$，换句话说染色次数仍有剩余，我肯定是去染最需要染色的地方。当然，这个“最需要染色的地方”是一个非常模糊的概念。首先，如果一个子树内节点度数（$-1$）没有大于 $k$ 的，那他完全可以在子树内部解决自己的问题而无需向父节点“求援”——即在染父节点时若有剩余染色次数就要考虑“照顾”这个子树。所以我们令 $f[i]$ 为子树 $i$ 内无法自己解决（需要求援）的点的个数，$deg[i]$ 为节点 $i$ 的度数。

那么，做到这一步，答案就近在咫尺了，这个转移方程式非常好写： $f[u]=\begin{cases}\max(0,deg[u] + \sum f[v]-k)\qquad u=1\\\max(0,deg[u]-1+\sum f[v]-k) \qquad u \not=1 \end{cases}$

这题就做完了（对拍大法好！以后要多用）

$\text{Code:}$

#include <bits/stdc++.h>
using namespace std;
const int N = 3e5 + 5;

int n, f[N], k, deg[N];
vector <int> Link[N];

bool leaf[N];

int dp(int u, int Fa) {
    if(deg[u] == 1 && u != 1) return 0;
    int tmp = 0;
    for(auto v : Link[u]) {
        if(v == Fa) continue;
        tmp += dp(v, u);
    }
    if(u == 1) return max(0, deg[u] + tmp - k);
    else return max(0, deg[u] - 1 + tmp - k);
}

inline bool check() {
    memset(f, 0, sizeof(f));
    int res = dp(1, 0);
    //for(int i = 1; i <= n; i++) cout << f[i] << ' ';
    //puts("");
    return res == 0;
}

signed main() {
#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
    freopen("Ans.txt", "w", stdout);
#endif
    cin >> n;
    //Link[1].push_back(0);
    for(int i = 1; i < n; i++) {
        int u, v; cin >> u >> v;
        Link[u].push_back(v);
        Link[v].push_back(u);
        deg[u]++; deg[v]++;
    }

    //for(int i = 1; i <= n; i++) cout << deg[i] << ' ';
    //puts("");

    //k = 5;
    //for(int i = 1; i <= n; i++) cout << f[i] << ' ';
    //puts("");
    
    for(int i = 2; i <= n; i++) if(deg[i] == 1) leaf[i] = true;

    int L = 0, R = n, ans = 0;
    while(L <= R) {
        //printf("L = %d, R = %d, ans = %d\n", L, R, ans);
        k = L + R >> 1;
        if(check()) { ans = k; R = k - 1; }
        else L = k + 1;
        //for(int i = 1; i <= n; i++) cout << f[i] << ' ';
        //puts("");
    }
    cout << ans;
}

标签：度数,int,text,Sol,Link,Triumphal,节点,dp,deg
来源： https://www.cnblogs.com/Doge297778/p/16463816.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

$\text{Sol. Luogu P3554 [POI2013]LUK-Triumphal arch}$

\(\text{Sol. Luogu P3354 [POI2013]LUK-Triumphal arch}\)

题目描述

\(\rm Sol.\)