摘要: 圆桌会议必须满足:奇数个人参与,相邻的不能是敌人(敌人关系是无向边)。 求无论如何都不能参加会议的骑士个数。只需求哪些骑士是可以参加的。 我们求原图的补图:只要不是敌人的两个人就连边。 在补图的一个奇圈里(由奇数个点组成的环)每个点都是可以参加的。而一个奇圈一定在点双连通分量里,所以我们把原图的每个 阅读全文
posted @ 2016-08-11 10:10 水郁 阅读(465) 评论(0) 推荐(0) 编辑
摘要: 2-SAT的入门题。 a,a',b,b'分别表示两对夫妇,如果a,b有矛盾,那么a要来,就只能来b',b要来,就只能来a'。于是建了两条边(a,b'),(b,a')。 用tarjan强连通分量缩点染色后,如果同一对夫妇染色相同,说明两个要么都来,要么都不来,就不可能有解了。否则,形成的强连通分量中必 阅读全文
posted @ 2016-08-11 08:35 水郁 阅读(630) 评论(0) 推荐(0) 编辑
……