摘要：
差分约束系统 省流：给出 \(n\) 个数， \(m\) 个不等式，每个形如 \(x_a-x_b\le w\) ，求通解。 转化一下，\(x_a\le x_b+w\) 这不就是图论点转移吗，连一条 \(x_b\to x_a\) 权值为 \(w\) 的边，最后要求通解即求当前点集权值满足所有边。 不妨 阅读全文
摘要：
前置知识： Tarjan ，SCC缩点。 引入 有一堆人要吃饭。 第一个人： 我想吃香精煎鱼，不想吃香菜逢仁鸡 。 第二个人： 我不想吃油饼，不想吃香精煎鱼。 第三个人： 我想吃油饼，也想吃香菜逢仁鸡。 你是厨师，你做的菜要满足上面所有人的口味两个的任意之一。 这怎么办？ 这就是经典的 2-SAT 阅读全文
摘要：
引入 很早就听说这个高大上的算法了，好像很厉害的样子。 但是 blog 里说的是异或线性基 不是线性代数那个那个看不懂 线性基用来干什么？ 查询一个数能不能被一堆数异或出来 查询一堆数异或的最大值 查询异或第 k 大 / 小 (本质不同) 概念 线性基有 3 个性质。 原序列任意数以及任意一堆数的异 阅读全文
摘要：
F 比 E 简单 ，套路题。 考场不会 E 。自闭。 Luogu链接 题意已经讲得很清楚了。 在题解中，认为 \(m\) 等价于原题的 \(k\) 。 思考 第一步看题应该会想到贪心。 先去掉重复，然后会剩下一些相邻互不相同的，然后从小到大排序删除即可。 没错，考场上就是这样想的，直接吃了依托大的罚 阅读全文
摘要：
传送门：Luogu 题意讲的很清楚了，不再赘述。 首先我们看一下这个式子。 \[\sum\limits|a_i-a_j| \]添加了绝对值，似乎不太好维护。如果还是看做一位位取的话，我们不知道当前的数比后面的数是小还是大，无法确定正负号。 绝对值不好搞，就拆绝对值。 \[\sum\limits_{i 阅读全文
摘要：
我觉得很强的题目。 传送门：Luogu 分析 分析问题本质。 根据大量推理，发现问题再描述这样一个东西： 一开始有 \(a,b\) ，一开始有 \(p\) 的概率使得 \(a\) 加一， \(1-p\) 的概率使得 \(b\) 加一。 进行 \(n-1\) 次操作，每次操作如下： 有 \(p\) 的 阅读全文
摘要：
传送门 *2300 牛逼打表题。 这个式子很不可思议，让人无从下手。选择打表找规律。 由于 \(2\nmid X\) 和 \(5\nmid x\) 这些数我们可以跳过 通过打表前 \(10000\) 的数，我们发现似乎没有重复的。 继续打表 \(1000000\) 也没有重复的。 直接大胆猜想，\( 阅读全文
摘要：
*2000 *dp arc170c 我觉得很妙的 dp 题目。 Solution 一眼下去，似乎所有 \(1\) 的位置是固定的，其余位置随便填，答案就是 \(m^{count(1)}\) ？ 这一步在 \(m\ge n\) 的时候是对的。 但是 \(m< n\) 的情况很不好搞。 序列问题容易想到 阅读全文
摘要：
问题引入 有 \(n\) 个小孩子，它们有 \(m\) 对讨厌关系，每对关系约定为小孩 \(p\) 与 小孩 \(q\) 不能再一起玩。 现在你要给这些小孩分组，求最少要分成几组才满足每组小孩都不会发生矛盾。 问题抽象 我们抽象这个问题。 关系可以想到二分图，但是每对关系会互相约束，显然不行。 那么 阅读全文