Codeforces1446 C. Xor Tree(思维,01Trie上树形dp)

题意:

在这里插入图片描述
在这里插入图片描述

解法:
n个点,每个点向外连一条边,因此只有n条边,
那么图中可能存在若干连通块.

容易证明,每个连通块内部是不存在环的,
因为有环就和异或值最小冲突了(不详细证明了).

那么问题可以变为删除最少的数,使得图中只有一个连通块.

将所有数插入01Trie,
考虑什么情况下才可能会有多个连通块,
对于节点node,如果sz[a[node][0]]>=2且sz[a[node][1]]>=2,
那么两颗子树中的节点一定只和自己子树中的点匹配,
因为这样匹配异或和才最小,
但是两颗子树都自匹配的话,就会出现两个连通块,
因此我们要将某一个子树的节点删到只有1,
显然删sz[]最小的子树,代价为sz[]-1.01Trie树上跑一下树形dp求最小代价即可.
code:
#include <bits/stdc++.h>
#define int long long
using namespace std;
const int maxm=2e5+5;
struct Trie{
    int a[maxm*32][2],tot;
    int sz[maxm*32];
    int d[maxm*32];//d[i]表示令以点i为根的子树满足条件至少需要删除多少个数.
    int rt;
    void add(int &node,int x,int k){
        if(!node)node=++tot;
        if(k==-1){
            sz[node]++;return ;
        }
        int v=(x>>k&1);
        add(a[node][v],x,k-1);
    }
    void dfs(int node,int k){
        if(k==-1)return ;
        if(a[node][0])dfs(a[node][0],k-1);
        if(a[node][1])dfs(a[node][1],k-1);
        d[node]=d[a[node][0]]+d[a[node][1]];
        sz[node]=sz[a[node][0]]+sz[a[node][1]];
        if(sz[a[node][0]]>=2&&sz[a[node][1]]>=2){//如果两边的sz都>1,那么子树内会自己匹配.
            //贪心地将少的那一边减为1
            int mi=min(sz[a[node][0]],sz[a[node][1]])-1;
            d[node]+=mi;
            sz[node]-=mi;
        }
    }
}T;
int n;
inline void solve(){
    cin>>n;
    for(int i=1;i<=n;i++){
        int x;cin>>x;
        T.add(T.rt,x,30);
    }
    T.dfs(T.rt,30);
    int ans=T.d[T.rt];
    cout<<ans<<endl;
}
signed main(){
    ios::sync_with_stdio(0);cin.tie(0);
    solve();
    return 0;
}

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
引用\[1\]中提到了一种树形动态规划的方法来解决CodeForces - 982C问题。在这个问题中,subtree指的是子连通块,而不是子树。为了使cnt_white - cnt_black尽可能大,可以使用两次树形动态规划来求解。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。如果ans\[u\]为正,则减去dp\[v\]就是树链所代表的子树的权值。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] 问题: CodeForces - 982C 树形DP是什么问题?如何解决? 回答: CodeForces - 982C是一个树形动态规划问题。在这个问题中,需要求解子连通块的最大权值和,使得cnt_white - cnt_black尽可能大。解决这个问题的方法是使用两次树形动态规划。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] #### 引用[.reference_title] - *1* *2* [CodeForces - 1324F Maximum White Subtree(树形dp)](https://blog.csdn.net/qq_45458915/article/details/104831678)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值