翠竹叶飞
Hello the cruel world.

1.要选一个{1,2,...n}的子集使得假如a和b在所选集合里且(a+b)/2∈{1,2,...n}那么(a+b)/2也在所选集合里

f[i]=2*f[i-1]-f[i-2]+g[i]

g[n]:选1,n的方案数

观察性质,模拟+元素的过程推知集合中元素是等差数列,且公差=1(mod 2)

故g[n] = n-1的奇约数

f长这样:

1 : 2
2 : 4
3 : 7
4 : 12
5 : 18
6 : 26
7 : 36
8 : 48
9 : 61
10 : 77
11 : 95
12 : 115
13 : 137
14 : 161
15 : 187
16 : 217
17 : 248
18 : 281
19 : 317

 

2.(7).Ever Forever

将一个数的置换看做一条有向边,最后得到的图是很多环(入度=出度=0)。

求每个环初始与最终是否循环同构,并求相差距离,构出一个x=a[i](mod b[i])的方程组

判定方程组x=a[i] (mod b[i])是否有整数根

(1)暴力解,可能会爆long long

(2)将b[i]分解质因数,对于每个p,求出a[i] % (p^k),若有矛盾则不成立

 a%b=c可规约到a%p1=c%p1; a%p2=c%p2; 若p次数>1,则同理

 

3.字符消除——尽可能长的t使得S的长度为t的前后缀循环同构。

M1:枚举总长度——如果在1~i和n-i+1~n这一段字母acsii和相同则在做下一步判断

考虑循环同构性质

在S中枚举A,即S长为|A|的前后缀相同,考虑在删去前后各|A|个字符的S中如何快速求出最长的B。
定义f[i]为|A|=i时B的最大长度。 ==> f[i]-2≤f[i+1]

 

4.

方法1

借助直径搞一搞,求两点连到直径上的点(a,b),预处理每个直径上点到分支的最长距离,RMQ处理(序号+dis)的最大值,


至于中间那一部分,观察到点到询问点间距离均单调,得到一个Border就可以RMQ询问啦

lalala一遍过rank1

 

方法2 :暴力求中间点,维护最长链次长链+倍增

找到mid,分两半考虑。

 大概是这样。 次长链是为了防止最长链的终点为询问中的x点的子孙(即经过mid后回到x)

 

max(f1(x),f2(x)) 值在f1(x)或f2(x)中任意一个取到Max时得到

 

 

5.bitset优化高斯消元

每一个位置取还是不取设一个变量,然后分每一个质因子考虑就可以列出一些异或方程,解有几个自由元就好了。——jiry_2

对于每个质因数,将所有该因数的次数为奇数的变量异或起来=0

对于每行每列,所有数异或起来=1

答案=2的k次幂

(取奇数个,取偶数个这种东西,是异或方程组的经典题目)

 

6. (这题是大结论性质难题,等以后变强了继续啃这些推导过程)

本原串:一个字符串s除|s|以外的周期,都不是|s|的约数,则称s是本原串。(不会存在形如aaaa的串,a=string)

若p, q ∈ Per(s)且 p + q <= |s|,则gcd(p, q) ∈ Per(s)

如果一个串不是本原串,修改其中任意一个字符,它就会变成本原串。(eg. ababab --> ababaa)

定义PS(s)为s的所有前后缀的长度组成的集合。即PS(s) = {x | s[1, x]是s的前后缀}

规定0 不属于 PS(s), 而|s| ∈ PS(s)

=>PS(s) = {next[|s|], next[next[|s|]], next[next[next[|s|]]], ...}

将PS(s)里的元素从小到大排序,得到p[1], p[2], p[3], ..., p[|PS(s)|]。(eg. p={1,3,4,7})

//p就是把PS中的元素列出来

再设 strP[i] 为 PS(r) = {p[1], p[2], ... p[i]}的字典序最小的01串。当然了……|strP[i]| = p[i]

(strP[|PS(s)|] = 最终答案, p[|PS(s)|] = len(s))

从strP[1]..strP[|PS(s)|]顺序递推

1.p[i+1]<=p[i]*2,则strP[i]一定是strP[i + 1]的前后缀。 只需将strP[i]后加上长为p[i+1]-p[i]的后缀,得到strP[i+1]

2.中间全接0或末尾扔一个1

结论:若有一个字符串P,设U = P . "0" * j . P,则不存在q,|P| < q < |U|,使得q ∈ PS(U)的充要条件是P . "0" * j是本原串。 

KMP:每次在后面添加一个字符,在后面删除一个字符,维护next数组,均摊O(1)

字符串s不是本原串当且仅当它的最小周期不为|s|且最小周期是|s|的约数。

{

1.KMP得到PS集合,得到p[]

2.初始strP[0] :

if p[1] = 1 then strP[1] = "0"

else strP[1] = ("0" * (p[1] - 1)) . "1";

3.递推得到每一个p[]对应的strP[], strP[|PS(s)|]即为答案

}

 

7.三角形面积S=

->     ->

 x   *  y  / 2 = |x1y2-x2y1| / 2

可通过行列式、割补法等求(计算几何)

通过极角坐标排序可去掉绝对值,求叉积之和可通过前缀和解决。

 

8. [No.9]第三题(disanti)  容斥原理

思想很简单:容斥,判一判某种方案是否符合“匹配”的定义,(就算某种情况值=0,容斥也是正确的)就好了。 //大家的做法好像都用dfs,然后几乎没有什么预处理? 我写的好复杂。。

我的思路是枚举每个集合,判可行性,再求类似边权和的东西。事先维护 1.一个集合所有点都不选的最大匹配权值和  2.A中每个点分别到B中所有点的边权和

(如果没有集合间的关系,可以O(k^2)求上1,即简单的容斥 ==> 应用广泛)

O(2^k*k) //如果不加一些优化可能退化成O(2^k*n)或O(2^k*k^2)

但是,犯了很多小错,比如数组大小。。  (类似状压的题,数组大小要小心啊)

总之,这大概是容斥的大致模板了吧。

 

9. [No.9]第一题(diyiti) 压位

每次询问把整块的部分扔到一起,多出部分特判即可,细节超多

{

这种题全是位运算, '&' --> "&&"就狗带了

2串长度不同

修改时在原string中也要修改

}

反正考场上一般来说都不太敢打这种东西

压位的正确姿势好像是32位一起,unsigned int

posted on 2017-05-02 09:35  翠竹叶飞  阅读(487)  评论(0编辑  收藏  举报