HocRiser

摘要： (1) 对每个位置建一个点F1，S向这个点连art[i][j]的边，这个点向T连science[i][j]的边。 (2) 对每个位置再建一个点F2，S向这个点连same_art[i][j]的边，这个点向F1的相邻的五个点连inf的边。 (3) 对每个位置再建一个点F3，这个点向T连same_scie 阅读全文

摘要： 题意：树上单点修改，询问链上k大值。 思路： 1.DFS序+树状数组套主席树 首先按照套路，关于k大值的问题，肯定要上主席树，每个点维护一棵权值线段树记录它到根的信息。 关于询问，就是Que(u)+Que(v)-Que(LCA(u,v))-Que(father(LCA(u,v)))，线段树上二分查询 阅读全文

摘要： https://arc100.contest.atcoder.jp/tasks/arc100_c 一个很自然的想法是，对于每个K求出i or j=k的所有a[i]+a[j]的最大值ans[k]，答案就是ans[]的前缀最大值。 但问题是很难快速找到所有i or j=k的a[i]+a[j]最大值，考虑 阅读全文

摘要： 题意就是求一个n个点的堆的合法形态数。 显然，给定堆中所有数的集合，则这个堆的根是确定的，而由于堆是完全二叉树，所以每个点左右子树的大小也是确定的。 设以i为根的堆的形态数为F(i)，所以F(i)+=F(sz[2*i])*F(sz[2*i+1])*C(sz[i]-1,sz[2*i])。直接DP即可。 阅读全文

摘要： https://blog.sengxian.com/solutions/bzoj-1016 先总结一下MST的性质吧： 1.(圈性质)考虑一条非树边和一些树边构成的环，环上所有树边的权值一定不大于这条非树边。 2.(割性质)考虑图的一个割，这个割中的最小边一定被选入了MST。 3.考虑同一张图的两个 阅读全文

摘要： 感觉自己还是很不擅长结论题啊。 先随便选一个树根，定义每一块中深度最小的点为这一块的根。 （可以发现选定了块的大小k后分块的方案就唯一确定了） 有一个显然的结论，一个点x能成为块根，仅当它的子树大小是k的倍数，即k|size[x]。 当且仅当满足此条件的点数有n/k个，k才对应一个合法方案。 先DF 阅读全文

摘要： 数位DP学傻了，怎么写最后都写不下去了。 这题严格上来说应该不属于数位DP？只是普通DP加上一些统计上的判断吧。 首先复杂度只与数的位数$\omega$有关，所以怎么挥霍都不会超。 f[i][j][k]表示所有i位数（可以有前导零），第一位数为j，数字k出现的次数。直接$O(\omega^4)$转移 阅读全文

摘要： Day 1 T1:向量内积 直接暴力有60。发现将n个向量合成$n\times d$的矩阵$A$，然后求$A\times A^T$，得到的矩阵包含了所有的答案。 先考虑$k=2$，将答案矩阵和全1矩阵比较，为0的地方就是答案。 回忆一个十分经典的问题：判断$A\times B$是否与$C$相等。 先 阅读全文

摘要： 关于解法这个讲的很清楚了，主要用了设关键点的巧妙思想。 主要想说的是一个刚学的方法：通过后缀自动机建立后缀树，再转成后缀数组。 后缀数组功能强大，但是最令人头疼的地方是模板太难背容易写错。用这个方法，只需要用上SAM的模板即可。 https://blog.csdn.net/lvzelong2014/ 阅读全文

摘要： BSGS $Big\ Step\ Giant\ Step$,大步小步法，一种在$O(\sqrt{p})$内求解方程$a^x\equiv b (mod\ p)$的算法。 先考虑$p$为质数的情况。 令$x=im-j$，$m=\lceil \sqrt{p} \rceil$（注意是上取整，要保证大步比小步 阅读全文