随笔分类 -  图论——2-SAT

摘要:"整数" (线段树) 不难想到按位处理,位数比较多考虑使用动态开点线段树维护大数,那么复杂度是$O(nlog^2n)$的,不够优秀。 但注意到我们需要支持的是二进制下的加减法,而在二进制下我们可以使用int压位来节约时空,于是使用unsigned int压32位,再用线段树维护。这样每一次加减都只会 阅读全文
posted @ 2019-05-06 10:31 cjoier_Itst 阅读(548) 评论(3) 推荐(2)
摘要:JSOI的题质量很高…… "精准预测" (2 SAT、拓扑排序、bitset) 不难发现两个条件都可以用经典的2 SAT连边方式连边,考虑如何加入时间的限制。对于第$x$个人在$t$时刻的状态是生/死建点$(x,0/1,t)$,连上边$(x , 0 , t) \rightarrow (x , 0 , 阅读全文
posted @ 2019-05-04 11:37 cjoier_Itst 阅读(988) 评论(2) 推荐(3)
摘要:"传送门" 每个串只有一个 ,`? 0`或者 ,不难想到2 SAT求解。 一个很暴力的想法是枚举 填`0 1`,然后对所有可能的前缀连边。这样边数是$O(n^2)$的,需要优化。 看到前缀不难想到Trie树。将所有串的所有可能形态填入Trie树中,然后使用前缀后缀优化2 SAT连边的方式优化连边。 阅读全文
posted @ 2019-03-03 21:45 cjoier_Itst 阅读(387) 评论(0) 推荐(0)