摘要: 一般定义(用独立集定义拟阵) 定义拟阵为二元组 \((S,I)\),其中 \(S\) 为一个有限集,\(I\) 为 \(S\) 的子集族上的一个集合,我们称 \(I\) 中的元素为独立集。 其中 \(I\) 满足以下性质: 遗传性:\(\forall A\in I,B\subseteq A\Righ 阅读全文
posted @ 2024-04-27 21:35 Sktn0089 阅读(1) 评论(0) 推荐(0) 编辑
摘要: D1T1 季风 心梗题。 设 \(sx_i=\sum\limits_{j\le i} x_j\),\(sy_i\) 同理。枚举 \(r=m\bmod n\),设 \(m=p\cdot n+r\),那么当 \(|x-(p\cdot sx_n+sx_r)|+|y-(p\cdot sy_n+sy_r)|\ 阅读全文
posted @ 2024-04-25 22:11 Sktn0089 阅读(5) 评论(0) 推荐(0) 编辑
摘要: 假做法的推翻,深入推导的思路问题 阅读全文
posted @ 2024-04-22 18:30 Sktn0089 阅读(24) 评论(0) 推荐(0) 编辑
摘要: 这个人踩死了,连 KM 都不会。 之前一直以为费用流一定优于 KM,前几天做一道题,费用流过不了,非要用 KM 才能过,后来才知道 KM 是能做到 \(O(n^3)\) 的。 二分图最大权完美匹配 给定一张二分图,保证有完美匹配。每条边有权值,求权值和最大的完美匹配。 顶标 顶标是 KM 算法的核心 阅读全文
posted @ 2024-04-16 16:00 Sktn0089 阅读(11) 评论(0) 推荐(0) 编辑
摘要: 口胡了。 无意间刷到的一个小技巧。 具体做法大概是把平面分成 \(\dfrac nB\times \dfrac nB\) 个块,每个块内撒一个点,每次询问直接从最近的撒的点开始暴力跳。 复杂度为 \(O(\dfrac {n^2}{B^2}+mB)\),视 \(n,m\) 同阶,取 \(B=n^{\f 阅读全文
posted @ 2024-04-11 09:12 Sktn0089 阅读(13) 评论(0) 推荐(0) 编辑
摘要: 条件转图论模型,模型的多次转化,DAG计数 阅读全文
posted @ 2024-04-10 17:06 Sktn0089 阅读(6) 评论(0) 推荐(0) 编辑
摘要: 全是黑题 0o0 阅读全文
posted @ 2024-04-09 16:39 Sktn0089 阅读(64) 评论(2) 推荐(1) 编辑
摘要: 模型转化,充要条件dp,模拟构造来算状态组合的方案数 阅读全文
posted @ 2024-04-08 21:40 Sktn0089 阅读(11) 评论(0) 推荐(0) 编辑
摘要: 赌博问题 设 \(X_i\) 为第 \(i\) 轮赌博后的收益。 根据常识,显然有 \(E(X_i)=X_0=0\) 离散时间鞅 定义一组离散时间鞅为时间离散的随机过程 \(\{X_0,X_1,X_2,...\}\),满足对于任意 \(n\),都有 \(|E(X_n)|<+\infty\),即取值是 阅读全文
posted @ 2024-04-07 11:27 Sktn0089 阅读(19) 评论(0) 推荐(0) 编辑
摘要: 定义 排列:由 \(1\sim n\) 打乱组成的序列。 连续段:\([l,r]\) 被称为连续段,当且仅当排列 \(a\) 中 \(a_{l...r}\) 在排序后值域也连续。 构想 析合树是一种处理排列连续段问题的有力数据结构。 但是一个排列的连续段数可能达到 \(O(n^2)\),我们该如何存 阅读全文
posted @ 2024-04-03 14:57 Sktn0089 阅读(20) 评论(0) 推荐(0) 编辑