随笔分类 -  图论-2-sat

摘要:[Poi2011]Conspiracy 给定一张图 \(G\),将其划分成两个集合 \(S\) 和 \(T\),满足 \(S\land T=\varnothing,S\lor T=G,S\ne \varnothing,T\ne \varnothing\)。 其中 \(S\) 为一个团,\(T\) 为 阅读全文
posted @ 2020-09-11 19:24 Soulist 阅读(172) 评论(0) 推荐(0)
摘要:貌似这道题挺妙的样子?~~(其实是我太弱了)~~ ~~也算是一篇$2 sat$的小结吧?~~ $2 sat$ 给定一些布尔类型,每个点只有$0/1$两种取值,然后给出多种限制条件,要求方案。 考虑把每个点拆成两个点,如:$a a_1,a_0$ 然后对于每种限制条件进行不同的连边。 以这道题为例, 我 阅读全文
posted @ 2019-03-31 10:04 Soulist 阅读(261) 评论(0) 推荐(0)