POJ3683 Priest John's Busiest Day
摘要：
"原题链接" $2 SAT$模板题。 对于有时间重叠的婚礼转换成$2 SAT$的命题形式连边，用$tarjan$找强连通分量并判断，确定方案即可。 然而一道模板题，我因为数组开小了调了一晚上。。。 阅读全文
posted @ 2018-09-12 21:13 Iowa_Battleship 阅读(108) 评论(0) 推荐(0) 编辑
POJ3678 Katu Puzzle
摘要：
"原题链接" $2 SAT$模板题。 将$AND,OR,XOR$转换成$2 SAT$的命题形式连边，用$tarjan$求强连通分量并检验即可。 cpp include using namespace std; const int N = 2010; const int M = 4e6 + 10; i 阅读全文
posted @ 2018-09-12 13:28 Iowa_Battleship 阅读(130) 评论(0) 推荐(0) 编辑
洛谷4782 【模板】2-SAT 问题
摘要：
"原题链接" $2 SAT$模板 阅读全文
posted @ 2018-09-12 12:59 Iowa_Battleship 阅读(114) 评论(0) 推荐(0) 编辑
BZOJ2330或洛谷3275 [SCOI2011]糖果
摘要：
"BZOJ原题链接" "洛谷原题链接" 很明显的差分约束，但数据范围较大，朴素$SPFA$判正环求解会$T$（理论上如此，但我看到有挺多人用朴素的还跑得挺快。。），所以需要优化。 我们所建立的有向图中所有边的权值只有$0$或$1$，而且若图中有环，那么环上所有边的权值必须为$0$，否则无解。 所以我 阅读全文
posted @ 2018-09-12 11:20 Iowa_Battleship 阅读(156) 评论(0) 推荐(0) 编辑
