随笔分类 - 图论----2-sat
摘要：每个串拆成两个，都插入trie数。 把trie树建出来后，每一条从根到叶子的链上最多只能有一个变量为1。 这是个经典的前后缀优化2 sat建图的套路。 树上的做法也就是边dfs边做而已。 cpp include define N 3300000 define eps 1e 7 define inf
阅读全文
摘要：算法流程 x0 > y1 表示x为false时y必须为true 最后输出的时候谁的bel小选谁 前后缀建图 例：要求n个变量满足至多有1个为true。 暴力：一个点的true向其它n-1个点的false连边，复杂度O(n^2)。 正解：prei表示前i个点是否有真。 prei的true向prei+1
阅读全文
