摘要：
2_sat 学习笔记 SAT 是适定性（Satisfiability）问题的简称，这里只讲 2_sat 是因为这个问题不是npc 问题 是可解的。 一般来说，就是设置两个变量，分别是 a 和 $\lnot a $ 这里的 a 是一个表达式，比如这个人是否选，这个值是否小于一个值之类。 阅读全文
摘要：
缩点（图的联通）学习笔记 图论的真神——tarjan 其实这个没什么好写的，主要就是缩完点之后树上问题，难点反而是树上的问题。 具体运用——2-sat 强联通缩点，可以类比一个树上的问题？但是有非树边，这里的非树边可以有前向边（就是指向祖先），后向边（指向子孙），横叉边（除了上面的边），很明显后向边 阅读全文