题意：给你n个点，要你在这n个点上放一个正方形，点只能在正方形的上边或下边的中点上，所有正方形大小一样，
不能重叠，求最大的正方形。
经典的题目，找约束关系要经过一些讨论。
//320 KB 16 ms
#include
#include
#include
#include
using namespace std;
const int N = 222;
int n;
struc...
分类：
其他好文 时间：
2015-05-13 16:53:10
阅读次数：
98
题意：
有两个人玩一个石头剪刀布的游戏，两个人连续玩N轮，给出其中一个人的N轮出的情况和该人对另外一个人的一些限制条件，有两种限制：每种限制表示为：(a,b,c) ，如果c==0 则表示该人对另外一个人的限制为第a局和第b局出的应该一样，如果c==1表示不一样，问另外一个人是否有赢（规定每轮都不输就称赢）的可能。
思路：所以可以推出每轮必须出能平或赢的动作（两种选择）所以是2-sat。再找...
分类：
其他好文 时间：
2015-05-13 16:51:54
阅读次数：
120
题意：每个数只有0，1两种可能，给出两两之间的AND,OR,XOR的值，判断有没有解
裸题。
#include
#include
#include
#include
using namespace std;
const int N = 2010;
struct Edge
{
int v,next;
}es[N*N];
int head[N];
int n,m;
int tmp[N],...
分类：
其他好文 时间：
2015-05-13 16:51:19
阅读次数：
150
Date构造函数New Date() | Date()没有参数默认就是系统当前时区的时间，结果：Sat Apr11 2015 16:42:09 GMT+0800 (China Standard Time)生成代表当前系统的时间，不用new也可以生成，Date本身就是个方法。New Date(milliseconds)这个毫秒参数是从1970-01-01 00:00:00到现在所经过的时间。New ...
分类：
编程语言 时间：
2015-05-07 10:35:30
阅读次数：
234
摘自http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html
现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] && A[y] = 0、A[x] || A[y] || A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为...
分类：
其他好文 时间：
2015-05-05 19:36:48
阅读次数：
116
题意:
给n对炸弹可以放置的位置(每个位置为一个二维平面上的点),每次放置炸弹是时只能选择这一对中的其中一个点,每个炸弹爆炸的范围半径都一样,控制爆炸的半径使得所有的爆炸范围都不相交(可以相切),求解这个最大半径.
思路：二分半径，建图再2-sat判有无解。
收获：原来tarjan执行后，在同一个强连通分量里的low［］也不一定相同，我以为一定相同，直接用low来是否在一个判...
分类：
其他好文 时间：
2015-05-05 14:34:24
阅读次数：
128
一个cron表达式有至少6个（也可能7个）有空格分隔的时间元素。
按顺序依次为
秒（0~59）
分钟（0~59） 小时（0~23） 天（月）（0~31，但是你需要考虑你月的天数） 月（0~11） 天（星期）（1~7 1=SUN 或 SUN，MON，TUE，WED，THU，FRI，SAT） 7.年份（1970－2099）其中每个元素可以是一个值(如6),一个连续区间(9-12),一个间隔时间...
分类：
其他好文 时间：
2015-05-05 12:42:04
阅读次数：
115
This year is the 60th anniversary of NJUST, and to make the celebration more colorful, Tom200 is going to invite distinguished alumnus back to visit and take photos.
After carefully planning, Tom200 announced his activity plan, one that contains two char...
分类：
其他好文 时间：
2015-04-29 10:07:17
阅读次数：
149
这篇从原理上理解2-sat如何转化成图论问题简述了如何了实现算法：http://wenku.baidu.com/view/31fd7200bed5b9f3f90f1ce2.html
总的来说2-sat有两种算法，一种用dfs染色搜索出一种解，一种用tarjan(判定是否有解)+拓扑排序构造出任意一个可行解。
dfs从理论上复杂度很高，但是实际上远远达不到上界，而且可以按字典序搜索，实现也简单多...
分类：
其他好文 时间：
2015-04-24 09:09:08
阅读次数：
233
先并查集，然后最小生成树，最短路，强连通，双连通，LCA，二分匹配，网络流，2-sat这部分搞完后，开始树直径，树重心，欧拉回路，树分治
分类：
其他好文 时间：
2015-04-23 21:41:17
阅读次数：
138
