2019年7月12日
LuoguP4782 【模板】2-SAT 问题 （2-SAT）
摘要： Not difficult, the only problem is how to deal with give 0/1 to the var. Tarjan offers the reverse topological order. For each connected, the earlier 阅读全文
posted @ 2019-07-12 20:57 邱涵的秘密基地 阅读(125) 评论(0) 推荐(0) 编辑
HDU3062 Party (2-SAT)
摘要： 没注意边数T了N遍的我真是弱啊 阅读全文
posted @ 2019-07-12 18:10 邱涵的秘密基地 阅读(142) 评论(0) 推荐(0) 编辑
BZOJ1977/LuoguP4180【模板】严格次小生成树[BJWC2010] （次小生成树）
摘要： 这道题本身思维难度不大，但综合性强，细节多 在其上浪一个早上，你的 最小生成树 树链剖分 线段树 DEBUG能力 ... 都大幅提升 细节与思路都在代码里面了。 欢迎hack. 阅读全文
posted @ 2019-07-12 14:42 邱涵的秘密基地 阅读(97) 评论(0) 推荐(0) 编辑