数学
半平面交求直线交点函数记忆技巧:$A_1=y_2-y_1,B_1=x_1-x_2,C_1=-B_1y_1-A_1x_1$,然后将$(A_1,A_2)$,$(B_1,B_2)$,$(C_1,C_2)$看成向量,则答案为$(\frac{c*b}{b*a},\frac{c*a}{a*b})$。
直接先化成点斜式然后解方程就好了,与y轴平行的特判一下。
顺时针旋转矩阵:[[cos -sin][sin cos]]
线性求素数逆元(减除乘模逆):$inv[i]=(MOD-MOD/i)*inv[MOD\%i]\%MOD$
BSGS:
注意$m=\lceil \sqrt{p} \rceil$
中国剩余定理与Lucas定理:
CRT:$x=(\sum c_i*(\frac{M}{m_i})*inv(\frac{M}{m_i},m_i))\%M$
exCRT:$$x\equiv(inv(m1',m2')*(c2-c1)')\%m2' × m1 + c1 (mod [m1,m2])$$ (x'表示$\frac{x}{(m1,m2)}$,下标记忆:1 2 2 1 2 1 1)
exGCD,扩展Lucas上网查。Mobius反演与杜教筛见博客。
FFT:注意次数界初值,只能多不能少。注意常数。注意范围是0~n-1
rev[i]=(rev[i>>1]>>1)|((i&1)<<(L-1))
NTT:不要爆int。
wn=ksm(G,(f==1) ? (md-1)/(i<<1) : (md-1)-(md-1)/(i<<1))
多项式求逆:$B(x)\equiv B'(x)(2-A(x)B'(x))(mod\ x^n)$
多项式开根:$B(x)\equiv \frac{A(x)+B'^2(x)}{2B'(x)}(mod\ x^n)$
FWT:
计算几何直接看模板
拉格朗日插值:$A(x)=\sum\limits_{k=0}^{n-1}y_k \frac{\prod_{j \neq k}(x-x_j)}{\prod_{j \neq k}(x_k-x_j)}$
Miller-Rabin:随机几个[1,p-1]的数x,若存在正整数k使$x^\frac{p-1}{2^k}\equiv 1(mod\ p)$,或$x^{p-1}\equiv 1(mod\ p)$不成立,则返回非质数。
算法
2-SAT:连有向边(不要连成双向的了),记得给逆否命题连边。(就是说一个条件总共连两条边)
Tarjan的时候用(inq[to[i])判断,弹栈用do-while循环
do{ t=q[top--]; bel[t]=scc; inq[t]=0; } while (t!=x);
一个点代表一个命题,若命题和否命题在同一个强联通分量中则无解
Tarjan及割边/桥等看模板,注意缩环成树和猜结论。
分块:分在不在同一块中考虑,后者分整块和两端考虑。
块状树和树分块:前者分在不在同一块中考虑,后者分到lim为止,同一块的才连边。
分数规划:巧妙的移项思想,注意考虑凸包,比如(没有用到分数规划)HNOI2014 画框,卡时考虑Dinkelbach。
匈牙利和KM:前者循环内清空vis数组就好,后者外循环给s赋inf,内循环给visx和visy清空。
Manacher和KMP:前者偶下标存原串,答案max(p[i])-1,后者记得找到匹配之后仍然要j=nxt[j]
点分治与单纯形:sum=sz[k],f[rt=0]=inf,后者看模板
CDQ与整体二分:考场上要想到。一维排序,二位树状数组,三维CDQ分治(一般也要配合树状数组)
网络流:记得cnt初值为1,记得当前弧优化
数据结构
主席树和可持久化Trie:注意&不要给错变量了。记得动态开点。
树链剖分: if ((k=e[i].to)!=f[x] && k!=son[x]) 注意向上爬的过程中深度比较是dep[top[x]]而不是dep[x]
Splay与Treap:前者好像没有什么特别注意的地方,注意建树就行了。后者特别注意sz什么时候该不该更新。
ins函数条件判断语句中没有sz更新而是在判断语句前有,而del函数则是在判断语句中出现。
树套树:尽量一次写对,调试很复杂。
虚树和左偏树:后者看模板
KD树:看模板