Atcoder
文章平均质量分 91
Farmer_D
这个作者很懒,什么都没留下…
展开
-
【Atcoder】 [ABC231G] Balls in Boxes
然后考虑生成函数,因为是有顺序的,所以用。暴力卷,所以可以写成。项,不妨直接枚举其次数。原创 2023-11-22 14:35:07 · 138 阅读 · 0 评论 -
【Atcoder】 [ABC284G] Only Once
下面有一个妙妙的思路是:对于每一行来说价值和是等价的,所以不妨只计算。连边,那么这样会形成一棵内向基环树,那么。号点在所有情况下的价值和,然后将答案。号点到环的距离与环的大小之和,记其为。号点走到的第一个重复的点,即为。直接计算即可,时间复杂度。首先一个显然的转化是从。原创 2023-09-23 10:06:55 · 63 阅读 · 0 评论 -
【Atcoder】 [ARC141D] Non-divisible Set
的时候是有解的,否则无解(还有一些无解条件是不能得到所有的奇数。考虑满足条件的形式是什么,即对于。的形式的所有数中,只能选出。的奇怪限制,可以得到对于。个,且必须选出一个,因为。举例,只要从大到小枚举。(确实有数的出现的范围)原创 2023-09-15 15:55:53 · 93 阅读 · 0 评论 -
【Atcoder】 [ARC150D] Removing Gacha
的期望次数,和它祖先选的次数没有关系,所以我们可以考虑忽略 “它或它的任意一个祖先未被选中” 的条件。个点,每次随机抽一个点,知道所有点都被抽过(否则之后。个点,下一个抽到之前未抽过的点的概率是。个点被抽中的期望次数即为。有关的点只有它的祖先。所以将问题转化成了有。原创 2023-09-09 22:33:53 · 198 阅读 · 0 评论 -
【Atcoder】 [AGC030D] Inversion Sum
特判,不过这都是细节,主要还是把求和转化为求概率这一关键步骤。考虑一个神奇的转化,把方案求和变成求。转移可以考虑交换不交换的概率都是。原创 2023-09-03 15:50:08 · 181 阅读 · 0 评论 -
【Atcoder】 [ARC144D] AND OR Equation
个盒子,每个盒子不为空,且要分完的方案数(经典问题),最后再乘上。这是一步很巧妙的转化,神奇地利用了。展开,然后化简,这里就不细写了。表示绝对值之和,然后就是。直接求解即可,时间复杂度。原创 2023-09-03 13:39:18 · 185 阅读 · 0 评论 -
【Atcoder】 [AGC040E] Prefix Suffix Addition
是由结尾的不升子序列(从结尾往前不降相当于从前往后的不升)覆盖到的。,可能常数什么的需要分类讨论一下,但整体的框架是这样的。的正负性分类讨论,因为这会影响新的。考虑一个结论是:最少的操作次数为。,这时一定只有第三段,所以答案为。是由开头的不降子序列覆盖到的,种连续不同值,原因是考虑。一定越大,且判断只有。考虑三段的划分,这里令。原创 2023-09-01 20:31:54 · 194 阅读 · 0 评论 -
【Atcoder】 [AGC040C] Neither AB nor BA
把原图黑白染色,每次一定只会删除黑点和白点。显然,一个序列不合法, 当且仅当。,那么限制就等价于不能删。原创 2023-09-01 16:14:05 · 119 阅读 · 0 评论 -
【Atcoder】 [ABC262Ex] Max Limited Sequence
转移的操作为区间乘与区间查询和,这都是线段树的基本操作,考虑用线段树维护即可。考虑一段区间被多次覆盖的情况,这段区间的限制即为所有限制的最小值。首先把区间限制离散化,把限制变成一段区间之内最大值为。同理,一开始求一段区间的最小限制时也用线段树维护。的解法,算是这题的弱化版(只是需要多一个。限制互不影响,所以可以对同一个。之间必须有一个染色,求方案数。现在问题变成了对于固定的。显然可以对区间分别考虑。统一做,答案累乘即可。原创 2023-08-29 22:34:17 · 165 阅读 · 0 评论 -
【Luogu】 [AGC006F] Blackout
证明:首先所有点都会有一条连向自己的边,证明的话考虑无法三染色,必有。的边(即使是反向边只要设权为 -1 即可,这里只考虑正向边)若当前图是满足结论的,考虑新增加一个与当前图连通的点。类似成无向边,然后对于无向图的连通块,三染色。必定连向所有颜色为 2 的点,所以颜色。的路径,那么一定会染 3 种颜色。上面的结论就易证所有点都会互相连边。若无法三染色,则最终状态是完全图。若可以三染色,且颜色个数。证明:若会新增边,则必有。若可以三染色,且颜色个数。,那么必有当前图内的一点。这样将问题转化成了对于。原创 2023-08-28 14:43:44 · 87 阅读 · 0 评论 -
【Luogu】 [ABC313Ex] Group Photo
升序排列,结果仍然成立。,如果合法,必然满足。原创 2023-08-26 15:19:09 · 125 阅读 · 0 评论 -
【Atcoder】 [ABC133F] Colorful Tree
假设每对点下面都有一条黑线,那么怪异度即为跨过黑线的总数。个未匹配会跨越当前的黑线,也可以理解为价值提前计算。都与之前未匹配的匹配,则会减少一对未匹配点,和左部点匹配,则不会新增未匹配对数,都不匹配,则会新增一对未匹配点,匹配,则不会新增未匹配对数,考虑把题目转化为二分图匹配。对未匹配,当前怪异度为。原创 2023-08-26 10:27:19 · 134 阅读 · 0 评论 -
【Atcoder】 [ARC140E] Not Equal Rectangle
考虑把初始矩阵进行一定的位移得到其他的矩阵,令块。,因为同一行是无关的,反正每个块中。意义下的答案,最后 +1 即可。的范围,所以考虑把矩阵分成。可以取到 23,暂时考虑。,显然矩阵内一定合法。原创 2023-08-25 12:42:19 · 95 阅读 · 0 评论 -
【Atcoder】 [ABC221G] Jumping sequence
因为上下左右是对横纵坐标分别修改的,不好操作,考虑如何只考虑一维限制。然后对横纵坐标分开做背包,然后记录方案即可。考虑一个重要套路:将坐标轴旋转。优化,所以时间复杂度。,这样终点坐标会变为。原创 2023-08-24 13:53:31 · 323 阅读 · 0 评论 -
【Atcoder】 [ABC270Ex] add 1
有一个很巧妙的状态表示,首先考虑逆转操作,把计数器归零变为变成目标数字。之间的转移式都是相同的,所以考虑对于每一段矩阵乘法优化。如果要表示每一维的状态的话,显然装不下。个计数器中当前数字离目标数字的最大值。,和递推方向是相反的,考虑如何变为一致。考虑用简洁的方式表示状态,且可转移。的计数器,如果选择,会使。原创 2023-08-23 21:09:43 · 90 阅读 · 0 评论 -
【Atcoder】 [ABC232G] Modulo Shortest Path
组成的环上的距离,仔细考虑一下会发现这是对的。时间会爆炸,可以考虑优化边数,使其变成。即可,可以发现,这样的时间复杂度是。考虑有极大多数点是无用的,考虑只建。个点,然后类似连边跑。原创 2023-08-23 12:26:30 · 152 阅读 · 0 评论 -
【Atcoder】 [ABC240Ex] Sequence of Substrings
的子串(如果后一个选出的串比前一个子串长度大超过1,那么后一个选出的子串一定可以将自己长度变为前一个子串的长度。的子串排序,注意对于字典序相同的子串,需要按照起点从大到小排序。然后从小到大在树状数组上修改及查询即可,这都是常规操作。先考虑一个性质,选出的子串长度不会超过。考虑最劣的选法是选出长度为。原创 2023-08-20 22:50:18 · 137 阅读 · 0 评论 -
【Atcoder】 [AGC058D] Yet Another ABC String
因为起点一定,所以不合法串不能往左边延伸(有两种可能,左边可能真的不能延伸或者左边是另一个不合法串)考虑容斥长度至少为 3 的不合法串至少出现了。个不合法串的起点,终点不固定(因为是容斥)考虑第 1 个串的起点可能有 2 种情况。考虑起点与终点都不固定,所以考虑钦定。排列以下,方案数即为。原创 2023-08-20 10:12:52 · 82 阅读 · 0 评论 -
【Atcoder】 [ARC151D] Binary Representations and Queries
考虑交换绿色与红色边的贡献顺序,实际上每个点被贡献到的值是不变的。考虑每次贡献只会在 2 个中进行,即有。的情况,其他情况也可以推出。组,只需要考虑每组中的贡献。操作的先后顺序可以交换。可以画一张图,只考虑。相同的不满足交换律)原创 2023-07-22 17:50:56 · 72 阅读 · 0 评论 -
【Atcoder】 [ARC145D] Non Arithmetic Progression Set
的前提下,一个合法的序列每个数都加上一个相同的数,仍是一个合法的序列。空出最低位,其他位构造出一个合法的序列(不考虑。,这需要我们一开始构造的序列空出第一位。满足三进制表示的每一位只有。所以可以把所有数的和逼近到与。考虑先构造一个序列,然后调整。然后每个数加上一个相同的数。注意到一个性质:不考虑。原创 2023-07-21 14:11:08 · 44 阅读 · 0 评论 -
【Atcoder】 [ARC152C] Pivot
是当前序列中的最小值,那么当前操作把最小值变小了。(可能在奇数次操作,也可能在偶数次操作)类似翻转操作,于是把数列放在数轴上做。所以当前序列可以往前平移的值为。,就可以达到序列往前平移。根据裴蜀定理,这个值一定为。操作的相反操作,那么绕。翻转的效益一定可以为。翻转,且没有数为负数。原创 2023-07-21 13:02:52 · 54 阅读 · 0 评论 -
【Atcoder】 [ARC149D] Simultaneous Sugoroku
同时因为坐标的范围较小,所以可以考虑维护一部分位置的信息,来推出其他与它对称的点的信息。考虑把位置的移动变成原点的移动,这样每个位置与原点的相对位置是不会发生改变的。的情况,即可以移到原点,只要将与它对称的点都标记可以移到原点即可。的性质:两个相反数每次移动到的位置也是相反数。表示当前原点所在位置。原创 2023-07-17 15:39:11 · 100 阅读 · 0 评论 -
【Atcoder】 [ARC156D] Xor Sum 5
最后统计答案的时候需要后面总的方案数与当前方案数的乘积为奇数,且。考虑异或的性质,一个数被异或偶数次相当于。,一个数被异或奇数次相当于只异或一次。位时,前面的进位+当前加上的。如果次数需要为偶数,那么根据。那么这种情况出现的次数为。这把问题转化为了对于每个。的二进制位,都可以填上。,求每种方案的数和的异或和。为奇数,答案才能异或上。原创 2023-07-17 13:20:52 · 81 阅读 · 0 评论 -
【Atcoder】 [ARC156C] Tree and LCS
考虑构造:每次找到2个叶子,交换权值,然后删掉(最后如果剩下一个点权值不变)首先可以知道最大相似度一定是在极长的路径中(即无法再扩充的路径)手玩几个小数据之后可以猜测最小的最大相似度一定为1。的路径上,因为父亲一定比儿子晚删。首先可以证明最大的相似度一定。的路径上,不用考虑,没有影响。所以该构造最小的最大相似度为1。上的对应点也是从下到上的。原创 2023-07-17 10:00:13 · 131 阅读 · 0 评论 -
【Atcoder】 [ARC158D] Equation
考虑没有解的情况出现概率较小(因为等式左边比等式右边高一次。的值,直到找到一组合法的解。考虑等式两边都为多次齐次项。原创 2023-07-14 22:05:42 · 198 阅读 · 0 评论 -
【Atcoder】 [ARC159F] Good Division
个,因为考虑最可观的情况是后一半全是一个数,然后前一半的后一半全是一个数,以此类推,这样的众数是最多的,有。的数列,每一个前缀的绝对众数的不可重集大小一定只有。段,必有一段的绝对众数是总区间的绝对众数。所以只要对每一个前缀后缀中的众数做一遍。就可以了,需要用后缀和优化及用偏移量。根据摩尔投票的可结合性,把区间分成。绝对众数的第一反映应该是摩尔投票。先观察满足条件的一段长什么样。所以这可以写出一个朴素的。原创 2023-07-14 15:26:55 · 125 阅读 · 0 评论 -
【Atcoder】 [ARC159C] Permutation Addition
所以若干次之后一定可以将每个数都变为相同。首先考虑是否有可行的方案。个数相对整个数列分别。最终每个数相同,那么。原创 2023-07-14 10:03:40 · 107 阅读 · 0 评论 -
【Atcoder】 [ARC160D] Mahjong
且 单点加的集合、区间加的集合 与 方案 形成双射。的情况,即为一个有上限的隔板组合。对于有限制的组合,一定要想到容斥。即给定一张全0的数列,有 单点。的操作,且操作完数列和为。个位置是没有上限的,有。首先可以考虑将操作逆序。组合数暴力算一算即可。原创 2023-07-13 22:17:51 · 144 阅读 · 0 评论 -
【Atcoder】 [ARC161E] Not Dyed by Majority (Cubic Graph)
这道题启发我们:如果答案方案在总方案中占比较大,可以采用随机+判断的方式。这也可以打表(或者根据c题的经验)得出不可行的方案的概率。这就启发我们随机答案,判断答案是否可行。首先如果知道一个方案,可以用。不难发现会有很大概率出现。出现在同一个强连通分量中。判断这个方法是否可行。原创 2023-07-13 14:36:27 · 125 阅读 · 0 评论