题解：CF1070B Berkomnadzor

CF1070B Berkomnadzor 题解

解题思路

不难想到将 IP 地址转化为二进制后插入一个字典树中，转化后二进制的长度就是 $x$ 的长度。我们需要记录每个串结尾的颜色，不妨设黑名单为 $1$，白名单为 $0$，初始时每个位置的颜色是 $-1$。

考虑如何判断输出 -1 的情况。不难发现，当在插入当前二进制数的过程中，当前节点到根节点的路径上存在一个颜色不为 $-1$ 且与当前串的颜色不同的点，那么一定存在符合两个名单的 IP 地址。那么我们先把所有的串按照长度排序（没有 $x$ 的长度为 $32$），然后依次插入，这样能够保证在当前串插入前，所有是它前缀的串已经插入了。

接下来考虑如何得到最优黑名单。我们定义 $g(x)$ 表示在以 $x$ 节点为根的子树中，是否存在一个颜色为白色的节点，如果存在，$g(x)=1$，否则等于 $0$。那么我们遍历这棵字典树，贪心地想，深度越小的点一定是更优的，因为如果不将这个点放入黑名单的话，就需要将它的所有儿子放入，那么子网个数一定是大于等于将它作为一个子网的子网个数的。那么，我们遍历的时候，找到第一个满足 $g(x)=0\vee (g(f{a}_x)=1\wedge x=root)$ 的节点，然后暴力向上跳，将这个子网记录到答案中。

AC 代码

#include<set>
#include<map>
#include<queue>
#include<stack>
#include<math.h>
#include<vector>
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<valarray>
#include<iostream>
#include<algorithm>
#define B 35
#define N 200005
#define M N<<5
#define inf 2e9+7
struct Net{bool color;int bit=32;bool val[B];Net():color(0),bit(32){}inline bool operator <(const Net &b) const {return bit<b.bit;}inline void read(){char ch;scanf(" %c",&ch);if(ch=='-')color=1;else color=0;int a,b,c,d,x=0;scanf("%d.%d.",&a,&b);scanf("%d.%d",&c,&d);ch=getchar();if(ch=='/')scanf("%d",&bit);x+=a*(1<<24)+c*(1<<8);x+=b*(1<<16)+d*(1<<0);for(int i=31;i>=0;--i)val[32-i]=(x>>i)&1;}inline void print(){puts("_______________________");printf("%d %d\n",color,bit);for(int i=1;i<=32;++i)printf("%d ",val[i]);putchar('\n');puts("-----------------------");}inline void printans(){for(int i=1;i<=4;++i){int x=0;for(int j=1;j<=8;++j){int now=(i-1)*8+j;x=(x<<1)+val[now];} printf("%d",x);if(i!=4) putchar('.');} putchar('/');printf("%d\n",bit);}
}a[N],ans[N];
int n,cnt;
struct LibTree{int depth[M];int tree[M][2];int cntnode,g[M];int color[M],fa[M];LibTree(){ cntnode=0;for(int i=0;i<M;++i)color[i]=-1;}#define ls(x) tree[x][0]#define rs(x) tree[x][1]inline void Insert(Net a){int now=0;for(int i=1;i<=a.bit;++i){if(color[now]!=-1){if(a.color!=color[now])puts("-1"),exit(0);}int next=a.val[i];if(!tree[now][next])tree[now][next]=++cntnode;now=tree[now][next];}if(color[now]!=-1){if(color[now]!=a.color)puts("-1"),exit(0);} color[now]=a.color;}inline void init(int x){if(ls(x)){depth[ls(x)]=depth[x]+1;init(ls(x));fa[ls(x)]=x;g[x]|=g[ls(x)];}if(rs(x)){depth[rs(x)]=depth[x]+1;init(rs(x));fa[rs(x)]=x;g[x]|=g[rs(x)];} g[x]|=color[x]==0;}inline void dfs(int x){if(ls(x)) dfs(ls(x));if(rs(x)) dfs(rs(x));if(g[x]==0&&(g[fa[x]]==1||x==0)){int now=x; ++cnt;ans[cnt].bit=depth[x];int i=depth[x]; while(now){int v=(now==rs(fa[now]));ans[cnt].val[i]=v;now=fa[now]; --i;}}}
}tree;
signed main(){scanf("%d",&n);for(int i=1;i<=n;++i)a[i].read();std::sort(a+1,a+n+1);for(int i=1;i<=n;++i)tree.Insert(a[i]);tree.init(0);tree.dfs(0);printf("%d\n",cnt);for(int i=1;i<=cnt;++i)ans[i].printans();
}