摘要： 2-SAT SAT(satisfiabality)是适应性的缩写，一般称K的适应性问题为k-SAT 适应性问题就是有x1-n和y1-n的布尔变量，加入一些限制然后求限制内的解得问题（自己理解） 因为k>2的k-SAT问题是DP完全问题（没有一定的算法和正解）（好吧就是暴力），我们只讨论2-SAT问题 阅读全文

摘要： 就是n的元素给定m个关系求他们之间的关系。 eg. ∵a>b and b>c ∴a>c emmmm 若要知道n个元素的绝对关系，则需知道C(n,2)个关系。 例题：POJ3275 求法：Floyd。关系如下： if(g[i][k] and g[k][j]) g[i][j]=1; 但是呢，对于这个题的 阅读全文