Cold_Chair的博客

摘要： http://codeforces.com/contest/1340/problem/C 我完了，连普及的题都不会做。 设$f[i][j]$表示在$j$时刻到$i$，最少多少个红绿灯回合。 发现i只用往i 1和i+1走，设$t=|x1 x2|$，则$j+t define fo(i, x, y) fo 阅读全文

摘要： https://loj.ac/problem/3210 过了这么久看看自己要多久才能切这题，发现还是想歪了一次。 先考虑暴力的做法。 还是贪心的逐位确定，逐位确定判有没有解，相当于下面的问题： 树上有一些路径，一条路径表示要把$x$的数字换到$y$去，问有没有解。 对于一条路径$p[1],p[2], 阅读全文

摘要： https://loj.ac/problem/522 第一个性质是在告诉我们这是个DAG。 所以暴力的做法就是设$f[i]$表示$i$结尾的最大答案，去枚举能够到达$i$的$j$，转移即可，转移顺序可以按半径从大到小。 注意到那个转移式显然是不可优化的，也就是我们只能暴力枚举$j$，事实上对于每个$ 阅读全文

摘要： https://loj.ac/problem/2546 直接树形dp设$f[i][j][0/1][0/1]$表示$i$子树，选了$j$个，$i被覆盖了吗$，$选了i吗$ 复杂度是$O(n k^2)$。 加上子树大小优化，复杂度降为$O(nk)$，还有其它优化： 考虑度数为1的点，与它唯一相邻的点必须 阅读全文

摘要： https://gmoj.net/senior/ main/show/100018 很巧妙的递推题。 设$cnt[i]$表示后缀$i$有多个前缀可以变成空。 若能求出最小的$j$，满足$s[i..j]$会变成空，那么$cnt[i]=cnt[j]+1$ 同理，可以设出状态$f[i][c]$表示要$s[ 阅读全文

摘要： https://gmoj.net/senior/ main/show/100013 考虑$m\le 100$的部分分，不难想到矩阵乘法。 这里，把$and$定义乘法，$xor$定义为加法，然后做正常的矩阵乘法。 发现这个东西和常系数齐次线性递推很像。 常系数齐次线性递推是$Mod$一个多项式$M$， 阅读全文

摘要： DAG最小不可相交路径覆盖 将每个点拆成$x,x'$ 若$x y$有边，则$x和y'$连边。 最小不可路径覆盖=点数 二分图最大匹配 简略证明： 考虑一开始每个点自成一条路径，答案是n条路径。 每在二分图上完成一个匹配，则把两个点代表的路径合并成1条路径，路径数 1。 要路径数最少，所以匹配数要最大 阅读全文

摘要： https://loj.ac/problem/2076 模拟退火居然不出题答，这个出题人脑子进水了。 由最小圆覆盖那一套，最优的圆是以上三种情况之一： 1.一个答案点就是圆，半径— 0 2.两个点连成的线段为直径的圆 3.三点共园 直接枚举，判断是$O(m^4)$的。 可能可以优化掉一个$m$，然后 阅读全文

摘要： https://loj.ac/problem/2074 我看到这个题的第一反应是做单调栈： $p[i] =h[j]+\sqrt{|i j|} h[i]$ 就$sqrt$这函数吧，也是单调的，性质应该和直线差不多，所以单调队列维护交点单调的若干条曲线。 求交点可以用二分求，时间复杂度是$O(n~log 阅读全文

摘要： https://loj.ac/problem/2072 这个题只要求出以每个点为根的有根（无标号）树的hash值就好了。 我以前的树哈希是把树转为括号序，这个太麻烦了。 一种方法是每个点的权值定义为siz，找到一个dfs序，使得经过的点的权值字典序组最小。 这个对于这道题也不方便，因为换根是可能需要 阅读全文