WinterXorSnow's Blog

摘要： CF1949D 好险，差点做出来了。 先不考虑初始值。 一开始想考虑分成平均两块，发现不太行。然后考虑构造 \(n=4\)，一种可行的构造是 \(1,3,4\) 之间连 \(S\) 边，其他的边为 \(F\) 边。 这启发我们不要平均分，而是考虑分成两块 \(C_1,C_2\)，则 \(C_1\) 阅读全文

摘要： CF2147I2 非常难的题目，而且题解中的不精细的实现实际上非常值得学习，至少我没有想出更好的实现了。 我一开始的时候只想着两块怎么跳了，结果发现不管怎么样都需要 \(O(n)\) 次，非常倒闭。 其实是可以多块之间跳的，只要块内点的距离小，而块之间的距离指数增长就行了。 定好块长和间距，然后我们 阅读全文

摘要： CF2045L 先考虑 \(k\) 为偶数。 假设有一条链，则答案显然是 \(2n-2\)。因此当 \(k\) 较小时，我们可以成链。那么当 \(k\) 较大呢？我们考虑往链上挂节点，首先我们先让链上的节点尽可能大，确保一定是先走链的。然后我们假设与链上连了 \(v\) 条边，显然贡献是 \(v^2 阅读全文

摘要： Fast Furina Transform（确信） 我恨数学 注意：笔者尚且没有理解 IDFT，因此在 IDFT 只能背板。 前置知识 注意：如果你已经学过多项式，虚数，单位根，那么可以直接跳过这一部分。 多项式 定义：形如 \(\sum\limits_{i=0}^{n-1} a_i \times 阅读全文

摘要： 难难。 题目链接。 判定 先考虑如何判定一个 \(n\) 合不合法。 发现题目是 \(\times 2^p\)，因此考虑二进制。显然的，如果两个数字可以消去，当且仅当两个数字 \(lowbit\) 前面的相等。 举例 10110 -> 1011000 显然是合法的，而都可以视作 1011 而来 而 阅读全文

摘要： 题目链接。 感觉强度还好的紫。 不难发现每一次操作肯定到最后，这样子一定不劣。 考虑最基础的DP设计，定义 \(dp[i][j]\) 表示 \(i\) 节点，使用 \(j\) 次操作所留下的最大玉米数量。 考虑直接转移，发现我们需要同时满足 \(a_j+k_j\le a_i+k_i,k_j \le 阅读全文

摘要： 题目链接 第一次做莫反题。 这题的二分思路是显然的，那么问题转化成如何快速求 \(\le x\) 的合法数字数量。 不妨考虑容斥。显然的，一个数字合法，当且仅当其质因子出现次数至多为 \(1\)，因此可以容斥掉不合法的。 考虑枚举最基础的 \(i\)，满足 \(i\) 是合法的，且 \(i > 1\ 阅读全文

摘要： 题目链接 前言 前置知识点：卢卡斯定理，威尔逊定理，不会可以百度，这里给出大概内容。 卢卡斯定理：考虑求 \(\binom{n}{k} \mod p\)。则其值等于 \(p\) 进制分解后的组合的乘积。 威尔逊定理：对于任意素数 \(p\)，有 \((p-1)! \equiv -1 \pmod p\ 阅读全文

摘要： 题目链接 一道有些复杂的构造。 不妨设加权平均数为 \(\lambda\)。通过代换，就有了 \(\sum\limits_{i=1}^n b_i \cdot (a_i - \lambda) = 0\)。因此现在变成尝试构造 \(\lambda\)。 显然的，排序对于答案的构造没有影响，因此下文中，数 阅读全文

摘要： 题目链接。 我说构造蓝=常规紫你耳朵隆吗？ 先考虑如何构造不会产生等差数列。不妨思考一个美妙的数列，其任意两个数字相加都不会产生进位。而且，再利用一下题目中的已知信息 \(x + z \ne 2y\)。先在十进制内想想，如果每一位只有 0/1，不就不会出现进位了吗？推广到三进制，也是同样的道理。 实 阅读全文