摘要:
$n$个数字按顺序排成一圈,给出$m$条连线$(a,b)$,连线可以在圆内或圆外,问是否可能做到所有连线只在顶点上相交。 分析 一个好像平面图判定的题~ 两条线$(a,b)$,$(c,d)$相交的条件是$a include include include using namespace std; i 阅读全文
摘要:
有$n$个bool变量和$m$条限制,每条限制为a op b=c的形式,其中op为逻辑运算,问是否存在合法解。 分析 这一类问题叫做2 SAT问题,有很多个两种取值的变量,其中有一些限制条件。2 SAT问题我们采用建模的方式,如果$a$选就一定要选$b$,那么连有向边$(a,b)$。2 SAT问题有 阅读全文