2019年4月15日
poj3207 Ikki's Story IV - Panda's Trick 2-SAT
摘要： 题目传送门 题意：在一个圆上顺时针安放着n个点，给出m条线段连接端点，要求线段不相交，线段可以在圆内也可以在圆外，问是否可以。 思路：假设一条线段，放在圆外是A,放在园内是A'，那么两条线段如果必须一个放圆内一个放圆外的条件就是 端点区间相交（严格相交），所以就建立了2-SAT模型，然后跑2-SAT 阅读全文
posted @ 2019-04-15 14:35 光芒万丈小太阳 阅读(145) 评论(0) 推荐(0) 编辑