题意：平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。 题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条边，那么就必须相交了。 这样，就可以转化成标准的2-SAT问题： 1：每个边看成2个点：分别表示在内部连接和在外部连接，只能选择一个。计作点i和点i' 2：如果两条边i和j必须一个画在内部，一个画在外部（一个简单判断就可以） 那么连边： i->j’, 表示i画内部的话，j只能画外部，即j’ j->i’，同理 i’->j，同理 j’->i，同理 然后就是2-sat算法了，tarjan一下，如果有i和i'同属于一个强联通，返回false，否则就成立。
#include
#include
#include
#include
#include
#include
#include
#include
#include
