1
AT_wtf22_day1_c
黑白染色。不妨设白点更多,删一个子树的过程形如:删若干对异色叶子直到所有叶子都是白色;从子树外获得一个黑叶子,重复以上过程。
设 表示删光 子树至少要从子树外获得这么多个叶子。则删掉子树 的充要条件是:
- 根的颜色不全相同。
枚举一共删 个,树上背包 个白 个黑,是否出现黑/白的根,一个子树能不能被选为删掉是已知的,复杂度 。
AT_wtf22_day2_d
先假设 互相区分,再除掉 。
钦定获得 个硬币,将所有 和 分为 组,然后二项式反演。
对于一组,设有 个和为 的 和 个 ,那就是 。拆 ,,就是每个 选一个 ,权值为 。
一组会形成若干个基环树,先数基环树个数,然后将 个区分的基环树分入 组,,再给每个组顺序 。
基环树个数就钦定 个环,剩下乱选,然后二项式反演。
一个环的权值还是拆 ,,如果连续的选 对应一个上升段,段首权值 ,段中间 。那就对段数,然后把 个区分的段分入 个环,。
设 表示从小到大考虑了 个,有 段,。
arc202d
两维独立。设 表示 从 到 走 步 。容斥有 个两维都不动,。
求 。若 ,直接 dp;否则反射容斥 求一项,再卷上选 个不动 。
agc019e
随机并乘 等价于给 匹配,并决定顺序。
对交换连边,合法的交换等价于从 经过 到 的链,或 的环。
现在有 个 和 个 。先给每个链头选一个链尾,再乘 。一条链上有 个 的话,有 种排法,有 的概率合法。从 个选 个放到链里,EGF,剩下的 。
即 。多项式快速幂。
agc021e
枚举最后的 。若 无解。若 一定有解。
否则会有 个红色多 和 个两个颜色相等且蓝色是最后一个。两个颜色相等可以只选成 RB,即序列至少能选出 对,即不能匹配的,每个前缀 。
所以从 到 不超过 。特别的,若 ,则到 。
agc033e
令 。设 中 的极长连续段分别为 。
圆上不能存在相邻的 。每个连续段长为奇数,否则存在起点离两端同奇偶。初始放在连续段端点加减 要能从另一边离开,每个连续段长度 。对于 ,反复横跳,否则每个连续段长度 。
前缀和优化。
agc038e
min-max 容斥,求 。
期望 步选一次 内的数,现在只要考虑 内要几步。 拆为每个途径状态的概率,即对于所有 的概率,即 。
设 表示前 个,,,枚举 ,复杂度 。
agc041f
钦定有 个格子不被覆盖,。枚举至少有一个被钦定列 ,对于一个长为 的行连续段,有 列属于 :若没有被钦定的格子,则 ;否则枚举钦定了 个,。
钦定 为 中实际没有被钦定格子的列,。行连续段若有 个属于 ,则系数 。
建笛卡尔树,树形背包节点 ,,是否有 。
agc045d
策略是沿着置换环问,只要不是自环就可以点亮整个环。那这样有等价于直接从 问到 ,在第一个自环之前能不能做完。即,设 为 第一个 的位置,要求 和 的每个置换环都包含 的点。
容斥 有 个 ,剩下有 个没有限制,有 个要加在之前的 之间变成 ,有 个没有限制。
agc049e
内层 dp 。
转 01, 层,把 压到状态里。状态只用记 ,直接把 放到权值里。复杂度 。
agc055d
加强:P12472。
记 ,则要求 且存在 个 ABC 当且仅当 。
枚举最后的 ,对 有一个限制,同时要求 要顶到上界。复杂度 。
agc058f
考虑给一个根,每次删一个子树,最后只剩根,展开 ,。
再考虑加一个连在根的叶子,这个 与 的变化是不大的。枚举插在第 次删子树和第 次之间。。
对删 的交界处裂项,。然后 , 是将 权值设为 的 。
拓展到带权版本,每个点有一个正权, 权为 , 权为 ,则 ,, 是将 权值设为 的 。
然后就可以 dp 删叶子,设 表示删 子树且 的权为 。

agc060d
设 表示恰好 处是 ; 表示 无限制, 以外都是 。。
改成枚举 。。
即从 个数分给一堆下降序列,即 。
即 ,。
agc065d
相邻的边不用管。从 断开,边要求包含或不交。
一个判定:扫 ,维护当前合法的 。每次加入 ,删掉 的点。最后加入 ,合法的剩一个 。也就是维护一个栈, 次加入, 次弹出至少一个点。构成双射。
由 Raney,对于一个长为 的整数序列 ,, 个循环移位中有且只有一个所有前缀和都 。
枚举 个相邻的边,;长为 的序列,有 的概率,在所有分配负数值和负数位置 中,满足条件。
agc065f
每个点双独立。记集合 表示 为根除了点双以外其他的子树。如果 为偶数,则 与点双内的点匹配,否则与外面的匹配。对于一个点双 奇偶性相同。
若都和外面的匹配,则该点双没有要求;否则点双必须是偶环或一条边。
即一个合法的图的生成方式为:从一堆偶环出发,每次选一些连通块,每个连通块出一个点,组成点双,直到连通。
设 为 个点 个点双, 为连通图。。
求 ,钦定一个根,圆方树,有 个方点,每个代表一个大小 的点双,有 个儿子。外面 prufer 为 ,每个连通块连父亲的不区分,即 。即 。
最后算答案,设 表示初始 个点 个连通块的系数和 。答案为 。
agc067d
向 连边,要求不存在环。DAG,容斥零入度点。钦定一些 ,这些 的 不能到左右的 ,间隔任意。
分步转移, 表示 个点的答案, 表示钦定到第 个点。
agc070c
先算从 到 不碰 且恰好 个拐点的方案。格路计数。
然后有 个平局, 个同向的需要至少插一个,。