摘要： Part 0:前置知识 Tarjan求SCC Part 1:初识2-SAT sat即Satisfiability(可满足性问题)，2-set问题指对于一串布尔变量，其只有True和False两种取值，在满足若干个约束条件的前提下，对变量赋值 举个栗子： A、B、C去吃早餐 小A认为一顿好早餐应该菜品 阅读全文