今天学习图论的时候，碰到了2sat问题 虽然不是很难理解，感觉很精妙 ▄█?█● 用的LRJ白书上的模板。 套路如下： 2 - SAT就是2判定性问题，是一种特殊的逻辑判定问题。 选择的置为1，未选的置为0 对于2SAT，每组矛盾都会有四种情况（2*2），题目会限制一种不成立，我们要做的就是找出这一 ...
分类：
其他好文 时间：
2017-07-21 20:47:32
阅读次数：
203
题目链接 题意：有n架飞机。每架飞机都能够选择早着陆和晚着陆两种方式之中的一个，且必须选择一种。任务就是安排全部飞机着陆时。相邻两个着陆时间间隔的最小值尽量大。 思路：用二分处理最小值尽量大。该题目能够转化为是否存在一个调度方案，使得相邻两个着陆时间差总是不小于P，进一步转化为随意两个着陆时间差总是 ...
分类：
其他好文 时间：
2017-07-16 12:29:10
阅读次数：
127
考虑2-SAT建图，设$a[i][0..1]$表示$i$变不变，$b[i][0..1]$表示$i$是下降还是上升。 首先相邻的不能同时动，说明$a[i]$和$a[i+1]$里最多选一个。 对于$x$和$y$要相等，假设$s[x]\geq s[y]$。 $1.$若$s[x]-s[y]=3$，则视为$1 ...
分类：
其他好文 时间：
2017-07-16 09:56:46
阅读次数：
200
大概学了一下2-SAT，写了一道模板和一道USACO 输出一个方案的话，tarjan缩点后倒着拓扑，染色输出。 求任何解下选哪个就得枚举每个点dfs来判断选哪个。 HIT 1917（2-sat模板） #include<iostream> #include<cstdlib> #include<cstr ...
分类：
其他好文 时间：
2017-07-13 19:03:38
阅读次数：
170
John is the only priest in his town. September 1st is the John's busiest day in a year because there is an old legend in the town that the couple who ...
分类：
其他好文 时间：
2017-07-11 12:50:05
阅读次数：
257
把近期水的题目挂起来。 【图论】 BZOJ 3495 2-sat模型，优化下建图。 BZOJ 1301 DFS+并查集，并查集跳过已经访问的节点。 【数论】 【数据结构】 【更新ing】 ...
分类：
其他好文 时间：
2017-07-07 21:25:14
阅读次数：
119
8.3 STINGY SAT STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assign ...
分类：
编程语言 时间：
2017-07-07 00:47:53
阅读次数：
380
8.3 吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。 证明： 补充一下SAT问题的概念：SAT问题是指是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式 ...
分类：
编程语言 时间：
2017-07-05 23:46:55
阅读次数：
435
Priest John's Busiest Day Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 10010 Accepted: 3425 Special Judge Description John is the only p ...
分类：
其他好文 时间：
2017-07-04 13:18:00
阅读次数：
237
其实这是前天的事了。（现在时间回到两天前） 今天的主要内容是最短路和2-SAT 最短路我做了一题：水灾；题目详情见9018-1452 先bfs求出洪水漫延到每一个点的时间。 然后再跑一遍bfs求出最短路即可。 关于2-SAT有这样一题：Astronauts；题目详情见UVA1391或UVALive3 ...
分类：
其他好文 时间：
2017-07-03 22:33:30
阅读次数：
236
