摘要：
P10507 Georgia and Bob 这篇题解的注重点不是结论的证明，而是发现结论的思路，所以比较偏感性。证明人人都会，而发现结论的思路才是这题真正值得思考的地方。 感觉这道题不知道阶梯 NIM 自己推出来也不难，在这个建模下思路挺顺的。感觉讲解阶梯 NIM 可以采用这个模型。 显然的博弈论 阅读全文
摘要：
P10501 Cutting Game 博弈论经典题目，考虑使用 SG 函数解决。 但是这一题和有向图游戏的定义不同，在有向图游戏不能操作者判负，而这一题中操作出某个状态者判胜。因此，我们需要进行转化。经典做法是往前推直到推出必败态作为有向图游戏的终点。 我们考虑什么样的情况可以剪出 \(1\tim 阅读全文
摘要：
P10102 [GDKOI2023 提高组] 矩阵 模拟赛题，场切了，似乎做法和全世界都不一样。 直接暴力矩阵乘法显然过不去，也没有什么前途。注意到只需要判定是否相等，考虑矩阵每一行的和。假设现在正在计算第 项的和。 \[\sum_{j=1}^n \sum_{k=1}^n A_{i,k} 阅读全文
摘要：
AT_agc049_d [AGC049D] Convex Sequence 限制 不好满足，先不管它。限制 移项可得 ，即差分非严格单调递增，满足要求的序列为一个单谷序列。 我们考虑枚举最左侧的最小值的出现位 阅读全文
摘要：
AT_arc133_b [ARC133B] Dividing Subsequence 模拟赛原题，来写篇题解。 只考虑匹配的状态，根据调和级数的数学知识，匹配的状态数不多，为 ，考虑动态规划。 我们对于每个 预处理出可以匹配的位置 阅读全文
摘要：
CF1227G Not Same 构造。考虑按照每个数字进行考虑，每次填充一列。 观察样例 ，不难发现可以构造使每一行或列一定有一个位置为 。我们不妨对于每一列限定这个 的位置，使其与任意一个列的位置不一样。不难发现这样也保证了每一行 位置的不同。然后，我 阅读全文
摘要：
CF1990C Mad MAD Sum 好题。考虑操作一次之后序列的性质，不难发现存在单调性。因为定义为出现至少两次的最大值，而从左到右最大值是可以继承的，所以单升不降。 然后，手玩一下发现之后的操作相当于把整个序列向后移动一位，左边使用 自动补齐。特别的，如果一个元素数量不足 \(2\ 阅读全文
