【Atcoder】AGC017 C-F简要题解

*C.Snuke and Spells

排序后又zz地想到一个假算法，然而正解是转化为线段覆盖。

拆成$n$个点（标号为$0-(n-1)$），若权为$x$的球有$k$个，它能覆盖$(x-k)-x$之间的线段。
$0n$全部被覆盖时不需要修改，若没有全部覆盖，未被覆盖的线段数就是至少要修改的次数。

---

D.Game on Tree

Hackenbush删边

sg函数转移：$SG(i)=xor(SG(son)+1)$

正确性：从链的情况外推一下

---

*E.Jigsaw

很妙的图论转化题。

发现$H\le 200$且一侧高为k的实心可以和另一侧高位k的空心相接，那么可以拆出$2H$个点(标号$(-H)-H$)表示相接。

设左侧高为$k$的实心或右侧高位$k$的空心是标号为$-k$的点。

设左侧高为k的空心或右侧高位k的实心是标号为$k$的点。

把每块积木看做是一条有向边，于是问题转化为能否找到若干条路径$(S\to T)$，使得$S<0,T>0$。

那么要满足条件：

• $对于i>0,in[i]<=out[i]$
• $对于i<0,in[i]>=out[i]$
• 对于一个弱联通分量，必须有一个点满足$in[i]̸=out[i]$

---

*F.Zigzag

考虑将$L_i$表示为一个长为$n-1$的01串。

发现$L_{i+1}$要横向大于$L_i$必然是某位$1$前移或者某位0转成了1：

设$dp[i][j][s]$表示处理到$L_i$，前$j$位与$s$相同的方案数($s$表示$L_{i-1}$，是动态变化的)

具体看这份题解吧