1
AT_wtf22_day2_d
先假设 互相区分,再除掉 。
钦定获得 个硬币,将所有 和 分为 组,然后二项式反演。
对于一组,设有 个和为 的 和 个 ,那就是 。拆 ,,就是每个 选一个 ,权值为 。
一组会形成若干个基环树,先数基环树个数,然后将 个区分的基环树分入 组,,再给每个组顺序 。
基环树个数就钦定 个环,剩下乱选,然后二项式反演。
一个环的权值还是拆 ,,如果连续的选 对应一个上升段,段首权值 ,段中间 。那就对段数,然后把 个区分的段分入 个环,。
设 表示从小到大考虑了 个,有 段,。
agc058f
考虑给一个根,每次删一个子树,最后只剩根,展开 ,。
再考虑加一个连在根的叶子,这个 与 的变化是不大的。枚举插在第 次删子树和第 次之间。。
对删 的交界处裂项,。然后 , 是将 权值设为 的 。
拓展到带权版本,每个点有一个正权, 权为 , 权为 ,则 ,, 是将 权值设为 的 。
然后就可以 dp 删叶子,设 表示删 子树且 的权为 。

agc065d
相邻的边不用管。从 断开,边要求包含或不交。
一个判定:扫 ,维护当前合法的 。每次加入 ,删掉 的点。最后加入 ,合法的剩一个 。也就是维护一个栈, 次加入, 次弹出至少一个点。构成双射。
由 Raney,对于一个长为 的整数序列 ,, 个循环移位中有且只有一个所有前缀和都 。
枚举 个相邻的边,;长为 的序列,有 的概率,在所有分配负数值和负数位置 中,满足条件。
agc067d
向 连边,要求不存在环。DAG,容斥零入度点。钦定一些 ,这些 的 不能到左右的 ,间隔任意。
分步转移, 表示 个点的答案, 表示钦定到第 个点。