Reference：http://blog.csdn.net/jarjingx/article/details/8521690其中伍昱的ppt不错。2SAT最裸的模型：一国有n个党派，每个党派在议会中都有2个代表，现要组建和平委员会，要从每个党派在议会的代表中选出1人，一共n人组成和平委员会。已知有...
分类：
其他好文 时间：
2014-10-28 21:23:53
阅读次数：
282
date命令简单使用date查看当前系统时间date+%d%Y年%m月(01-12)%b(Jan-Dec)%B(January-December)%d日%H小时(00-23)%I(01-12)%M秒钟%S秒%s1970年1月1日到目前为止的秒数%a星期(Sun-Sat)%A(Sunday-Saturday)date-s"2014102812:07:30"修改系统时间为2014年10月28号12点07分30秒
分类：
其他好文 时间：
2014-10-28 18:09:58
阅读次数：
174
作者：陈斌(redguardtoo)版本：20141018更新时间： 2014-10-18 Sat原创时间： 2012-01-31 Tue版权：本文採用下面协议进行授权,自由转载 - 非商用 - 非衍生 - 保持署名 | Creative Commons BY-NC-ND 3.0,转载请注明作者及出...
分类：
系统相关 时间：
2014-10-28 17:29:31
阅读次数：
349
HDU 4115 Eliminate the Conflict
题目链接
题意：Alice和Bob这对狗男女在玩剪刀石头布，已知Bob每轮要出什么，然后Bob给Alice一些限制，1表示i轮和j轮Alice必须出不一样的，0表示必须出一样的，如果Alice有一局输了就算输了，否则就是赢，问Alice是否能赢
思路：2-sat问题，已经Bob出什么，Alice要么就出赢的要么就出平...
分类：
其他好文 时间：
2014-10-28 12:15:40
阅读次数：
161
POJ 3683 Priest John's Busiest Day
题目链接
题意：给定几个时间，si, ti, di每个时间要选[si, si + di]或[ti - di, ti]，问能否选出所有时间不相交的方案
思路：显然的2-sat，注意判断相交的方法
代码：
#include
#include
#include
using namespace std...
分类：
其他好文 时间：
2014-10-28 10:24:50
阅读次数：
212
HDU 4421 Bit Magic
题目链接
题意：就根据题目，给定b数组，看能不能构造出一个符合的a数组
思路：把每个数字的每个二进制位单独考虑，就变成一个2-sat题目了，根据题目中的式子建立2-sat的边，然后每一位跑2-sat，如果每位都符合，就是YES，如果有一位不符合就是NO
代码：
#include
#include
#include
#incl...
分类：
其他好文 时间：
2014-10-28 00:49:47
阅读次数：
200
Cron表达式（在Quartz.net里面会用到）由7段构成：秒 分 时 日 月 星期 年（可选）"-" ：表示范围 MON-WED表示星期一到星期三"," ：表示列举 MON,WEB表示星期一和星期三"*" ：表是“每”，每月，每天，每周，每年等对于星期里面，SUN=1 SAT=6"/" :表示增...
分类：
Web程序 时间：
2014-10-27 19:28:23
阅读次数：
180
退出状态bash中的内建命令虽然不创建新的进程，但也会有Exit Status，通常也用0表示成功非零表示失败，虽然内建命令不创建新的进程，但执行结束后也会有一个状态码，也可以用特殊变量$?读出命令代换：`或$()user@ae01:~$ echo `date`Sat Oct 25 19:17:58...
分类：
系统相关 时间：
2014-10-27 17:15:25
阅读次数：
263
HDU 1814 Peaceful Commission
题目链接
题意：
根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。
此委员会必须满足下列条件：
每个党派都在委员会中恰有1个代表，
如果2个代表彼此厌恶，则他们不能都属于委员会。
每个党在议会中有2个代表。代表从1...
分类：
其他好文 时间：
2014-10-27 15:42:07
阅读次数：
198
POJ 3678 Katu Puzzle
题目链接
题意：就根据那几个表达式，推算有没可能构造出解
思路：基本的2-sat，把表达式都转化成2-sat的形式即可
代码：
#include
#include
#include
#include
#include
using namespace std;
const int MAXNODE = 2005;
s...
分类：
其他好文 时间：
2014-10-27 12:50:40
阅读次数：
105
