兼罔 发表于 2026-1-8 13:25:00

[EGOI 2025] Laser Strike / 激光突击 题解

第一道通信!!!
Laser Strike / 激光突击
\((n-1) bit\)

对于一条连接叶子的边 \((u,v)\),我们用 \(1 bit\) 表示他的特征值,如果其中的叶子是 \(\min(u,v)\) 则特征值为 \(1\),否则为 \(0\)。
直接用长度为 \(n-1\) 的字符串表示每条边的特征值即可。
菊花

这是简单的,先用 \(1 bit\) 表示第一条边的特征值,那么不用被删的点就是根,对于之后的边只需要保留上一条边没有被删的点即可。于是我们可以总结出一个策略:
策略一:如果当前边与上一条边有公共点,那么保留公共点,删除另一个点。


只考虑链的话也是简单的,从左往右删,同样只需要知道第一条边的特征值,之后每次删除上一条边出现过的点即可。
但是这个策略和策略一完全矛盾,考虑换个思路。我们钦定这条链的中点为根(如果链上有偶数个点,那么中点在一条边上),交替删除左链和右链的叶子,我们先用 \(2 bit\) 表示开头删除的两条边的特征值,对于之后的边,如果满足策略一就遵循策略一,否则:
策略二:如果当前边的某个点在之前出现过,且不是在上一条边出现的,那么删除这个点。
举个例子,以偶数个点为例,在删到只剩两个点之前会一直遵循策略二,显然合法,对于最后两个点:

假如在上图中先按顺序删除了 \(3,4\) 之后,还剩下 \((1,2)\) 这条边,由于上一条边是 \((2,4)\) 所以会遵循策略一,删除 \(1\) 号点。
如果是奇数个点的情况,不难验证我们最后会恰好剩下钦定的根节点。
但是现在我们多用了 \(1 bit\),考虑优化,假设开头两条边是 \((a,b),(c,d)\) 我们需要根据他们的某种关系在只知道一条边的特征值的情况下就能推出另一条边的特征值。
一种比较简单的方法是,设计两条边的某种偏序关系,那么如果 \((a,b),(c,d)\) 的特征值一样,就把大的那条边放在前面,否则把小的那条边放在前面,这样我们在得到第二条边时只需要根据他和第一条边的大小关系就能知道他的特征值是啥了。
你可以把这个偏序关系设成你喜欢的任何类型,只需要保证他是确定且严格的就可以了,比如比较一条边构成的无序二元组的字典序。
正解

首先需要明确的是,我们唯一能提供的 \(1bit\) 一定是给出第一条边的特征值,否则 Kathrin 将啥都不知道。
既然我们考虑过链的情况了,那么对于一般树一种经典的思路就是拉出直径,在后面我们会说明选直径的用处。
同样以直径的中点为根,注意如果直径有偶数个点那么会有两个深度为 \(1\) 的点。
我们遇到的第一个问题是,树上可能会有好多完全不相干的叶子,而我们只能提供其中一个叶子的信息,但不妨先假设我们能通过魔法直接得到一条叶边的特征值。
我们先取出所有点 \(u\) 满足 \(u\) 的每个儿子都是叶子,然后使用魔法得到其中某条边的特征值,删掉他,之后按照菊花的思路一直用策略一直到把所有儿子都删光。
接下来我们按照深度从大往小一层层删点,假设当前删第 \(d\) 层,考虑第 \(d-1\) 层的某个点 \(u\),他的儿子现在肯定全都是叶子了,有些一开始就是叶子,有些后来才变成叶子,由于我们已经提前把只有叶子儿子的点处理了,所以他必定有一个儿子 \(v\) 是后来才变成叶子的,也就是说 \(v\) 曾经在某条被删的边出现过,那么就可以用策略二把 \(v\) 删掉,之后就可以一直用策略一把他的其他儿子全都删掉。
注意:如果这个选择的 \(v\) 是第 \(d\) 层第一个被删的点,那么他不能是第 \(d+1\) 层最后删掉的点的父亲,否则在考虑 \((u,v)\) 这条边时,Kathrin 会错误地使用策略一导致把 \(u\) 给删了。不过由于我们在一开始选择了直径中点为根,所以此时第 \(d\) 层至少有两个点,我们一定能选出某个合法的 \(v\)。

好了,现在我们只需要解决魔法的事了,我们取出所有需要知道特征值的叶边 \((u_i,v_i)\),根据链最后部分的思路,我们需要把他们按照某种顺序排列,使得如果 \((u_{i+1},v_{i+1})dep) rt=u;                fa=f;                for(int v:G) if(v!=f) dfs0(v,u,rt);        }         void dfs1(int u,int f,int d){                vec.eb(u),fa=f,dep=d,mxdep=max(mxdep,dep);                for(int v:G) if(v!=f) dfs1(v,u,d+1),deg++;        }        int op(int u,int son){ return son

黎娅茜 发表于 2026-1-20 01:13:29

感谢分享

篁瞑普 发表于 2026-1-20 22:17:50

分享、互助 让互联网精神温暖你我

旁拮猾 发表于 2026-1-21 05:12:01

感谢分享

公西颖初 发表于 2026-1-21 21:53:17

感谢分享,学习下。

汲佩杉 发表于 2026-1-24 09:32:00

喜欢鼓捣这些软件,现在用得少,谢谢分享!

蔓好 发表于 2026-1-25 03:49:02

感谢发布原创作品,程序园因你更精彩

豺独 发表于 2026-1-28 08:01:51

用心讨论,共获提升!

悯拄等 发表于 2026-2-1 12:28:55

收藏一下   不知道什么时候能用到

麓吆 发表于 2026-2-4 11:06:46

yyds。多谢分享

骆贵 发表于 2026-2-8 12:56:06

谢谢楼主提供!

驳嗦 发表于 2026-2-8 23:30:39

谢谢分享,辛苦了

判涔 发表于 2026-2-8 23:43:01

用心讨论,共获提升!

禄磊 发表于 2026-2-9 01:32:48

感谢分享

纪晴丽 发表于 2026-2-9 05:49:37

这个好,看起来很实用

思矿戳 发表于 2026-2-9 20:11:56

感谢,下载保存了

舒菀菀 发表于 2026-2-10 20:05:12

过来提前占个楼

喙审 发表于 2026-2-12 06:50:55

感谢分享,下载保存了,貌似很强大

常士 发表于 2026-2-12 08:18:47

新版吗?好像是停更了吧。

悯拄等 发表于 2026-2-13 20:26:00

新版吗?好像是停更了吧。
页: [1] 2
查看完整版本: [EGOI 2025] Laser Strike / 激光突击 题解