随笔分类 -  图论-SAT

摘要:令 \(u\) 表示选择电站 \(u\) , \(u'\) 表示不选择电站 \(u\)。 首先可以简单的处理出电站之间的要求: \(u,v\) 至少选一个,连边 \((u',v),(v',u)\) \(u,v\) 至多选一个,连边 \((u,v'),(v,u')\) 可以枚举 \(f\) ,电站区间 阅读全文
posted @ 2021-04-08 20:22 chihik 阅读(67) 评论(0) 推荐(0)