2021年第44周总结

2021年第44周总结

11.1

判断线段相交问题

解决计算几何中判断两个直线相交问题，通过矢量叉乘判断向量的相对位置，叉乘也可判断凸包等。

博客

LeetCode 335

CF 751

Problem D

此题属于BFS中边数较多的情况，尝试采用删点的方法降低时间复杂度，删除后某些点将不会被搜索到。

可以使用Set维护待搜索的点集合。

思路&难点：Set优化的BFS。

LC No.265

Probelm D

编辑距离超级加强版。

一开始考虑$dp[i][j]$为布尔型是否匹配，后来发现其具有后效性，因此该方法不行，DP在设计状态的时候首先考虑是否有无后效性。

新的DP方法，通过前推少量状态而不是枚举状态减少常数。

定义$dp[i][j]$为匹配到$s1[i]$和$s2[j]$的不产生冲突可能的剩余差值（由通配符产生）。

通过枚举$dp[i][j]$的状态去推出后继的状态。

其分为两种情况：

• 追加差值
• 匹配差值

分类讨论即可。

思路：二维DP。
难点：选择合适的DP状态解决后效性。

11.2

CF 751

Problem E

可以看做是模板题。给定两个数组，$a$的相对位置不变，$b$以任意顺序插入到$a$中，求最小逆序对。

首先需要证明两个结论：

1. $b$一定以从小到大的相对顺序进行插入，证明显然。
2. $b_i$的插入的最优性互相独立互不影响。

第二点的证明，假设$b_i$在$a_j$的前面插入对逆序对的贡献是最少的，那么我们知道，$a_j>b_i$若$b_i$插在$a_j$后面，则会多产生一个逆序对，并且小于$b_i$的$b$也不会产生更大的贡献。

首先的一个思路从寻找$b_1$的最优插入位置$p_1$，这需要$O(n)$的时间，在$p_1$之后查找$p_2$的位置，这需要$O(n)$时间，总共需要$O(nm)$的时间。如果我们使用分治，每次查找$b_{mid}$的最优位置，每一层需要$O(n)$的时间，总共需要$O(n\log m)$。

最后树状数组统计逆序对的个数，然后统计即可，时间复杂度$O((n+m)\log (n+m))$。

思路：贪心证明+分治。
难点：分成子问题优先考虑分治。

CF 752

Problem E

结论题 + 贡献转移。

考虑简化这个过程，能够得到一些有用的结论，即若$a_{i+1}<a_i$，那么最终$a_i=\lfloor \frac{a}{\lceil \frac{a_i}{a_i+1}\rceil }\rfloor$，并且需要$\lceil \frac{a_i}{a_i+1}\rceil -1$次拆解。

那么我们可以枚举以$x$结尾，前驱为$a_i+1$的$\lceil \frac{a_i}{a_i+1}\rceil -1$贡献。设$dp[i][x]$表示为子数组$a[i:j]$最终以$x$结尾的子数组的数量，那么前面有$i$个开头的子数组会得到这个贡献。即为$i\ast dp[i][x]\ast (\lceil \frac{a_i}{x}\rceil -1)$。

思路：推结论+贡献转移。
难点：推出结论+ DP状态设计 + 贡献转移技巧。

11.3

LC 407

优先队列的优化的BFS搜索题。

我们假设一个小人在$(r,c)$向四周倒水，优先队列中有三元组$(r,c,hei)$，表示小人在$(r,c)$向四周倒水的最大高度为$hei$。

首先我们可以确定一开始小人应该站在边界处，故将所有的边界加入到队列中。

每次队列取出$hei$最小的，向四周倒水，如果$(dr,dc)$的高度低于$hei$，那么肯定是可以倒水的高度为$hei$的，因为$(dr,dc)$的短板一定是$(r,c)$。然后$(dr,dc)$的$hei$就可以确定，即$\max (hei,height[dr][dc])$，将其加入优先队列中。

思路&难点：优先队列维护的BFS。

11.5

21 CCPC for Female

Problem C

一开始ych告诉我将分公司的数量为$1$和大于$1$进行分类，为$1$的就不要赋予状态。

正解为传递闭包优化DAG上的DP。

考虑带中间节点的路径$i\to j$，那么若有边$(i,j)$存在，那么以这条边转移的DP一定是不优的，所以可以删掉这个边。

为了维护节点$ij$之间是否有带中间节点的路径，需要求一次DAG的传递闭包。

这样操作之后，可以证明带有$n$个节点的DAG图最多有$n-1$个边。即$1\to n$的一条链。

这样时间复杂度就从$O(n^2)$的完全图优化为$O(n)$的链图。

思路：DAG上的DP。
难点：用传递闭包优化DAG的DP。

Problem B

倍增，一个很显然的思路，在字符串$s$上查询，从$s[0]$到$s[k_1]$正好凑齐一组字母表，从$s[k_1+1]$到$s[k_2]$正好凑齐一组字母表，结果正好能最多凑齐$p$个字母表，那么关于$s$的答案即为$p+1$。

考虑$dp[i][k]$为从起点$i$跳$2^k$次的中点。首先通过一次二分计算出$dp[i][0]$，然后进行倍增求出所有的$dp[i][k]$即可。

单次查询时的时间复杂度为$O(\log n)$。

思路&难点：二分+倍增DP。

11.6

21 CCPC for Female

Problem F

POJ 2185的增强版本 广义KMP&二维KMP的模板题，只不过需要一次Hash来优化字符串的判断相等。

思路&难点：二维KMP+Hash优化。

11.8

ABC 226

Problem F

一道分拆数估计+DFS枚举分拆+第一类斯特林数+划分模型的一道综合计数题。

首先根据$P_{50}<1e6$，确定DFS枚举分拆可行。

然后DFS枚举分拆，在可能的答案中对分拆组转换为划分组，最后根据公式$S(n,1)=(n-1)!$对其进行计数。

思路：组合数学。
难点：计算公式的确定。