Tsawke 的十月模拟赛 题解

T1 这是一道比原来的T1更像T1的妙妙性质题

原题是 LG-P5497 [LnOI2019SP]龟速单项式变换(SMT),原题范围 1018,我感觉没意思就加强到了 10106,不用谢。

首先有个结论:nm 则成立,反之不成立,所以原题直接读入 n,m 然后 n >= m ? "Yes" : "No" 即可,对于本题也就是用字符串读入,先判断一下长度再按位判断就行。

然后考虑证明这个结论,我们假装对这个序列做一个前缀和,令 si 表示 j=1iaj,显然若 i,j 满足 msisj,那么则合法。

我们考虑对于每一个 sisimodm 共有 m1 种取值,若 si 的数量,或者说 n,满足 nm,那么一定会至少有一对 sisj(modm),这个东西俗称鸽巢原理,应该很显然吧?然后有了这个式子,那么 sisj0modm 也就很显然了,所以 nm 显然有解,至于构造的话任选 n 个数就是了。

对于 n<m 也很显然,一定可以构造出一个前缀和的序列满足每个 simodm 都不同,这样也就无法找到满足条件的一对 i,j 了。

 

T2 最喜欢推柿子了

原创题,没原题,需要的话或许我可以在 Luogu 做一道??

emm 就是按照给的那几个公式去推一下式子就行。

k=0ncos(kx)=(k=0neikx)=(1eix(n+1)1eix)=(1cos((n+1)x)isin((n+1)x)1cos(x)isin(x))=(1cos((n+1)x))(1cos(x))+sin((n+1)x)sin(x)(1cos(x))2+sin2(x)=1cos((n+1)x)cos(x)+cos((n+1)x)cos(x)+sin((n+1)x)sin(x)12cos(x)+cos2(x)+sin2(x)=1cos((n+1)x)cos(x)cos(nx)22cos(x)=12(1+cos(nx)cos((n+1)x)1cos(x))=12+sin((n+12)x)sin(x2)1cos(x)

然后即可 O(1) 求解。

T3 划水?想屁吃!

原题 LG-P4220 [WC2018]通道是的这是一道黑色的 WC

虚树 + 点分治什么是虚树??我不会!

显然作为机房最弱的 tsawke 不可能会虚树分治,也不可能出虚树的题,所以这道题是爬山。

显然出题人想让我们用爬山算法解决显然 Hack 数据也可以用奇怪的爬山通过

(原时限 4000ms,因为是在虚拟机中测评,会慢不少,于是开了 6000ms)

考虑发现似乎这玩意是个多峰函数,于是我们可以尝试多点爬山,没必要用退火(我感觉退火应该也能过)。

考虑在时限范围内,每次随机选择一个为选择过的节点,作为起始点 S,对于这个的找最优终点应该很显然吧,树形结构,随便搜一下,以 S 为根记录一下深度,然后跑一遍找三个图中的距离加和最大的,此时的结果便是当前最优解,以其更新 ans。然后这里人类智慧就来了,考虑我们找直径的时候不是两次 dfs 求解吗,我们也可以这么去考虑,把这次的终点 T 作为新的 S 然后再跑下一个终点,这个东西可以随便重复个几次,作为一次爬山,注意每次记录已经当过起点的点,下次不选这些。

然后再重新随机一个点再爬一次山,这就是多点爬山了。。。可以考虑加个卡时稳一点。然后这个东西只要你写的不是特别丑,Luogu 随便过,但是在 loj 上存在三个 Hack 数据,这样的爬山会被卡掉,当然毒瘤的 tsawke 也把这三个数据搬过来了,于是我们考虑一些新的人类智慧,在更新答案的时候像以前一样更新,然后在我们从当前的 ST 作为新的 S 的时候,我们只考虑任意两棵树型结构,或者任意一棵树形结构的贡献去更新新的 S。这个东西是什么原因呢,通过观察数据揣摩出 Hack 数据的人的思想,我们可以想到想要让我们这个多点爬山变假的办法,基本就只能是让不同树形结构之间差距特别大,但是正解又在一个不太符合权值最大的树的单调性的位置上,这样我们就很难通过爬山去找到那个奇怪的正解的位置,于是我们考虑用一个类似枚举子集的方法去消除掉某一两棵树的贡献,只用三棵树里的一部分去作为那个多峰函数找最优解。

然后考虑在实现中,先跑几次一般的爬山,以保证对于一般数据都能通过,可以设为 10 次。然后再去跑这几个人类智慧的爬山,中间如果时间快要超限了就直接 exit,这样就可以也通过 loj 上的所有数据。

和出题人斗智斗勇了属于是

T4 什么阴间三元环

一道新的原创题,没原题,一般的三元环计数你们都会吧??

就是把无向图的边定向,从度数大的指向度数小的,度数相同的按照编号偏序,然后从每个点枚举出点再枚举出点的出点,如果出点的出点也是起始点的出点的话那么就构成一个三元环,这样不重不漏且复杂度为 O(mm)。对于有向图三元环计数,当成无向图按照原来方法做然后判断一下原图是否存在这几条边就行,这样可以过一点部分分。

然后还有 m=0 的时候,这时候画一下就会发现无法构成任何三元环,于是 puts("0") 即可。

然后在每有一个 m 操作的时候显然一定编号小的点出点 1,编号大的那个出点 +1,这玩意感觉是可以 O(1) 左右维护的吧可能,于是这是最后一个部分分。

然后考虑正解,显然对于三元环三个点,我们认为它们是一个有序三元组 (u,v,w),要求有 uuw,那么竞赛图中一共有 (n3) 个这样的三元组,这很显然。然后考虑令点 i 的出点的集合为 Vi,于是显然对于 u,如果有 v,wVu,那么这一定无法构成三元环。同时显然这样的三元组会且仅会在 u 被枚举到一次,于是最终的式子便为:(n3)i=1n(|Vi|2)

然后这样的话显然初始时为 0,每次 m 的操作,我们把小的数作为 s,大的数作为 t,然后把原来减掉的组合数加回来,修改出点的数量,再把新的组合数减回去,处理好取模即可。

复杂度 O(n+m)

 

T6 不会有人语法题都切不掉吧?不会吧不会吧?

emm 没什么可说的,也算是搬的题吧,从某个网页上复制下来的。

原链接 C++「阅读程序」小测验。链接里更多的题和题解都有,感兴趣可以看看。

T5 嗯?又是data_struct?

原题 LG-P4688 [Ynoi2016] 掉进兔子洞

奇怪的数据结构题,正解是莫队套 bitset

首先很显然,如果我们设三个区间中的交集大小为 ξ,那么最终的答案即为 (r1l1+1)+(r2l2+1)+(r3l3+1)3×ξ

所以那么我们所未知的需要求的也就只有 ξ,考虑如何维护,因为我们要维护的是公共的数的个数,而不是种类数,而我们显然是需要对这个序列进行离散化的,所以我们可以考虑在离散化的时候做一点文章,一般的离散化,对于相同的数我们会用同一个数代替,但是这里我们可以考虑存一下每一个数已经出现了几次,令其为 cnti,于是我们可以考虑不去使用 unique 以为每个数留下足够的空间,然后让相同的数,假设其离散化后的值为 v,就变成 cntv+v,也就是让相同的数变成不同的,这样之后我们再用 bitset 套个莫队,每个 bitset 维护当前莫队区间内让每个数变得不同之后的第 i 个是否存在,然后三个区间维护好后做一下与运算就行,输出答案的时候我们要求的 ξ 也就是对应 bitsetcount()

同时需要注意这么多 bitset 空间显然开不下,但是时间还在可以接受的范围内,所以考虑时间换空间,因为询问之间独立,所以把询问拆成三份,分别求解后输出答案即可。

最终复杂度感觉大概是 O(nn+nmω)应该没算错吧,虽然对于后一项,感觉不太能过,但是确实也是 O(能过),可能因为完全卡不满吧。。。(或者是我算错了