Party Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 6682 Accepted Submission(s): 2194 Problem D ...
分类：
其他好文 时间：
2017-08-26 22:13:24
阅读次数：
211
m<=4000条关系描述n<=1000个事件，每条关系描述了一个或语句表示“x事件发生或不发生”或“y事件发生或不发生”，求每个事件是必发生、必不发生还是都行，无解输出IMPOSSIBLE。 是一个2-SAT问题。建图后把每个事件发生不发生都dfs一遍即可。听说缩点后会更快，就写了个tarjan。 ...
分类：
其他好文 时间：
2017-08-26 14:28:11
阅读次数：
129
1.现象 前端向nodejs服务器请求数据时，发现得到的返回数据中日期字段（json格式）值不熟，处理时发现有时差 从mysql中读出的时间格式 > publishtime：Sat Aug 19 2017 15:46:01 GMT+0800 (中国标准时间) 前端收到的时间格式 > "publish ...
分类：
Web程序 时间：
2017-08-19 22:31:51
阅读次数：
536
2-SAT 设 $n$ 个布尔变量 $f_1, f_2, ..., f_n$ . 给定 $m$ 个形如 " 变量 - 逻辑运算符 - 变量 " 的二元限制条件, 例如 $f_1 ~ and ~ f_2$ . 解布尔变量. 就现在的研究层次, 我们要解决的问题是 存在性 层次的相关问题: ① 解什么时 ...
分类：
其他好文 时间：
2017-08-18 14:39:29
阅读次数：
163
一个cron表达式有至少6个（也可能7个）有空格分隔的时间元素。 按顺序依次为 秒（0~59） 分钟（0~59） 小时（0~23） 天（月）（0~31，但是你需要考虑你月的天数） 月（0~11） 天（星期）（1~7 1=SUN 或 SUN，MON，TUE，WED，THU，FRI，SAT） 年份（19 ...
分类：
其他好文 时间：
2017-08-17 10:41:48
阅读次数：
137
/* 二分+2-sat 题意：在一个二维平面上给你n个炸弹，和2*n个位置，每一行的两个位置仅仅能有一个放炸弹 如今炸弹爆炸有一个半径。当炸弹爆炸时两个炸弹的半径化成的圆不能相交，求最大半径 二分半径。 每次假设一个炸弹可放的两个位置中的一个与其它位置有矛盾，就进行建边。最后推断是否存在这样一组解 ...
分类：
其他好文 时间：
2017-08-16 20:29:43
阅读次数：
132
1.什么是枚举？ 枚举其实就是一个整型常数的集合，最简单的例子就是表示星期的SUN, MON, TUE, WED, THU, FRI,SAT, 就是一个枚举。 2.iOS中枚举的使用 在ObjC中可以使用C语言的方式进行枚举，其实ObjC的枚举就是在C语言上演化而来，先了解C语言定义一个枚举的方式有 ...
分类：
移动开发 时间：
2017-08-16 19:12:46
阅读次数：
256
转载请注明出处：http://blog.csdn.net/zhoubin1992/article/details/46910079 1 SAT问题描写叙述 命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 全然问题.在定义可满足性问题SAT之 ...
分类：
编程语言 时间：
2017-08-13 20:12:05
阅读次数：
334
一个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.年份（ ...
分类：
编程语言 时间：
2017-08-12 20:34:49
阅读次数：
174
1.JSON 不能存储 Date 对象。 2.如果你需要存储 Date 对象，需要将其转换为字符串。 3.之后再将字符串转换为 Date 对象。 举例： 结果为： 将字符串转换为 Date 对象。 Runoob创建日期: Sat Dec 14 2013 08:00:00 GMT+0800 (中国标准 ...
分类：
Web程序 时间：
2017-08-10 01:17:36
阅读次数：
255
