cqbzzky-CSDN博客

原创【数学】线性代数入门

大家可以打开画图工具试试：画一个箭头，来回拖动鼠标调整它的长短，要是把箭头缩到原点另一边，方向还会反过来——这就是向量数乘的直观样子。行列式其实就是衡量线性变换“缩放能力”的数：在坐标系里圈一块地方，经过变换后它的面积是原来的多少倍，这个倍数就是行列式的值。先说说“变换”是什么意思：其实就是把一个向量变成另一个向量的规则，要是把这个规则用到所有向量上，就是对整个坐标系的变换。普通的线性变换都可以用方阵来表示。我们现在把刚才的变换得到的一维空间放在原本的二维空间上，其中原本的二维空间的基向量分别为。

2025-12-09 00:01:13 1067

原创【图论】霍尔（Hall）定理

对于一个二分图，设左边的点集是 UUU，右边的点集是 VVV 。如果这个二分图有一个完美匹配，当且仅当对于任意一个子集 S∈US \in US∈U ，满足 ∣S∣≤∣N(S)∣|S| \leq |N(S)|∣S∣≤∣N(S)∣ ，其中 N(S)N(S)N(S) 是 SSS 的邻域，即 VVV 中所有与 SSS 中的元素有连边的元素所组成的集合。这个非常显然，因为如果邻域比自己还小，那必然有一个人无法匹配。考虑反证法。如图，这张图满足 Hall 定理，但是现在没有完美匹配，左右都剩下了一些节点，即 111 和

2025-12-08 16:07:25 1155

原创【数据结构】笛卡尔树

平衡树是可以优化 BST，但是它们都是基于旋转/分裂的，一旋转/分裂，它的顺序就变了。如果我们用数组下标当 key ，元素值当 value ，我们会发现，一个节点的左子树的下标都比自己小，元素值都比自己大，右子树的下标都比自己大，元素值也比自己大。这时候有人就会说了：“啊~，优化 BST 的方法那么多，各种平衡树都是干这个事的，为什么还要搞一个静态的笛卡尔树呢？笛卡尔树是用来优化 treap 的建树的，不支持修改。个节点，它是它在单调栈中压住的那一个节点的右儿子，它的左儿子是最后一个被弹出的节点。

2025-12-08 11:01:58 1029

原创【图论】树上启发式合并（DSU on tree）

对于一个学生，ta只会在遇到比自己大的班的时候重新打印档案。而遇到比自己大的班后，ta所在的班的大小至少会翻倍。想想校长是怎么省钱的，就能类比出来，我们让拥有最大子树的那个子节点不清空。但是一堆人全部混在一起，太乱了，于是校长决定要分批合并，也就是每次合并两个班，合并。显然，我们无法在 DFS 时清空它，也无法在递归函数里开这么大的数组。为了让打印的档案尽可能少，规定：在合并时，只重新打印人少的那个班的人的档案。但是，我们拿的不是普通的东西，是一个长度为。类似的，我们也能证明这样的时间复杂度是。

2025-12-07 20:01:47 797

原创【题解】AT_abc434_e [ABC434E] Distribute Bunnies

由于兔子数量不超过物品数量（每只兔子选一个），若出现空缺，则必然存在重复选择。因此，不存在无法被选中的物品。此时，这只兔子的另一个可选物品便可以被释放出来，可能让给其它兔子。为了避免重复遍历，我们可以用 DFS 来处理：当确定一只兔子选择某个唯一物品后，它释放出的另一个物品可能又成为其它兔子的唯一选择，这个过程可以递归进行。若所有兔子各跳一次，求跳完后所有兔子所在的不同位置的最大可能数量（即尽量让兔子们不落在同一个位置）。于是，最终答案 = （通过唯一物品确定的兔子数量）+（剩余被兔子选过的物品数量）。

2025-12-07 18:36:45 504

原创【数据结构】CDQ分治

CDQ分治是用来解决高维偏序问题的最常用的解法之一。偏序问题通常表示为一个集合P和一个二元运算≺≺a≺aa≺b∧b≺aaba≺b∧b≺aa≺c利用这个二元运算在集合内做的各种统计就属于偏序问题。而高维偏序问题就是多元组之间的偏序问题。这些多元组内部有优先级，比如先比较ai，相同则比较bi，再相同则比较ci……

2025-12-06 19:46:50 799

原创【图论】网络流

更好的是，如果找到 gap ，由于高度是由 DFS 更新的，中间有缺口就搜不到低层节点，无法使其升高，无法填补空缺，永远也找不到增广路，可以直接退出整个算法，比 Dinic 只退出 DFS 部分快多了。这样等于说，如果我走错了，后面的路径可以反着走，也就是帮我把走错的水送回来，也就实现了一个“反悔操作”了。我们发现， Dinic 算法每做一个 DFS ，就要跑一次 BFS 算高度，这是大大的浪费。非常震惊的是，这么丑陋的代码，甚至没有用链式前向星，居然就过了洛谷的加强版……还有一个比较奇特的优化。

2025-12-06 19:34:39 1475 1

m0_69387957的博客