该文被密码保护。 阅读全文
posted @ 2018-09-14 19:01 Trrui 阅读(3) 评论(0) 推荐(0) 编辑
摘要: 题目大意 有$n$个城镇被分成了$k$个郡,有$m$条连接城镇的无向边。要求给每个郡选择一个城镇作为首都,满足每条边至少有一个端点是首都。 题目分析 每条边至少有一个端点是首都,每个郡至多一个首都,很容易想到$2 sat$判定。 考虑如何建边。我们用$x$表示在编号为$x$的节点建首都,$x'$表示 阅读全文
posted @ 2018-09-14 13:29 Trrui 阅读(226) 评论(0) 推荐(0) 编辑
该文被密码保护。 阅读全文
posted @ 2018-09-14 07:22 Trrui 阅读(3) 评论(0) 推荐(0) 编辑