# [P6822] [PA2012]Tax
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/P6822)
$\text{Tag: 建模}$
考虑将无向边拆成两条有向边，化边为点。
一种显然的暴力就是将一个点的入边和出边两两建边，边权就是入边出边的边权最大值，但是这样边数是 $O(m^2)$ 的。
考虑一个点的所有出边，将其排序，得到边序列 $\{e_n\}$ ，显然的，我们可以将相邻两条边对应的点连边：
$$
\begin{aligned}
\large e_{i-1} \xrightarrow{w_{e_i} - w_{e_{i-1}}} e_i\\
\large e_i \xrightarrow{0} e_{i-1}
\end{aligned}
$$
同时，要实现从入边到出边，可以这样连边：
$$
\large (u,v)\xrightarrow{w_{(u,v)}} (v, u)
$$
然后还要从连接起始点 $1$ 和终点 $n$ 。可以这样连边：
$$
\begin{aligned}
\large 1 \xrightarrow{w_{(1,u)}} (1,u)\\
\large (u,n) \xrightarrow{w_{(u,n)}} n
\end{aligned}
$$
# [AT5661] [AGC040C] Neither AB nor BA
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT5661)
$\text{Tag: 性质, Trick}$
删除操作可以认为是组成一个合法的括号序列，而合法的删除的序列就是任何一组配对的括号在原序列上对应的两个字符拼起来，都不是 ``BA`` 或者 ``AB`` 。
考虑将序列进行黑白交替染色，比如 $n=6$ 的时候就是 ``bwbwbw`` 。那么每一组括号都是 ``bw`` 或者 ``wb`` ，而不是 `` bb`` 或者 ``ww`` 。
接下来将黑色位置的 $B,A$ 反转，那么限制就变成了不是 ``AA`` 或者 ``BB`` 。
接下来问题就是变成了 $A,B$ 数量均没有超过 $\frac{n}{2}$ 的序列个数，考虑容斥即可。
# [CF1334E] Divisor Paths
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/CF1334E)
$\text{Tag: 性质，数论}$
设一条 $x \rightarrow y ~(x|y)$ 的路径为 $p_{1...k}$ 其中 $\forall 1\leq i<k, p_i<p_{i+1}$ ，那么可以得到路径的长度：
$$
w_p=\sum_{i=2}^{k} d(p_i)-d(p_{i-1})=d(y)-d(x)
$$
可以发现路径长度只和起点终点有关。
接下来有一个很显然的性质，从 $u$ 到 $v$ ，必须是 $u\rightarrow \gcd(u,v) \rightarrow v$ 。接下来只需要求两个 $u\rightarrow v~~(v|u)$ 的路径条数就行了。
考虑 $d=\frac{u}{v}$ 那么将 $d$ 分解质因数，即 $d=\prod_{i=1}^k p_i^{c_i}$ ，那么实际上 $u,v$ 之间的路径条数可以使用可重排列计算出来：
$$
f(u, v) = \binom{\sum_{i=1}^k c_i}{c_1, c_2,\cdots c_k}
$$
那么最终 $u, v$ 的答案就是 $f(\gcd(u,v), u) + f(\gcd(u,v), v)$。
这里分解质因数可以首先将 $d$ 的所有质因数先预处理。
# [CF1477B] Nezzar and Binary String
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/CF1477B)
$\text{Tag: Trick}$
正想做比较难，考虑逆向思考，即从第 $q$ 天晚上到第 $1$ 天早上。而我们第 $i$ 天晚上就是将 $[l_i,r_i]$ 修改成同一个字符。这个部分可以使用线段树覆盖维护一下，最后再检查是否能将 $f$ 修改成 $s$ 就行了。
# [AT2304] [AGC010C] Cleaning
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT2304)
这题没有 $\text{Tag}$ 。
假如 $n=1$ ，那么显然无解。
如果 $n=2$ ，当且仅当 $a(1)=a(2)$ 的时候有解。
对于 $n>2$，选择一个度数最大的点当根节点。
设 $f(u)$ 表示从节点 $u$ 需要向上延伸多少条途径（一次清扫为一条路径）。显然的，对于叶子节点，$f(u)=a(u)$ 。对于非叶子节点 $u$ ，假如 $s(u)=\sum_{v\in \mathrm{son}(u)} f(v) < a(u)$ ，同时，如果 $\max_{v\in \mathrm{son}(u)} f(v) > a(u)$ 也同样是无解的。对于剩下的情况，可以计算出将路径两两配对的数量：$\cfrac{s(u)-a(u)}{2}$ ，那么就能得到向上延伸的路径的条数：$f(u)=2a(u)-s(u)$ 。最后特判一下根节点的 $f(u)=0$ ，否则一样是无解的。
# [CF1442D] Sum
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/CF1442D)
$\text{Tag: 性质, 分治}$
可以想到一个 $O(n^3)$ 的 $dp$ ：
$$
f(i,j)=\max_{k=0}^{\min\{j,t_i\}}\{f(i-1,j-k)+\sum_{x=1}^k a_{i,x}\}
$$
这个东西难以优化。
考虑一个方案 $c$ ，其中第 $i$ 个序列选择 $c_i$ 个，假如我们可以选择其中一个序列 $a$ 少选择一个，然后另一个序列 $b$ 选择多一个，也就是 $b_{c_b+1} \ge b_{c_a}$ ，那么可以认为序列 $a$ 可以去掉 $\min(c_a, c_b)$ 个，然后 $b$ 增加相同个，可以证明这样不会让答案变劣。一顿操作下来，一定有至多一个序列没有选择全部，其余的序列都是要么没选择，要么都选择。
因此可以考虑分治，具体怎么搞就不讲了。
# [AT4361] [ARC102B] All Your Paths are Different Lengths
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT4361)
$\text{Tag: 构造}$
直接放代码：
```cpp
if (L == 1) { printf("2 1\n1 2 0\n"); return 0; }
while (L) dig[++dig_sz] = (L & 1), L >>= 1;
n = dig_sz;
int t = 1 << (dig_sz - 1);
for (int i = dig_sz - 1; i >= 1; i--) {
if (dig[i]) {
addedge(1, dig_sz - i + 1, t);
t |= (1 << (i - 1));
}
addedge(dig_sz - i, dig_sz - i + 1, 0);
addedge(dig_sz - i, dig_sz - i + 1, (1 << (i - 1)));
}
```
# [AT4169] [ARC100D] Colorful Sequences
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT4169)
$\text{Tag: 分类讨论,dp}$
考虑首先求出所有满足第二个条件的序列的美丽值和，然后减去不满足第一个条件的序列的美丽值和。
满足第二个条件的所有情况的美丽值和可以考虑 $A$ 的左端点在序列中每一个位置的贡献，有：
$$
\mathrm{ANS}=(N-M+1) \cdot K^{N-M}
$$
考虑不满足第一个条件的情况。
如果 $A$ 本身就是一个 $\text{colorful}$ 序列，那么就不存在只满足第二个条件的情况。
如果 $A$ 不是 $\text{colorful}$ 序列，且存在至少一对重复元素，这时候，任何一对重复元素位置 $(a,b)$ 之间不存在 $\text{colorful}$ 序列，分别找到从左边，从右边第一个重复的位置 $l, r$ ，比如对于 $A=\{1,2,2,3,2,3\}$，那么两个找到的两个位置分别是 $3$, $4$ 。假设这时候序列 $A$ 左端点在序列 $B$ 的位置 $p$ ，那么子段 $B_{1\cdots p+l-2}$，$B_{a+m-r+1\cdots n}$ 必须都不满足第一个条件。
考虑 $dp$ 。设 $f(i,j)$ 表示当前构建了一个长度为 $i$ 的序列，其中最长的不重复后缀的长度为 $j$ ，那么可以得到：
$$
f(i,j)=f(i-1,j-1) \times (K - j + 1) + \sum_{k=j}^{i-1} f(i-1,t)
$$
这个 $dp$ 可以使用后缀和优化成 $O(K^2)$ 的。考虑 $B_{1 \cdots p+l-2}$ ，就是当前强制使得前 $l-1$ 为 $A_{1\cdots l-1}$ 翻转过来，即初始化 $f(0,l-1)=1$ 。对于 $B_{a+m-r+1\cdots n}$ 也是类似的。假设两个部分得到的 $dp$ 数组分别为 $f, g$，那么最终答案就是:
$$
\sum_{a=0}^{N-M} \left[\sum_{i=0}^{K-1} f(a,i)\right] \left[\sum_{i=0}^{K-1} g(N-M-a,i)\right]
$$
考虑没有重复元素，这时候无论 $A$ 的内容是什么，答案都是一样的。设 $f(i,j,0/1)$ 表示当前构造了前 $i$ 项，最长的不重复后缀长度为 $j$ ，当前是否已经选定了一个位置贡献，那么可以得到：
$$
\begin{aligned}
f(i,j,t) &= f(i-1,j-1,t)\times (K-j+1) + \sum_{k=j}^{i-1} f(i-1,k,t)\\
f(i,j,1) &= f(i,j,0)\times [j \ge M]
\end{aligned}
$$
对于选定的位置，我们令这个位置是 $A_{1\cdots m}$ ，具体而言，其对答案的贡献为 $\cfrac{g(n,i)}{K^{\underline{M}}}$ 。将答案加起来就行了。
# [AT4161] [ARC099B] Snuke Numbers
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT4161)
$\text{Tag: 找规律}$
通过打表发现答案都是类似 $x9999\cdots 999 (1 \leq x \leq 9)$ 的。
# [AT2567] [ARC074C] RGB Sequence
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT2567)
$\text{Tag: dp}$
设 $f(i,j,k)$ 表示考虑了前 $i$ 个位置，第二个颜色的最后位置为 $j$ ，第三个颜色的最后一个位置为 $k$ 。
考虑转移，可以得到：
$$
\begin{aligned}
f(1,0,0) &= 3\\
f(i+1,j,k) &\leftarrow f(i,j,k)\\
f(i+1,i,k) &\leftarrow f(i,j,k)\\
f(i+1,i,j) &\leftarrow f(i,j,k)
\end{aligned}
$$
考虑限制，考虑在区间的右端点限制，比方对于限制 $(l,r,2)$ ，需要令 $j<l$ 或者 $k \ge l$ 的 $f$ 值为 $0$ 。
最后的答案显然为：
$$
\mathrm{ANS}=\sum_{i=0}^{n-1} \sum_{j=0}^{i} f(n,i,j)
$$
# [AT4162] [ARC099C] Independence
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/AT4162)
$\text{Tag: Trick}$
考虑建立补图，如果补图上有边 $(u,v)$ ，那么划分的时候就不能将 $u,v$ 分到同一部分，反之则可以。考虑类似二分图判定的黑白染色，将某个联通快分成两部分，其大小分别为 $c_1,c_2$ ，如果不能分成两部分，直接输出 $-1$ 。
考虑可行性 $dp$， $f(i,j)$ 表示当前考虑了前 $i$ 个连通块，其中一个部分的大小为 $j$ ，那么有：
$$
f(i,j)=f(i-1,j-c_{i,1}) \vee f(i-1,j-c_{i,2})
$$
这个东西显然可以用 ``bitset`` 维护。
# [CF1286D] LCC
[$\Rightarrow$原题链接](https://www.luogu.com.cn/problem/CF1286D)
$\text{Tag: dp,ddp}$
首先有一个显然的结论，第一次碰撞一定发生在两个起始位置相邻的粒子，因此可以考虑某两个相邻的粒子的碰撞是第一次碰撞，求出其时间和概率，然后再求个和就行了。
假设当前设定 $p,p+1$ 第一次发生碰撞，其中两个粒子的方向分别为 $a,b~(a,b\in\{0,1\})$ 其中 $0$ 表示向左，$1$ 表示向右，那么可以想到 $dp$ 求概率。设 $f(i,j)$ 表示考虑前 $i$ 个粒子，其中第 $i$ 个粒子的方向为 $j$ 其中碰撞事件**大于等于** $t(p,a,b)$，转移比较简单。类似的，设 $g(i,j)$ 表示考虑后 $i$ 个粒子，其中第 $n-i+1$ 粒子的方向为 $j$ ，其中碰撞时间**大于** $t(p,a,b)$ 。可以想到
$$
\mathrm{ANS}(p,a,b)=f(p,a)\times g(n-p,b)\times t(p,a,b)
$$
但是很显然这个东西绝对会 $\rm{TLE}$ 。考虑优化。
发现上面 $dp$ 转移的过程如果忽略时间的限制，实际上可以认为是矩阵相乘。考虑构建线段树，其中矩阵 $A_{[l,r],a,b}$ 表示第 $l$ 颗粒子方向为 $l$ ，第 $r+1$ 颗粒子的方向为 $b$ 的概率（除去 $r+1$ 的概率）。将所有相邻节点信息 $(p,a,b)$ 按照碰撞事件从大到小排序，考虑一个信息 $(p,a,b)$ 是第一次碰撞的概率，显然是：
$$
\mathrm{P}(p,a,b)=\sum_{x=0}^{1} \sum_{y=0}^1 A_{[1,p-1],x,a}A_{[p+1,n-1],b,y}P_{p,a} P_{n,y}
$$
将 $t(p,a,b)\times \mathrm{P}(p,a,b)$ 贡献到答案之后，将 $P_{p,a}$ 放到 $A_{[p,p],a,b}$ 就可以了。
# [ARC110-D] Binomial Coefficient is Fun
[$\Rightarrow$原题链接](https://atcoder.jp/contests/arc110/tasks/arc110_d)
这题没有 $\rm{Tag}$ 。
为了将 $\sum_{i = 1} ^ N B_i \leq M$ 变为 $\sum_{i = 1} ^ N B_i = M$，增加一个 $A_{N + 1} = 0$ ，然后让 $N := N + 1$。
令 $S = \sum_{i = 1} ^ n A_i$。
如果 $S > M$ 则答案为 $0$，直接特判。
如果 $S \leq M$，考虑转化问题。构建一个长度为 $S + N$ 的序列 $p$，其中 $p_i < p_{i + 1}$ 且 $1 \leq p_i \leq N+M$ ，原题显然可以转化为求 $p$ 序列的个数。那么答案显然为:
$$
\mathrm{ANS} = \binom{M + N - 1}{S + N - 1}
$$
# [ARC112-C] DFS Game
[$\Rightarrow$原题链接](https://atcoder.jp/contests/arc112/tasks/arc112_c)
$\text{Tag: 分类讨论}$
假设现在在节点 $u$ ，对于其中一个儿子 $v$ ，可以发现，如果节点个数是偶数，那么回到节点 $u$ 的时候，先后手不变，反之则变化。设 $f(u)$ 表示在子树 $T_u$ 中先手得分减去后手得分。接下来进行分类讨论。
考虑一个节点 $u$ 的儿子 $v$ 。
1. $f(v) < 0$ 且 $T_v$ 的节点数量为偶数。
2. $f(v) \ge 0$ 且 $T_v$ 的节点数量为偶数。
3. $T_v$ 的节点数量为奇数。
对于 $1.$ ，显然先走完所有这样的节点并不会使答案劣，因此可以先走完所有 $1.$ 节点。对于 $2.$ 节点，先手会选择尽量不走这类节点，因此它会用 $3.$ 节点，这时候一定会选择 $f(v)$ 最小的，这样可以使回到节点 $u$ 的时候，对手能拿到的得分更少。因此可以得到 $f(u)$ 的计算方式：
首先加入所有 $1.$ 节点的 $f(u)$ 的相反数。然后将 $3.$ 节点按 $f(u)$ 从小到大排序，得到序列 $l$ ，然后对于第奇数个，加入相反数，对于第偶数个，加入原数，然后根据 $|l|$ 确定谁是要全部吞下 $2.$ 的倒霉蛋。
最终答案根据 $f(1)$ 确定即可。
# [ARC111-D] Orientation
[$\Rightarrow$原题链接](https://atcoder.jp/contests/arc111/tasks/arc111_d)
$\text{Tag: 性质}$
对于第 $i$ 条边，如果 $c_{a_i}=c_{b_i}$ ，那么 $a_i = b_i$ 必须在同一强连通分量中；如果 $c_{a_i}>c_{b_i}$， 那么显然可以定向：$a_i\rightarrow b_i$ ；$c_{a_i}<c_{b_i}$ 同理。
对于同一强连通分量的点，将 $\rm{dfs}$ 树定向为外向树，对于非树边，方向定为由深度较大的点到深度较小的点。