摘要：
转自:http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.html【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x]OR A[y]OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。由于在2-SAT问题中，最多只对两个元素进行限制，所以可能的限制关系共有11种：A[x]NOT A[x]A[x] AND A[y]A[x] AND NOT A[y]A[x] .. 阅读全文
摘要：
转自:http://www.cnblogs.com/ma6174/archive/2011/12/10/2283393.html花了很长时间整理的，感觉用起来很方便，共享一下。我的vim配置主要有以下优点：1.按F5可以直接编译并执行C、C++、java代码以及执行shell脚本，按“F8”可进行C、C++代码的调试2.自动插入文件头 ，新建C、C++源文件时自动插入表头：包括文件名、作者、联系方式、建立时间等，读者可根据需求自行更改3.映射“Ctrl + A”为全选并复制快捷键，方便复制代码4.按“F2”可以直接消除代码中的空行5.“F3”可列出当前目录文件，打开树状文件目录6. 支持鼠.. 阅读全文