04 2024 档案
摘要:一般定义(用独立集定义拟阵) 定义拟阵为二元组 ,其中 为一个有限集, 为 的子集族上的一个集合,我们称 中的元素为独立集。 其中 满足以下性质: 遗传性:\(\forall A\in I,B\subseteq A\Righ
阅读全文
摘要:这个人踩死了,连 KM 都不会。 之前一直以为费用流一定优于 KM,前几天做一道题,费用流过不了,非要用 KM 才能过,后来才知道 KM 是能做到 的。 二分图最大权完美匹配 给定一张二分图,保证有完美匹配。每条边有权值,求权值和最大的完美匹配。 顶标 顶标是 KM 算法的核心
阅读全文
摘要:模型转化,充要条件dp,模拟构造来算状态组合的方案数
阅读全文
摘要:定义 排列:由 打乱组成的序列。 连续段: 被称为连续段,当且仅当排列 中 在排序后值域也连续。 构想 析合树是一种处理排列连续段问题的有力数据结构。 但是一个排列的连续段数可能达到 ,我们该如何存
阅读全文