Loading

摘要: 线性基入门 线性基用来解决竞赛中关于子集异或的一类问题。 1 定义 异或和 设 \(S\) 为无符号整数集,(若不说明,下文所有集合均指无符号)那么集合 \(S\) 的异或和是 \(xor\_sum(S)=s_1\hat{}s_2...s_{|S|}\) 张成 设 \(T\subseteq S\) 阅读全文
posted @ 2021-07-05 21:52 hyl天梦 阅读(68) 评论(0) 推荐(0) 编辑
摘要: 可持久化并查集 说实在话,可持久化并查集在理解上没有太多困难,就是细节比较多,简单来说,所有在并查集上的对数组的操作全部变成在可持久化数组上的操作就可以了,下面我们一个一个函数的分析。 1 代码实现 首先给出例题链接:链接 1.1 定义 int n,m; struct node{ int l,r; 阅读全文
posted @ 2021-07-05 19:53 hyl天梦 阅读(400) 评论(0) 推荐(0) 编辑
摘要: wqs 二分浅谈 1 适用范围 wqs 可以解决的问题具体来说是这样:给你一些物品,我们可以从里面选的物品是有限的,每个物品有其价值,要求最大化这个价值,价值有可能为负。 抽象来说,就是给你一些物品,有一些限制,如果没有限制的做法很简单,要求求一个最优值。 2 问题解决 很显然,我们可以有一个 dp 阅读全文
posted @ 2021-07-05 14:44 hyl天梦 阅读(948) 评论(0) 推荐(3) 编辑
摘要: 决策单调性优化 dp——四边形不等式 所谓的决策单调性指的就是最优决策点是单调的。 例如 dp 方程: \[ f_i=\min\{f_j+w(i,j) \} \] 设 \(j_i\) 为 \(i\) 的最优决策点。如果有 \(\forall i,\forall i'<i,j_{i'}\le j_i\ 阅读全文
posted @ 2021-07-05 09:23 hyl天梦 阅读(144) 评论(0) 推荐(0) 编辑
摘要: P4767 [IOI2000]邮局 二维四边形不等式 链接 二维的四边形不等式要比一维难证一些,事实上,在真正的考场上,一般都是打表找规律。 这个题的 dp 方程是 \(f_{i,j}=\min\limits_{i-1\le k\le j-1}\{f_{i-1,k}+w(k+1,j) \}\) 其中 阅读全文
posted @ 2021-07-05 09:21 hyl天梦 阅读(57) 评论(0) 推荐(0) 编辑