摘要:
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; 但是呢,对于这个题的 阅读全文