cold_jelly 的小窝

摘要： 树状数组是一种能够动态维护序列前缀和的数据结构。 树状数组的基本原理 先贴个图： 对于一个给定的长度为 \(n\) 的序列 \(a\)，我们建立一个数组 \(tr\)，其中： \[\boxed{tr[x]=\sum^{x}_{i=x-\text{lowbit}(x)+1}a[i]} \]\(\tex 阅读全文

摘要： 二分图最小点覆盖 给定二分图 \(G=(V,E)\)，求最小的点集 \(V'\) 使得图中任意一条边都至少有一个端点属于 \(V'\)。这个问题称为二分图的最小点覆盖问题。 对于最小点覆盖问题，我们有： 定理：二分图的最小点覆盖问题等价于求二分图的最大匹配。若二分图的最小点覆盖为 \(V'\)，最大 阅读全文