incra's blog

摘要： Link。 啊啊啊啊 ST3 错误又犯了。。 设计状态一定要有限低维度的！ 显然可以二分，考虑答案 \(x\) 是否对，设 \(f_i\) 表示前 \(i\) 个最少分成的段数，显然 \(f_i=\min_{j<i,s_i-s_j\le x}{f_j+1}\)，显然可以线段树优化 DP。 阅读全文

摘要： Link。 简单 DP，每次修改影响的状态是 \(O(n+m)\)，暴力做即可。 阅读全文

摘要： Link。 有点难想的 DP。 考虑 \(f_i\) 表示前 \(i\) 个字符的最小代价，显然有转移方程 \(f_i=\min\{f_{i-1}+a,\min_{j,k,k\ge i-j,s_{j-k+1,\cdots,j}=s_{i-k+1,\cdots,i}}f_{j}+b\}\)。 注意到复 阅读全文

摘要： Link。 考虑次小生成树的大小，显然如果加了一条边后再删一条边，删的边权值一定要严格小于加的边，所以就求出所有加的边和删的边权值相同可以加的边数。 为何不考虑加的边权值小于删的边？如果存在这种边，显然最小生成树不优。 Link。 答案显然能取到下限，因为有 \(t_j<a_{s_j}\)。 Lin 阅读全文

摘要： Link。 Sol 好题！ 我不是 DP 高手吗，怎么这么简单的 DP 题没场切。 考虑暴力枚举子串，显然最多有 \(n\sqrt n\) 个，这些子串一定包含答案。 对于一个串 \(t\) 和 原串 \(s\)，考虑 \(s\) 是否能用 \(t\) 拼出来。 设 \(t\) 的长度为 \(len 阅读全文

该文被密码保护。 阅读全文

摘要： Sol 蒲公英题意基本相同，但是注意到空间限制 62.5MB，显然不能用蒲公英的做法。 考虑先把整块的答案算出来，然后把小块的部分补上去，显然大块可以预处理，小块可以直接暴力查询是否越界。 代码很简单。 Code #include <iostream> #include <iomanip> #inc 阅读全文

摘要： Sol 两个限制的导弹拦截。 设 \(f_i\) 表示以 \(i\) 结尾的最长 LIS 显然可以得到暴力转移方程 \(f_i=\displaystyle\max_{j=1,a_j\ge a_i,b_j \ge b_i}^{i-1}f_j+1\)，考虑到是三维偏序，所以用 CDQ 分治优化即可。 离 阅读全文

摘要： Sol 好题！ 注意到 popcount 操作会使数以 \(\log\) 的速度变小，所以没有加操作的话我们就可以直接暴力维护。 但是注意到有加操作，考虑懒标记，先 popcount 后加。 当一个区间 popcount 之后，值域范围极小，所以考虑暴力对每一种数预处理 popcount。 这里其实 阅读全文

摘要： 简单数学题。 显然答案是 \(g^{\sum_{d|n}C_n^d}\)。 考虑到 \(mod\) 是质数，所以 \(g^{mod-1}\equiv 1\pmod {mod}\)，那么考虑算出指数模上 \(mod - 1\)。 注意到 \(mod - 1\) 并不是质数，显然可以质因数分解后 CRT 阅读全文