某些简单知识点（2）

标签：bfs   集合   解决   很多   解决方法   重点   问题   tar   选中   

只记重点

2-SAT问题
有N个集合，每个集合最多有两个元素，要求从每个集合中都选出一个元素，并且此方案满足若干限制条件。
如：选A必选B，AB不同选，至少选AB一个...
解决方法是每个元素拆成两个点分别表示选与不选，用条件的必然性进行连边，跑BFS，若发现一个元素从一个点出发，最后两个点都被选中，则方案失败，换一个点出发若也失败，则无解。
此方法的好处是简单，易操作，可以字典序输出方案。（不知道为什么很多人缩点tarjan玩）。

某些简单知识点（2）

标签：bfs   集合   解决   很多   解决方法   重点   问题   tar   选中   

原文地址：https://www.cnblogs.com/chadinblog/p/9192330.html