2sat....可看出每个宇航员可以有两种任务选择 (A/B) 或 C
对于每一对有矛盾的宇航员,如果属于同一年龄段 那么这两个人选择的任务不应该相同
如果属于不同的年龄段,则俩个人不能同时选择任务C
Astronauts
Time Limit: 3000MS
Memory Limit: Unknown
64bit IO Format: %l...
分类：
其他好文 时间：
2014-05-03 15:37:50
阅读次数：
273
二分时间+2sat
边加多了....RE了好久......
Now
or later
Time Limit: 9000MS
Memory Limit: Unknown
64bit IO Format: %lld & %llu
[Submit] [Go Back] [Status]
D...
分类：
其他好文 时间：
2014-05-02 23:59:02
阅读次数：
712
在 SQL 中，实现的是三值谓词逻辑。通常一个命题要么为 TRUE，要么就为 FALSE。而在
SQL 中，它用 NULL
符号来表示缺少值。SQL的谓词的计算机结果可以是TRUE、FALSE或UNKNOWN(未知）。如果逻辑表达式只涉及已经存在的值，那么最终的计算机结果要么为TRUE，要么为FAL...
分类：
其他好文 时间：
2014-05-02 01:20:34
阅读次数：
357
1 function getRealIp() { 2 if
(getenv("HTTP_CLIENT_IP") && strcasecmp(getenv("HTTP_CLIENT_IP"),
"unknown")) 3 $ip = getenv("HTTP_C...
分类：
Web程序 时间：
2014-04-30 01:42:33
阅读次数：
422
今天clone了一份代码，跑gradle test时出现failed，从report上来看是这个错误：IllegalArgumentException，具体如下：
java.lang.IllegalArgumentException
at org.objectweb.asm.ClassReader.(Unknown Source)
at org.objectweb.asm.ClassRead...
分类：
其他好文 时间：
2014-04-29 13:27:21
阅读次数：
359
