expect2004
expect2004
全部文章
算法 - 2-SAT
Codeforces Round(2)
Contests(11)
review(2)
其他(1)
动态规划(19)
动态规划 - 区间DP(3)
动态规划 - 期望与概率DP(1)
动态规划 - 树形DP(4)
动态规划 - 状压DP(1)
动态规划 - 线性DP(1)
动态规划 - 背包(2)
图论 - Tarjan(4)
图论 - 二分图判定(2)
图论 - 拓扑排序(1)
图论 - 最短路(1)
图论 - 生成树(3)
字符串 - AC自动机(2)
字符串 - KMP(2)
字符串 - 后缀数组(SA)(3)
字符串 - 字典树(Trie)(1)
数学 - 其他(2)
数学 - 多项式(3)
数学 - 组合计数(1)
数学 - 莫比乌斯反演(2)
数学 - 高斯消元(2)
数据结构 - 分块(1)
数据结构 - 平衡树(1)
数据结构 - 树状数组(1)
数据结构 - 树链剖分(2)
数据结构 - 珂朵莉树(2)
数据结构 - 线段树(6)
数据结构 - 虚树(1)
未归档(6)
模板(5)
游记(3)
算法 - CDQ分治(1)
算法 - 搜索(2)
算法 - 树分治(2)
算法 - 矩阵树定理(1)
网络流(7)
网络流 - 二分图相关(1)
网络流 - 最大流(1)
网络流 - 最小割(6)
题解(22)
归档
标签
去牛客网
登录
/
注册
萌新expect的博客
由零至灵,由壹达意
全部文章
/ 算法 - 2-SAT
(共2篇)
LG3825/BZOJ4945/LOJ2305 「NOI2017」游戏 dfs+2-SAT
问题描述 LG3825 BZOJ4945 LOJ2305 题解 发现对于每个地图,如果没有\(A,B,C\)地图不可以使用\(a,b,c\),就是一个\(\mathrm{3-SAT}\)问题。 有了这个限制之后,\(A,B,C\)地图就变为了\(\mathrm{2-SAT}\)问题,...
2019-09-15
0
423
LG4171/BZOJ1823 「JSOI2010」满汉全席 2-SAT
问题描述 LG4171 BZOJ1823 题解 显然,每个评委对每个材料的满式/汉式要求是对\(n\)个元素的\(0,1\)取值限制。 显然想到\(\mathrm{2-SAT}\) 于是就可以切掉了。 \(\mathrm{Code}\) #include<bits/st...
2019-09-13
0
412