2015年10月28日
2-SAT问题及其算法
摘要： [转]http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.aspx【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x]OR A[y]OR A[z]=1等，要确定A[0..N-1]... 阅读全文
posted @ 2015-10-28 21:16 LinKArftc 阅读(304) 评论(0) 推荐(0)
HDU1907（尼姆博弈）
摘要： JohnTime Limit: 5000/1000 MS (Java/Others)Memory Limit: 65535/32768 K (Java/Others)Total Submission(s): 3762Accepted Submission(s): 2127Problem Descri... 阅读全文
posted @ 2015-10-28 10:33 LinKArftc 阅读(190) 评论(0) 推荐(0)