crab_xbc的博客

原创 完蛋！大模型解密(LLM Riddles) 题解

https://intsensing.cn/llmgame/index第一章T1：输出括号里的内容，不输出括号本身和其余附加内容．(1+1=3)T2：讲故事T3：猫T4：啊T5：啊1T6：有一个字，左边是反犬旁，右边是句，请重复这个字五遍第二章T1：请输出11个0T2：142857T3：10010010T4：输出十一万四千五百一十四的阿拉伯数字形式，不要输出任何多余...

原创 11

原创 P8026 ONTAK2015 Bajtocja

P8026 ONTAK2015 Bajtocja题目只考察连通性，不考察图更具体的结构，所以可以用 \(d\) 个并查集维护。两个点 \(u\) 和 \(v\) 在图 \(i\) 上连通，当且仅当图 \(i\) 上 \(u\) 和 \(v\) 的并查集祖先相同。因此，两个点 \(u\) 和 \(v\) 在 \(d\) 张图上都连通，等价于对于任意 \(i\)，\(u\) 和 \(v\) 在...

原创 P6775 NOI2020 制作菜品

P6775 NOI2020 制作菜品给定正整数 \(n\)，\(m\)，\(k\)。有一个 \(m\) 行 \(k\) 列网格，每个网格可以被涂上 \(n\) 种颜色之一，要求：一行最多出现两种颜色。第 \(i\) 种颜色必须恰好被使用 \(a_i\) 次。\(\{a_i\}\) 给定，保证 \(\sum a_i = m \times k\)。请构造涂色方案或判定不存在。多测，最...

原创 CF1814D Balancing Weapons

CF1814D Balancing Weapons原题明显可以转化为：给定一个长度为 \(n\) 的数组，初始为 \(p_i\)。可以调整元素的值，但第 \(i\) 个元素必须是 \(a_i\) 的 整数 倍，并且 必须严格大于 \(\boldsymbol 0\)(保证 \(p_i\) 初始满足此要求)。求至少修改多少个元素，可以让数组的极差不超过 \(k\)。首先观察到答案和数组内部顺...

原创 P4141 消失之物

P4141 消失之物\(f(i, j)\) 表示用前 \(i\) 个物品恰满体积为 \(j\) 的背包方案数。\(g(i, j)\) 表示所有 \(n\) 个物品里，不使用第 \(i\) 个物品恰满体积为 \(j\) 的背包方案数(也即答案数组)。容斥：\(g(i, j)\) 可以表示为所有 \(n\) 个物品恰满体积 \(j\) 背包的方案数 \(-\) 必须使用第 \(i\) 个物品恰...

原创 P5372 SNOI2019 积木

P5372 SNOI2019 积木不难想到图论建模(也没啥别的思路了)，考虑用一张图刻画网格板上的任意一种状态：图有 \(n \times m\) 个点，形成点阵，和网格板对应。网格板上，一个积木对应一条边，积木占据的两个格子，对应这条边连接的两个点。比如第一个样例中，起始时的网格板状态：3 3nnnuuuo<>刻画为下面的图论模型：我们试图发掘这样刻画出的...

原创 P5025 SNOI2017 炸弹

P5025 SNOI2017 炸弹不难看出本题是可以转化为图论模型的：建立 \(n\) 个点代表 \(n\) 个炸弹，如果第 \(i\) 个炸弹能直接引爆第 \(j\) 个炸弹，就连边 \(i \to j\)。这样的图论模型很好地刻画了原题中引爆的传递性，题意中第 \(i\) 个炸弹能直接 / 间接引爆第 \(j\) 个炸弹直接等价于图上 \(i\) 可达 \(j\)。问题变成，对于一个有向...

原创 CF1746E Joking

CF1746E Joking交互库最开始给定一个正整数 \(n\)，并生成一个 \(x \in [1, n]\)，你的目标是得到交互库中的 \(x\)。你可以向交互库提出问题：提问一个集合 \(S\)，交互库回答的内容是 \(x \in S\) 的真假。该提问次数不能超过限制数 \(Q\)。交互库可以骗人，也即交互库的回答不一定正确。但保证 交互库连续的两次回答中，至少有一次是正确的。...

原创 CF618F Double Knapsack

CF618F Double Knapsack我们从 \(A\)，\(B\) 中两个集合依次选数，维护一个量 \(d\)，表示 \(A\) 中所选数的和 \(- B\) 中所选数的和，初始为 \(0\)。当 \(d \le 0\) 时，我们从 \(A\) 中选数，当 \(d > 0\) 时，我们从 \(B\) 中选数，直至我们试图选的时候，发现集合已经空了为止。考虑 \(d\) 的变化...

原创 P9370 APIO2023 赛博乐园 / cyberland

P9370 APIO2023 赛博乐园 / cyberland。题目就是让我们求一个有各种优惠政策的单源点 \(0\)，单汇点 \(H\) 的最短路。优惠政策是：到达能力为 \(2\) 的点，可以让之前走过的距离除以 \(2\)。到达能力为 \(0\) 的点，可以让之前走过的距离直接变成 \(0\)。有限制：不能经过 \(H\) 多次。那其实也就是说，\(H\) 只能作为答案路径的终...

原创 P6864 RC-03 记忆

P6864 RC-03 记忆。设当前括号串 \(S\) 中：合法括号非空 子串 数量为 \(\mathrm{ans}\)。合法括号非空 后缀子串 数量为 \(\mathrm{cnt}\)。例： \(S = \mathtt{()()}\)，则 \(\mathrm{ans} = 3\)，\(\mathrm{cnt} = 2\)。设 \(S\) 进行一步操作一后，变为括号串 \(S_...

原创 AGC12C Tautonym Puzzle

AGC012C Tautonym Puzzle考虑在 \(A\) 的前 \(100\) 位递增地填上 \(1 \to 100\)。如果我们限制 \(A\) 的后 \(100\) 位里，\(1 \sim 100\) 每个数最多出现一次。后 \(100\) 位可以不填满。那么 \(A\) 中好的子序列数量，就是后 \(100\) 位里严格上升子序列的数量。问题转化成：构造一个序列 \(B\)...

原创 CF521D Shop

CF521D Shop注意到选定的操作数可以少于 \(m\)，因此所有对乘积有负贡献的操作直接扔掉(在本题中，只有满足 \(b_i < a_i\) 的赋值操作对乘积是负贡献的)。假设我们框定了选择的操作集合，如何决定顺序？先做所有赋值操作，再做所有加操作，再做所有乘操作是最优的，而每种类型操作内部的顺序无所谓。对每个数而言，只进行一次赋值操作就行了。那么对每个数只需要保留对其赋的值...

原创 单调栈学习笔记

单调栈基础单调栈根据所维护的单调性可以分为四种：严格递增栈。必须出栈至栈空或栈顶小于当前元素后，才入栈当前元素。严格递减栈。必须出栈至栈空或栈顶大于当前元素后，才入栈当前元素。非严格递增栈。必须出栈至栈空或栈顶小于等于当前元素后，才入栈当前元素。非严格递减栈。必必须出栈至栈空或栈顶大于等于当前元素后，才入栈当前元素。我在选择什么栈，选择栈后弹栈不等号方向怎么写，每次都得绕一会才能...

原创 P5536 【XR-3】核心城市

P5536 【XR-3】核心城市请先阅读这个。考虑 \(k = 1\) 时，我们必须选择树的中心。猜测 \(k \ge 1\) 时也要选择树的中心。首先可以发现，只要我们选择树的中心，则答案一定不会超过树的半径。现在令树的中心为根。不难发现只要 \(n \ge 3\)，这个根就有两个子树。由于我们选择的 \(k\) 个点必须联通，所以如果我们不选择树的中心，就只能在树的中心的某个儿子 ...

原创 树的直径，树的中心性质整理

本文中，设树中所有权都是正的。直径的定义：不经过同一个点两次的最长链。中心的定义：对于点 \(u\)，如果满足所有点到点 \(u\) 距离的最大值最小，则点 \(u\) 是中心。请注意树的中心和树的重心是两个不同的概念。本文中 \(u \sim v\) 代表树上 \(u \leftrightsquigarrow v\) 唯一路径的权值。性质一如果一个点 \(u\) 在一条直径 \(D...

原创 P5322 BJOI2019 排兵布阵

P5322 BJOI2019 排兵布阵本题主要考察对模型的转化能力。首先要察觉两条性质：对于一个城堡，想打败一个玩家的同时用最少的士兵，肯定是正好派出这个玩家在这个城堡派出的士兵数量的二倍加一名士兵。在一个城堡上，打败了一个在这个城堡派出士兵数量为 \(x\) 的玩家，就可以顺便打败所有在这个城堡派出士兵数量 \(\le x\) 的玩家。这两条性质可以推出一条关键结论：在总共 \(...

原创 P2680 NOIP2015 提高组 运输计划

P2680 NOIP2015 提高组 运输计划最小化最长的路径，考虑二分答案。问题转化成检验删去一条边的边权后，最长路径权值能否不超过 \(x\)。考虑没删边权时，原先那些不超过 \(x\) 的路径，删去边权后肯定不会影响，直接忽略。考虑原先比 \(x\) 长的那些路径。我们期望删边权后这些路径全部变短到 \(x\) 以内，因此称之为关键路径。很明显，我们必须找一条被所有关键路径经过的...

原创 树上差分 学习笔记

在树上对链上所有点 / 边加，最后查询每个点 / 边的权值。树上点差分记 \(a(u)\) 为点 \(u\) 的权值，记 \(d(u)\) 表示 \(a(u) - \sum_{v \in \operatorname{son}(u)} a(v)\)。现在，我们对 \(s \rightsquigarrow t\) 这条链整体加上 \(x\)。定义 \(s\) 和 \(t\) 的 LCA 是 ...

原创 CF449D Jzzhu and Numbers

CF449D Jzzhu and Numbers黄金定律：给定序列求答案，但答案与序列顺序无关的题目，要么考虑把序列转权值序列，要么对序列排序。二进制题按大小排序看起来就没啥用，那就转成权值序列。即，设 \(c(i)\) 表示 \(i\) 在 \(a\) 中的出现次数。同时设 \(V\) 为 \(a\) 的值域。然后直接算发现不是很好算。考虑容斥计算。设 \(g(x)\) 为 \(a\)...

原创 ARC100E Or Plus Max

ARC100E Or Plus Max位运算上的比大小问题通常都很难处理，因此一般都是先把这种条件转化。考虑下面三个集合：\(A_K = \{(i, j) \mathop | i \operatorname{or} j \le K \and i \ne j\}\)。\(B_K = \{(i, j) \mathop | i, j \subseteq K\and i \ne j\}\)。...

原创 SoSdp 学习笔记

SoSdp 用来解决这种问题：对于非负整数 \(i\)，\(K\)，定义布尔型二元运算 \(i\subseteq K\)，可以以下四种等价角度理解：\(i \operatorname{bitand} K = i\)。\(\operatorname{bitand}\) 是按位与的意思。同一个二进制位上，\(i\) 的这一位小于等于 \(K\) 的这一位。同一个二进制位上，\(K\) 这一...

原创 CF1163F Indecisive Taxi Fee

请见 删边最短路学习笔记。

原创 删边最短路学习笔记

删边最短路前言删边最短路是一种科技，用于解决一类问题：给定非负权图 \(G = (V, E)\)。设 \(n = |V|\)，保证 \(1\) 可达 \(n\)。设 \(\Delta(e)\) 为图 \(G' = (V, E \setminus \{e\})\) 上 \(1 \rightsquigarrow n\) 的最短路，若 \(G'\) 上 \(1\) 不可达 \(n\) 则为 ...

原创 广义圆方树学习笔记

广义圆方树上一条从 \(u\) 到 \(v\) 的简单路径，设为 \(u \to s_1 \to c_1 \to s_2 \to c_2 \to \cdots \to c_k \to s_{k + 1} \to v\)，其中 \(s\) 为方点，\(c\) 为圆点。事实上是对原图上 \(u \rightsquigarrow v\) 所有简单路径的总结：它们一定都是从 \(u\) 开始，经过 ...

原创 P4366 [Code+#4]最短路

P4366 [Code+#4]最短路一个图有两层：一层完全图，每对 \(u\)，\(v\) 间都有一条边权为 \(u \oplus v\) 的边。一层给定图，边信息完全给定。这层图的边数 \(m \le 5 \times 10^5\)。求单源最短路。\(n \le 10^5\)。暴力建边 \(n^2\) 不可取，所以优化建图。第一层是完全图，第二层是直接给定边的图。对第一层优化...

原创 树上统计问题【一】

在树上，对于每个点 \(u\)，设 \(c(u)\) 为点对 \((s, t)\) 的数量，满足 \(s \ne t\)，且 \(s\) 到 \(t\) 的路径经过点 \(u\)。要求用总共 \(\mathcal O(n)\) 的复杂度，求出 \(c\) 数组。我们可以把要求的 \(c(u)\) 转化成：删除与点 \(u\) 相关联的所有边后，有多少个点对不再联通。只要点数 \(n \ne...

原创 P7473 [NOI Online 2021 入门组] 重力球

P7473 NOI Online 2021 入门组 重力球。球在运动过程中，除了初始状态，都只会运动到与边界或障碍物相邻的点，不妨称之为转移点。不难发现转移点最多只有 \(4(n+m)\) 个。我们考虑将转移点从 \(1\) 开始编号。发现两个球分别处于两个转移点的总状态数不超过 \([4(n+m)]^2 \le 4\ \times 10^6\) 个，可以接受。我们用 \((x, y)\...

原创 P7517 [省选联考 2021 B 卷] 数对

https://www.luogu.com.cn/problem/P7517给定长度为 \(n\) 的数组 \(a_i\)，统计数对 \((i, j)\) 个数，满足 \(i \ne j\) 且 \(a_j \mathop | a_i\)。\(2 \le n \le 5 \times 10^5\)，\(1 \le a_i \le 5 \times 10^5\)。答案和数组顺序无关，一种...

原创 CF1270G Subset with Zero Sum

CF1270G Subset with Zero Sum - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)普通序列抽数，要求和为 \(0\)，则只能暴力搜索。那突破口肯定是 \(i - n \le a_i \le i - 1\)。变形一下，得到 \(1 \le i - a_i \le n\)。尝试对每个 \([1, n]\) 中的 \(i\)，都从 \(i\) 到 \(i ...

原创 CF1032C Playing Piano

CF1032C Playing Piano - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)。题目大意是：能否构造一个长度为 \(n\) 的值域为 \([1, 5]\) 的整数序列 \(b\)，使得相邻两个数之间的大小关系满足给定的大小关系。给定的大小关系可能是大于、小于、不等于。CF 官方给的 dp 做法是假的。实际上只需要一个橙色难度的简单构造。而且这个做法时空复杂度和...

原创 P1989 无向图三元环计数

P1989 无向图三元环计数 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)属于是只有大文学家能写出来，我只能抄在积累本上的那种。考虑给每个点赋权 \(a_u\)，权值两两不同，然后给原图定向：对于原图上的一条边 \((u, v)\)，让 \(a\) 小的连向 \(a\) 大的。不难发现形成的有向图是 DAG，因为如果 \(u \to v \to w \to u\) 就...

原创 P4344 SHOI2015 脑洞治疗仪

P4344 SHOI2015 脑洞治疗仪 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)其实是水紫。原题题面描述比较诡异，这里精炼一下。维护一个 01 序列，支持以下操作：给定 \(l\)，\(r\)，将区间 \([l, r]\) 推平为 \(0\)；给定 \(l\)，\(r\)，\(x\)，将区间 \([l, r]\) 的前 \(x\) 个 \(0\) 修改为 \(...

原创 P6327 区间加区间sin和

P6327 区间加区间sin和 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)考虑\[\sin (\alpha + \beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta\\\cos(\alpha + \beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta\]所以\[\sin(...

原创 P1198 JSOI2008 最大数

P1198 JSOI2008 最大数 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)采用 ST 表维护 RMQ。对于插入操作，设插入后数列长度变为 \(n\)，我们只需重新修改满足 \(i + 2^j - 1 = n\) 对应的 \(st[i][j]\)。这些区间总共有 \(\log n\) 个，所以复杂度是对的。时间复杂度 \(\Theta(m \log m)\)。/...

原创 P3773 CTSC2017 吉夫特

P3773 CTSC2017 吉夫特 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)这个题面非常诈骗，应该是出题者故意的。题目中那么老长串式子，其实就等价于这个长度为 \(m\) 的子序列需要满足：这个子序列中，对于每一对相邻的前后项(总共 \(m - 1\) 对)，设前项是 \(a\)，后项是 \(b\)，都有：\[\dbinom{a}{b} \bmod 2 = 1...

原创 CF835E The penguin's game

CF835E The penguin's game - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)设两个 \(y\) 的下标分别是 \(a\) 和 \(b\)。为方便说明，下文所有的第 \(i\) 位指的都是该数二进制从低到高第 \(i\) 位。观察答案的返回值，发现返回值有四种：\(0\)，\(x\)，\(y\)，\(x \oplus y\)，而且保证这四个数是互异的。...

原创 P8867 NOIP2022 建造军营

P8867 NOIP2022 建造军营 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)。给定一个无向联通图 \(G = (V', E')\)，求有多少个二元组 \((V, E)\)，满足：\(V \subseteq V'\)，\(E \subseteq E'\)，\(V \ne \varnothing\)。在 \(G\) 上，断开 \(E’ - E\) 中任意一条边后，...

原创 P8866 [NOIP2022] 喵了个喵

P8866 NOIP2022 喵了个喵 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)。本题解中我们将图案为 \(x\) 的卡牌看做数字 \(x\)，将本题对于卡牌的操作看做对数字的操作。观察到数据范围，\(k \in \{2n - 2, 2n - 1\}\)，那么做法肯定跟 \(k\) 强相关。很难不联想 2018 年的旅行。但是那个 \(m = n - 1\) 给了 6...