"嘟嘟嘟" 最近把21天漏的给不上。 今天重温了一下2 SAT，感觉很简单。就是把所有条件都转化成如果……必然能导出……。然后就这样连边建图，这样一个强连通分量中的所有点必然都是真或者假。从而根据这个点拆点后的两个点是否在一个强连通分量里判断是否有解。 这题人很容易想到拆点：$i$表示$i$连向$s ...
分类：
其他好文 时间：
2019-04-20 15:41:11
阅读次数：
144
题意内存限制：256 MiB时间限制：1000 msChandra 是一个魔法天才。从一岁时接受火之教会洗礼之后， Chandra 就显示出对火元素无与伦比的亲和力，轻而易举地学会种种晦涩难解的法术。这也多亏 Chandra 有着常人难以企及的语言天赋，让她能轻松流利地说出咒语中那些极其拗口的魔法词 ...
分类：
其他好文 时间：
2019-04-07 22:26:49
阅读次数：
145
原题地址 网络流板子题 + 拆点，个人觉得蓝题比较合适。 尽管我一开始只得了10分。 具体还是看代码吧。 代码实现如下： #include <bits/stdc++.h> using namespace std; #define rep(i, a, b) for (register int i = ...
分类：
其他好文 时间：
2019-04-07 13:03:45
阅读次数：
108
芝士 2 SAT问题就是一种给出n个变量，满足一些二元限制比如(x取1，y必须取0)，要求求出n个变量赋值的合法方案的题目 3 SAT及更多是NP完全问题 2 SAT求解可以用tarjan，时间复杂度$O(n+m)$，但是要求输出字典序最小解的时候只有$O(nm)$的算法 算法流程就是要拆点连边，x ...
分类：
其他好文 时间：
2019-03-27 21:15:11
阅读次数：
160
A：求出该行该列各有多少个比其小的取max，该行该列各有多少个比其大的取max，加起来即可。 B：kmp求出最长border，贪心的每次利用这个border制造新子串即可。 C：场上写了1h假题意。终于看懂题之后又被之前假题意的做法带偏了。考虑拆点，建出新图后缩点，跑最长链即为答案。因为由图的特殊性 ...
分类：
其他好文 时间：
2019-03-09 01:27:14
阅读次数：
244
思路
首先想到费用流。
对于每个点拆点。然后考虑我们怎样才能保证每个点只被用一次。
如果$i$与$j$满足条件。那么就从$i$向$j$连一条边并且从$j$向$i$连一条 ...
分类：
其他好文 时间：
2019-02-17 22:12:08
阅读次数：
181
表示“必须选”的模型 题目大意 题目分析 一个格子有四种方式看上去很难处理。将横竖两个方向分开考虑，会发现：因为收益只与相邻格子是否连通有关，所以可以将一个格子拆成表示横竖两个方向的，互相独立的点。 上图的格子里四个方向红边表示的就是一个格子的可能方向；拆点后所连蓝边的容量为1，费用即为连通两个格子 ...
分类：
其他好文 时间：
2019-02-08 20:07:46
阅读次数：
327
题是费用流的板子题；写的时候拆点部分搞混了一会儿 Description Elaxia最近迷恋上了空手道，他为自己设定了一套健身计划，比如俯卧撑、仰卧起坐等 等，不过到目前为止，他 坚持下来的只有晨跑。 现在给出一张学校附近的地图，这张地图中包含N个十字路口和M条街道，Elaxia只能从 一 个十字 ...
分类：
其他好文 时间：
2019-02-06 22:42:47
阅读次数：
209
传送门 想象一下餐巾的转移，从前一天到后一天，从外面买来，送到其他地方去洗然后过几天回来 发现很像一个流 所以考虑构建网络流模型 建立一个源点 $S$ ，和汇点 $T$ 然后显然我们要按时间拆点，把每天的餐馆拆成早上和晚上，早上送走干净餐巾，晚上得到脏餐巾 每天早上向 $T$ 连一条流量为当天餐巾需 ...
分类：
其他好文 时间：
2019-02-04 10:27:19
阅读次数：
149
传送门 人在各个太空站流动，所以显然的网络流模型 因为不同时间能走的边不同，所以显然按时间拆点 但是因为不知道要多少时间，所以要枚举时间，动态拆点 每一点向下一个时间的同一点连流量为 $INF$ 的边，表示时间的转移 因为知道时间，所以可以求出每站的下一站，流量显然就是对应太空船的容量 每多一时间就 ...
分类：
其他好文 时间：
2019-02-04 10:15:50
阅读次数：
206
