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
