2-SAT 问题是k-SAT问题在k==2时的特殊情况，因为已经证明k>=3时的k-sat问题属于npc问题。所以在这里仅研究2-SAT的特殊情况。 何为2-sat问题？ 简单地说就是有N个集合，每个集合中有两个元素，其中一些集合中的元素存在相对关系。求出从每个集合中取出1个元素的方案。 先看一道例 ...
分类：
其他好文 时间：
2016-08-21 15:12:04
阅读次数：
232
借鉴：http://blog.csdn.net/chenzhenyu123456/article/details/47114535 ...
分类：
其他好文 时间：
2016-08-21 13:56:03
阅读次数：
138
总结了下就三句话： 1.确定集合，以及每个集合必须二选一的状态 2.枚举相关的集合，再枚举相关集合可能出现的会影响状态选择的矛盾情况 3.以矛盾为前提，确定的情况才加边 1.POJ 3227 每条连线当作是一个集合，每个集合的状态是在圆内或者圆外，任意两个集合都可能出现矛盾，矛盾是位置交叉 #inc ...
分类：
其他好文 时间：
2016-08-16 23:35:29
阅读次数：
212
2-SAT问题是这样的：有$n$个布尔变量$x_i$，另有$m$个需要满足的条件，每个条件的形式都是“$x_i$为真/假或者$x_j$为真/假”。比如："$x_1$为真或者$x_3$为假“。注意这里的”或“是指两个条件至少有一个是正确的，比如$x_1$和$x_3$一共有$3$中组合满足"$x_1$为 ...
分类：
其他好文 时间：
2016-08-13 01:18:20
阅读次数：
318
2-SAT的入门题。 a,a',b,b'分别表示两对夫妇，如果a,b有矛盾，那么a要来，就只能来b'，b要来，就只能来a'。于是建了两条边（a,b'）,（b,a'）。 用tarjan强连通分量缩点染色后，如果同一对夫妇染色相同，说明两个要么都来，要么都不来，就不可能有解了。否则，形成的强连通分量中必 ...
分类：
其他好文 时间：
2016-08-11 09:54:32
阅读次数：
189
Windows平台下Oracle监听服务启动过程中日志输出记录。 日志目录：D:\app\Administrator\diag\tnslsnr\WIN-RU03CB21QGA\listener\trace\listener.log 日志输出内容： Sat Aug 06 20:38:44 2016 系... ...
分类：
数据库 时间：
2016-08-06 21:46:53
阅读次数：
519
Windows平台下Oracle实例启动过程中日志输出记录。 路径：D:\app\Administrator\diag\rdbms\orcl\orcl\trace\alert_orcl.log 输出内容： Sat Aug 06 20:39:55 2016 Starting ORACLE instan... ...
分类：
数据库 时间：
2016-08-06 21:42:59
阅读次数：
815
明日天气：多云转阴，32~24度 运动向 健身 20中极致疯狂的俯卧撑，新手请勿尝试 跑酷 大神放大招，招招见血，不信你看 赛事 2016年世界室内田径锦标赛 男子4×400接力决赛 台球 RP集中爆发，你不来沾沾好运吗！？ 音舞向 歌曲 徐歌阳 - 高挑美人“烟酒嗓”撕裂高歌《追梦赤子心》 《中国 ...
分类：
其他好文 时间：
2016-07-31 01:36:30
阅读次数：
192
# -*- coding: utf-8 -*-"""Created on Sat Jul 30 10:14:24 2016 @author: cy""" age=int(input())if age >= 18: print('adult')else: print('teenager') ...
分类：
其他好文 时间：
2016-07-30 11:59:20
阅读次数：
132
暑期集训出的第一道一血 感觉自己萌萌哒…… 这道题本身并没有坑点 仅仅是翻译巨坑…… 解大腿在做B 安学长在做E 我闲着也没事 就一个词一个词翻译F…… 最后感觉…… 题干大多数都看不懂…… 也都没啥用…… 大概呢…… 就是给你n个点…… m条回路…… 问你哪条回路是最外面的…… 总之最后就是让你求 ...
分类：
其他好文 时间：
2016-07-21 18:10:41
阅读次数：
180
