【题目大意】给出一张存在哈密顿回路的无向图，判断是否是平面图。【思路】首先平面图的一个性质：边数<=点数*3-6因为存在哈密顿回路，可以将回路看作是一个圆，考量不再哈密顿回路中的边。如果两天边相交（判断相交可以随意yy一下），那么必然一条在圆内一条在圆外，显然是2-SAT。 ...
分类：
其他好文 时间：
2016-07-18 02:49:13
阅读次数：
159
cronExpression表达式： 字段 允许值 允许的特殊字符秒 0-59 , - * /分 0-59 , - * /小时 0-23 , - * /日期 1-31 , - * ? / L W C月份 1-12 或者 JAN-DEC , - * /星期 1-7 或者 SUN-SAT , - * ? ...
分类：
编程语言 时间：
2016-07-14 19:10:06
阅读次数：
150
1、获取当前时间： 运行结果： 2、日期/时间操作 如果在日期列上有索引，在进行操作不建议对这些字段进行日期函数操作，因为这样该列的索引将无效。应该转换一下思路，对操作的值进行函数操作，而非列。 其中日期格式化的format串有： 说明符 说明 %a 工作日的缩写名称 (Sun..Sat) %b 月 ...
分类：
数据库 时间：
2016-07-12 11:57:15
阅读次数：
224
【题目大意】 有n个材料，m个评委。每种材料可以被用来做满族菜或汉族菜，m个评委有两种可以让他满意的猜中。问是否可以满足所有评委要求？ 【思路】 每天只能做三道题，我已经是一个废人了……（葛平躺.jpg） 裸2-SAT,先写了个两遍DFS的，速度略慢……24ms？ ...
分类：
Web程序 时间：
2016-07-11 01:05:22
阅读次数：
246
2-SAT。 首先有平面图定理 m #include #include using namespace std; const int maxn = 10000 + 10; const int maxm = 3000000 + 10; int g[maxn],v[maxm],next[maxm],ei... ...
分类：
其他好文 时间：
2016-07-08 13:46:18
阅读次数：
253
2-SAT。 tarjan缩点。强连通分量的点要选一起选。 #include #include #include using namespace std; const int maxn = 20000 + 10; const int maxm = 200000 + 10; int n,m; int ... ...
分类：
其他好文 时间：
2016-07-07 21:07:27
阅读次数：
145
2-SAT。 好像很复杂的样子所以还在慢慢摸索。。。 这道题只需要tarjan缩点就可以了，如果有一个材料的满式和汉式同时被选中，代表不可能实现。 #include #include #include using namespace std; const int maxn = 5000 + 10; ... ...
分类：
Web程序 时间：
2016-07-07 19:49:41
阅读次数：
209
一个cron表达式有至少6个（也可能7个，6个比7个少元素秒）由空格分隔的时间元素。从左往右按顺序依次为 秒（0~59） 分（0~59） 时（0~23）日（0~31，但是你需要考虑你月的天数）月（0~11）周（0~6 0=SUN 或 SUN，MON，TUE，WED，THU，FRI，SAT）年（197 ...
分类：
其他好文 时间：
2016-07-07 12:37:13
阅读次数：
259
一条边<u,v>表示u选那么v一定被选。 1 #include <iostream> 2 #include <cstring> 3 #include <cstdio> 4 #include <algorithm> 5 using namespace std; 6 const int Maxm=210 ...
分类：
其他好文 时间：
2016-07-06 00:29:09
阅读次数：
312
http://poj.org/problem?id=3683 思路:2-SAT，输出任意一组方案，O(m+n) 为什么我会犯用错数组这种错误。。 ...
分类：
其他好文 时间：
2016-07-02 18:48:27
阅读次数：
209
