Atcoder训练实录

本文深入解析AtCoder竞赛中的三道难题:BichromeSpanningTree、PermutationTree及SweetAlchemy,探讨最小生成树、树状结构及贪心算法在解决复杂问题中的应用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

前言

上一篇似乎咕咕咕了233333
来Atcoder玩耍

**ARC093-E - Bichrome Spanning Tree

总感觉这题也不算很难…
但是自己又还是不会做…
相当于要求你一个同时包含了黑边与白边的MSTMSTMST
遇见生成树的题,一般先联系一下最小生成树的关系
设原图的MSTMSTMSTTTT,边权和为SSS
先任意找出一个MSTMSTMST,对于每条不在当前MSTMSTMST的边,我们求出一个num[i]num[i]num[i]表示他的权减去他能替换掉MSTMSTMST的边中最大的边权
然后分类讨论
如果S>XS>XS>X,显然无解,否则设eq=∑[num[i]=X−S],up=∑[num[i]>X−S]eq=\sum [num[i]=X-S],up=\sum[num[i]>X-S]eq=[num[i]=XS],up=[num[i]>XS]
S=XS=XS=X的时候,我们有两种操作,分别是就让当前的MSTMSTMST成为新图的MSTMSTMST,以及构建一个新MSTMSTMST使其满足上述条件
第一个就是 (2n−1−2)∗2m−n+1(2^{n-1}-2)*2^{m-n+1}(2n12)2mn+1,前面去除了MSTMSTMST全为黑或白的情况
第二个就是2∗(2eq−1)∗2up2*(2^{eq}-1)*2^{up}2(2eq1)2up,表示找出来的MSTMSTMST全为白或黑,但是能替换的边中至少有一个是可以替换使得合法的
S<XS<XS<X的时候,贡献就是上面的第二个

**ARC095-F - Permutation Tree

自己sb
先分析一下他这种造树方法造出的是个什么树
从表面看不好看,我们考虑从小到大枚举数,即按序枚举1,2,3..1,2,3..1,2,3..出现的位置
记录一个mxmxmx表示当前最右的点在哪
每枚举到一个iii,先让他和mxmxmx连边,再让mxmxmxiii所在的位置取maxmaxmax
容易知道这就是他给出的构造方法所构出来的树
再仔细想一想的话,可以发现的是,这样的构造方法实际上是先出来一条链,链上每个点挂上一些点
那么如果原图非这样的图就gg了,判的话显然构造的链是直径,找到瞎判即可
然后再算答案
我们可以将链上每个点挂的点计数,不妨设为cnt[i]cnt[i]cnt[i]
容易想到,肯定是让cntcntcnt字典序最小的那一面开始挂点
那么如果枚举到链上第iii个点,已经用了的编号为lstlstlst
那么让[lst+2,lst+cnt[i]+1][lst+2,lst+cnt[i]+1][lst+2,lst+cnt[i]+1]按序填在答案数组,在最后填上lst+1lst+1lst+1
可以发现,这样一定是字典序最小的方案

发现自己很容易忘记分析题目构造的性质…
类似从小到大加数这样的常规操作

ARC095-E - Symmetric Grid(口胡

没有算复杂度qwq…
容易发现,行和列是不相关的操作
那么先枚举行放什么,再判断列能不能放好
开搜,枚举每行的匹配行与每列的匹配列
行确定之后列的确定只需要知道某列reverse之后是否与另一列同构
发现状态数极少
于是就pass了

**ARC096-F - Sweet Alchemy

nnn不大也不小的题就有点恶心了…
注意到儿子的选择次数一定大于等于父亲,那么可以转化题意
每次选一棵子树+1+1+1,只有以111为根的子树可以无限选其他都仅能选DDD
值域小一点似乎可以直接背包?
但是值域有点大…这时候要想到一个套路就是
在大范围贪心,小范围大力dpdpdp
考虑两个物品分别有vi,vjv_i,v_jvi,vj的费用与wi,wjw_i,w_jwi,wj的贡献
那么我们考虑如果取了viv_ivijjj物品与vjv_jvjiii物品的时候,他们占用的费用是相同的,但是贡献肯定有一个较小
那我们可以贪心地把较小的那个给去掉换成较大的那个,此时费用仍然相同但是贡献会变大
所以最后,一定存在是一些都在小于nnn的个数,其余的是通过贪心取值的
这里的贪心我们可以用一个经典的性价比贪心来完成
故每个物品取min(n,D)min(n,D)min(n,D)个出来单独做dpdpdp,剩余的用贪心来贡献

**ARC096-E - Everything on It

感觉一下就是个容斥,脑子混乱了竟然有一个东西没想到…
用经典容斥设f[i]f[i]f[i]表示至少有iii个非法选择方案,窝之前居然naive的想设2维状态…
式子写一下
∑i=0n(−1)i22n−iCni∑j=0i∑k=1jS(j,k)∗Cij∗(2n−i)k\sum_{i=0}^{n}(-1)^i2^{2^{n-i}}C_{n}^{i}\sum_{j=0}^i\sum_{k=1}^jS(j,k)*C_{i}^{j}*(2^{n-i})^ki=0n(1)i22niCnij=0ik=1jS(j,k)Cij(2ni)k
解释一下
前面那个22n−i2^{2^{n-i}}22ni是指不包含非法酱的集合有多少
首先是枚举至少有多少个酱非法选择了,其次枚举有多少个出现了一次的酱料.我之前居然naive的卡在了不会算他们合在一起的方案数…md就是个斯特林数啊…
后面那个东西是让每个合法酱料在其中任意出现的方案数
这个东西可以n3lognn^3lognn3logn做了…
观察式子感觉没法优化…那就从组合意义之类的入手
随便化开可以得到一个这样的东西
∑j=kiS(j,k)∗Cij\sum_{j=k}^iS(j,k)*C_{i}^{j}j=kiS(j,k)Cij
注意他的现实意义是,将i+1i+1i+1个不同求扔进k+1k+1k+1个不同的盒子中的方案数。证明的话考虑这个式子枚举的是不与i+1i+1i+1放在一起的球是什么…
那么就可以愉快n2lognn^2lognn2logn

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值