Record -「Tricks」记录

• 曼哈顿距离 \(\text{dist}(A,B)=|x_{A}-x_{B}|+|y_{A}-y_{B}|\) 可以拆成 \(\max\{x_{A}-x_{B}+y_{A}-y_{B},x_{A}-x_{B}-y_{A}+y_{B},-x_{A}+x_{B}+y_{A}-y_{B},-x_{A}+x_{B}-y_{A}+y_{B} \}\)。agc 034d

• 走步数什么的构造题步数限制大约在 \(\log\) 级别可考虑二进制拆分（倍增构造）。arc 103b

• \(x\bmod m\) 除了拆成 \(x-\lfloor\frac{x}{m}\rfloor\times m\) 还可以拆成 \(x-km,(k\in \mathbb{Z})\)。arc 111b

• 像什么 第 \(i\) 个人对应第 \(p_{i}\) 个物品，\(p\) 是 \(1,\cdots,n\) 的一个排列这种，直接连边。arc 111c / some abc d

• 对应上一条，这种情况连边一定是一个这样 \(i\rightarrow p_{i}\rightarrow p_{p_{i}}\rightarrow\cdots\rightarrow i\) 的环。arc 111c

• 一个平面上有一堆点 \((x_{1},m),(x_{2},m),\cdots,(x_{n},m)\)（\(x_{i}\) 单调递增），找一点 \((n,m)\) 使得 \(\sum\text{dist}((x_{i},m),(n,m))\) 最小，则 \(n\) 的取值范围是
  
  \([a_{\lfloor\frac{n+1}{2}\rfloor},a_{\lfloor\frac{n+2}{2}\rfloor}]\)。cf 1486b

• 字符串本质不同子串数：\(\sum_{i=1}^{n}n-sa_{i}-ht_{i}+1=\sum_{i=1}^ni-ht_i\) / \(\sum_{i=0}^{n-1}n-sa_i-ht_i=i+1-ht_i\)。bzoj 4310

• 把字符串反转后插入 SAM 后，两个原串的后缀在 parent tree 上的 LCA 是这两个后缀的 LCP。bzoj 3879

• 对于树上/图上/序列上数某些个点中满足一些条件的点的个数（像 LCA、重心 之类的），考虑一个点能作为满足条件的点几次。plural

• 我们记一个结点 \(u\) 的重儿子为 \(hb_{u}\)，对于 \(\text{subtree}(u)\)，如果 \(u\) 不是 \(\text{subtree}(u)\) 的 centroid，那么 \(\text{subtree}(u)\) 的 centroid 一定在 \(\text{subtree}(hb(u))\) 里。csp 2019 centroid

• 根据上一条，我们可以直接倍增找重心（注意只能从根开始找）。csp 2019 centroid

• 值域比较小的关于值域的一些不等或等量关系的题可以考虑把值域放到指数构造生成函数。hk 2016 a+b problem

• \(i\times j=\binom{i+j}{2}-\binom{i}{2}-\binom{j}{2}\)。loc 28870

• 答案和阶乘相关的，并且模数长得很怪，比如 \(998857459=461\times773\times2803\) 这种，当 \(i\ge2803\) 时，\(i!\bmod998857459=0\)。loc 28853

• BST 相关，序列有序，\([l,r]\) 对应 BST 上一棵子树，且其父结点一定是 \(l-1\) 或 \(r+1\)，具体是哪个要看大小讨论。cf 1025d

• 序列分段可以先考虑平方 DP 再优化。csp 2019 partition / ctsc 2012

• 有多个关键字的 DS 题可以考虑离线按一个关键字排序。lg p3247

• 找递推关系可以考虑差分。lg p6156

• \(low_{y}\leqslant dfn_{x}\) 意味着 \(x,y\) 在一个环。plural

• \(a\&b+a\oplus b=a|b\)； \(a\&b+a|b=a+b\)；\(a+b=a\oplus b+2(a\&b)\)。cf 1451e1

• \(fib(n+m)=fib(n+1)fib(m)+fib(n)fib(m-1)\)。cf 446c

• 棋盘向 下 / 右 走，很有些性质和 \(n+m\) 有关，且移动一次 \(i+j\) 加一，不会存在移动一次 \(i+j\) 还是 \(i+j\)。同时在一条从右上往左下的对角线上的点 \(i+j\) 相同。arc 120b

• 操作类似于令 \(a(i)\leftarrow a(i)-1,a(i+1)\leftarrow a(i+1)+1\) 然后交换 \(a(i),a(i+1)\) 的，本质是保证下标，令 \(A(i)=a(i)+i\) 可以使问题简化。arc 120c

• 在 \(n\) 个元素中连边如果行不通不妨考虑每个元素内部连边。sgu 101 / abc 209e

• 有多个元素分别对答案贡献时，如果单个元素的贡献很好算，不妨考虑每个元素的贡献次数。many e.g.　abc 209f

• 出现 \(a\mod p=b\mod p\) 时，等价于 \(a-b\equiv0\pmod p\)，对应到 \(a_i\equiv a_{i+1}\equiv\dots\equiv a_j\pmod p\)，就考虑差分。cf 1548b (cf 1549d)

• 出现形似 \(a\times b\) 为完全平方数的限制时，考虑消除平方因子，弱化成 \(a=b\)。cf 840c

• \(\gcd(a,b)=\gcd(a+kb,b)\)。unknown

• \(\sum_i\sum_j[(i,j)=x]=\varphi(\lfloor\frac{N}{x}\rfloor)\times2-1\)。

• 当 \((a,b)=1\)，\((a^i-b^i,a^j-b^j)=a^{(i,j)}-b^{(i,j)}\)。

• 如果一个函数 \(f(x)\) 的 \(k\) 阶差分是一个非零常数那么 \(f(x)\) 一定是一个 \(k\) 次多项式。

• 若题目为序列的变化，考虑构造终止情况。

• dp 刷表看看转移范围是否连续，可以看是否能整体 dp 维护。

• 同一个图的 MST 每种权值的边的数量是一定的。cf 891c

• 区间操作考虑差分（指题目中对各种序列的操作，不是那种数据结构题）。cf 1120d

• 数列全为零等价于差分序列全为零。cf 1634f

• 判定一个点是否在多边形内可由这个点以任意斜率拉出一条射线，看交点奇偶性。cf 375c

• 数的出现次数的 mex 可以暴力求。cf 940f

• 排列题可以放在逆排列里考虑，重新描述问题。wc 2022 rrads

• 上上一条，不同出现次数的级别是根号，很多时候都可以考虑暴力。cf 1476g

• 出现概率的和式考虑事件是否独立构造组合意义。cf 1523e

• 和式 = 某个数，考虑看成某个数个 1 然后分配（精度思维）。hdu 7060