bwartist

该文被密码保护。 阅读全文

摘要： lalala 阅读全文

摘要： part1 费用流建图 比较显然，把车的数量当成流量，把捡到的石头数量当成费用。然后跑最大费用最大流。 因为费用是针对点而不是边，所以要拆点，每个点分为入点和出点。 对于向下走，向右走建边：从起点的出点向终点的入点连边，容量为 \(inf\)，费用为 \(0\)。 对于每一个格子，如果当前格子是石头 阅读全文

摘要： 因为最后要找的是“腾出空位”的最小代价。 所以不妨把“障碍的移动”转化为“空位的移动”。 令 \(f_{x,y}\) 为：使得 \((x,y)\) 为空，至少需要多少代价。 下面来找转移方程，显然转移方程与空格子移动有关。所以观察空格子移动的规律。 若当前格子 \((x,y)\) 为 L。 以 \( 阅读全文

摘要： 霍尔定理 前置芝士/约定： 应用在二分图匹配中，设当前二分图的两部为 \(A,B\) 部。 现在任意从 \(A\) 中选出一个子集 \(S\)，并且把所有 \(S\) 中的点连接的，\(B\) 部中的点放进集合 \(T\)。 完美匹配指 \(A\) 中的所有点都可以被匹配。 参考博客（带证明） 定理 阅读全文

摘要： part1：建图 二进制异或，每一位互不干扰。所以对每一位分开来考虑。 然后变成了一个经典的模型。 当前每一个未确定点有两个选择：变成 \(1\)，变成 \(0\)；已经确定的点只能选它本身的值。 于是构造思路非常套路了：构造虚点 \(S\)、\(T\)。对于一个点 \(u\)，从 \(S\) 连向 阅读全文

摘要： 请先完成 ddp模板 一个 ddp 讲解视频 Part0：题意解释 感觉题面太阴间了。所以解释一下： C x t 表示把 \(x\) 结点的权值改为 \(t\). Q x ：把 \(x\) 子树中一些结点删去，使得 \(x\) 与 \(x\) 子树内所有叶子结点不连通。求 删去的结点权值和 的最小值 阅读全文

摘要： Dilworth定理 Dilworth定理，一言以蔽之，偏序集能划分成的最少的全序集个数等于最大反链的元素个数。——————litble 狄尔沃斯定理(Dilworth’s theorem)亦称偏序集分解定理，是关于偏序集的极大极小的定理，该定理断言：对于任意有限偏序集，其最大反链中元素的数目必等于 阅读全文

摘要： 一些定理 一、最小点覆盖=最大匹配 即，选一些点染色，要求图中所有边至少有一端被染色。 证明： 涂色方案：设匹配点为红点，未匹配点为蓝点。易知，一对匹配的红点，最多只有一个点会连接蓝点。将这个连接了蓝点的点染色。 合法性：所有匹配边显然已经合法了，考虑非匹配边。非匹配边有一个性质：它至少与一条匹配边 阅读全文

摘要： CF213E Two Permutations 题解 下文的 \(a+x\) 表示 \(a_1+x,a_2+x,...a_n+x\) 这个序列。 发现 \(n,m\) 不大，所以可以枚举 \(x\)，然后快速判断是否合法。 考虑如何快速判断一个 \(x\) 是否合法。 注意到 \(a,b\) 都是排 阅读全文