2-SAT
Cold_Chair
我XXX就是饿死,死外边,从这里跳下去,也不会再做你九条可怜一个测试点
展开
-
2-SAT学习小记
推荐博客:【研究总结】2-sat问题问题描述:现在有n个集合,每个集合里有一些元素。 现在要求从每个集合里选出一个元素,并且两两集合选出的元素有限制…… 记一个集合里最多有k个元素,那么这个问题称作k-sat问题。 k=2即是2-sat问题,是有价值讨论的问题。 当k>=3时,被证明是NP完全问题,是无法在多项式复杂度内求解的。例题引入:poj上的一道裸题。 有n个未知数x,值只能是0或1原创 2017-10-21 08:14:04 · 333 阅读 · 0 评论 -
51nod 1318 最大公约数与最小公倍数方程组
原题链接.题解:首先分解质因数,gcd就相当于指数的min,lcm就相当于指数的max。于是问题变成了这样: 给出一坨类似于以下的限制: min(a,b) = c max(a,b) = c 问是否有解?以min为例.min(a,b) = c 即(a >= c) and (b >= c) and (a = c or b = c)注意到指数是很小的,c不超过三十。于是可以把x拆成31(0->3原创 2017-10-23 20:05:33 · 640 阅读 · 1 评论