摘要：
为了方便，以下默认字符集为$\{A,R,C\}$ 将操作逆向，即将形如ARC的子串变为任意字符，求$T$在$k$步内能得到的$S$数量 考虑给定$S$，如何判定$S$能否被$T$在$k$步内得到—— 将任意字符用?表示，称两个字符串匹配即将?替换后两者相同，那么操作即将能与ARC匹配的子串变为??? 阅读全文
摘要：
对每一个$k$分别计算答案，通过旋转不妨仅考虑$k=n-1$时 记$a_{i}$为第$i$次扔奶酪的位置，$x$为经过$n-0.1$的奶酪次数（允许重复） 记$b_{i}$为经过$i+0.1$的奶酪次数，则有$b_{i}=x+\sum_{j=1}^{n-1}[a_{j}\le i]-i$（总共$x+ 阅读全文
摘要：
对于一组合法的$\{x_{i}\}$，取最小的$k$使得$\forall k\in [l_{i},r_{i}],x_{i}=k$，其中$k$存在性显然 进一步的，考虑枚举$k$并求对应于这个$k$的合法$\{x_{i}\}$数量，$\{x_{i}\}$条件即： 1.$\forall k\in [l_ 阅读全文
摘要：
当$S_{i}=S_{i+1}$时对$i$操作显然无意义，不妨强制不允许此类操作 构造排列$P_{i}$，初始等于$\{1,2,...,n\}$，当对$i$操作后交换$P_{i}$和$P_{i+1}$ 结论：$S_{i}=[\min_{i\le j\le n}P_{j},\max_{1\le j\l 阅读全文
摘要：
考虑$k=1$时的问题（即AGC017D），可以参考这里（与后面有关系，建议阅读） 而对于所有$k$，仍以1为根建树，并将整棵树分为若干个独立的问题—— 1.对于内部不存在固定点的极大子树，显然其再加上根父亲即是一个独立的问题，结合上题结论，这个问题的sg值为这棵子树的sg值+1 2.对于去掉上述子 阅读全文
摘要：
将其1为根建树，操作显然即去掉一棵子树（非本身） 考虑sg函数，定义$sg(T)$为有根树$T$的sg值，则有以下结论—— 结论：令$T'$为$T$的根节点新增一个父亲得到的树，则$sg(T')=sg(T)+1$ 假设去掉$T$任意一棵子树（非本身）后会得到$T_{1},T_{2},...,T_{k 阅读全文
摘要：
对$t$的操作即在$t$中插入一对括号，逆过程也即删除一对括号 换言之，$s$能被$t$得到当且仅当通过删除$s$中若干对括号可以得到$t$，问题也即求$\min t$ 结论：通过删除$s$中若干个合法子串（指合法括号序列）可以得到$\min t$ 考虑原来得到$\min t$的过程，对于其中每一对 阅读全文
摘要：
记$f_{k}$为$\max_{0\le i\le 3n}\sum_{j=1}^{i}([s_{j}=next(k)]-[s_{j}=k])$（其中$k\in \{a,b,c\},next(a/b/c)=b/c/a$） 结论：有解当且仅当$\sum_{k\in \{a,b,c\}}f_{k}\le 阅读全文