听后感： 英语不容易听懂，结合看PPT，大概了解了他的工作。影响深刻的是他介绍了所研究问题的历史发展，相关工作，然后介绍自己的工作，这种研究方法的严谨性和条理性值得借鉴。介绍了逻辑发展史、遇到的挑战以及与当下研究热点的结合：可满足问题（SAT）、机器学习、深度学习等等紧密相关。 "Logic for
分类：
其他好文 时间：
2016-03-02 21:35:36
阅读次数：
199
Description Input Output 找到哈密尔顿环之后找到不在哈密尔顿环上的边 这些边如果同时在里面相交那他们同时在外面也相交，所以只能一外一内，这就变成了2-SAT，判一下就好了 平面图性质 边数<=3*n-6 1 #include<cstdio> 2 #include<cstrin
分类：
其他好文 时间：
2016-03-01 08:36:42
阅读次数：
233
一个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.年份（
分类：
编程语言 时间：
2016-02-29 18:04:22
阅读次数：
1682
#include "stdio.h"typedef enum weekday{sun,mon,tue,wed,thu,fri,sat} week;typedef enum ledstate{on,off,tri} state;void main(){week a,b,c,d;state ledon,
分类：
编程语言 时间：
2016-02-29 16:32:39
阅读次数：
158
星期一MON 星期二TUE 星期三WED 星期四THU 星期五FRI 星期六SAT 星期日SUN 1 / 2 JAVA程序设计 1-15(1,2) B205 网络专1401,网络专1402 3 / 4 JAVA程序设计 3-15(3,4) 网络专1401,网络专1402 5 / 6 php动态网页程
分类：
其他好文 时间：
2016-02-23 18:26:14
阅读次数：
177
http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=4879 TLE了一下午。然后没办法了 去搜题解 发现思路跟我的差点儿相同 可是就是我的T 后来扩大了数组 然后AC，无语啊 按我的估算 500个点 开到1000+就够了 可是不够
分类：
其他好文 时间：
2016-02-19 20:36:35
阅读次数：
284
检测凸多边形碰撞的一种简单的方法是SAT（Separating Axis Theorem），即分离轴定理。 原理：将多边形投影到一条向量上，看这两个多边形的投影是否重叠。如果不重叠，则认为这两个多边形是分离的，否则找下一条向量来继续投影。我们不需要比较很多条向量，因为已经在数学上证明，多边形每条边的
分类：
其他好文 时间：
2016-02-18 13:54:29
阅读次数：
337
2-sat总结 2-sat问题，一般表现的形式为。每一个点有两种方式a,b，要么选a，要么选b。而且点点之间有一些约束关系。比如：u和v至少一个选a。那么这就是一个表达式。把a当成真，b当成假，那就是u真或v真。2-sat的题目就是这样。给定这些约束，推断是否会矛盾 注意表达式的转化形式，（事实上就
分类：
其他好文 时间：
2016-02-06 22:13:01
阅读次数：
209
<?php echo "时间格式1：".date("Y-m-d H:i:s ")."<br>";// 2010-06-12 10:26:31 echo "时间格式2：".date("y-M-D h:i:S ")."<br>";// 10-Jun-Sat 10:43:th echo "月份，英文全名：
分类：
Web程序 时间：
2016-02-02 17:52:54
阅读次数：
189
一个cron表达式有至少6个（也可能7个）有空格分隔的时间元素。按顺序依次为1.秒（0~59）2.分钟（0~59）3.小时（0~23）4.天（月）（0~31，但是你需要考虑你月的天数）5.月（0~11）6.天（星期）（1~7 1=SUN 或 SUN，MON，TUE，WED，THU，FRI，SAT）7...
分类：
其他好文 时间：
2016-01-15 09:48:37
阅读次数：
205
