// 只存求解模板, 具体证明请自行百度.
推荐一篇好博客
鉴于求解中的清晰度, 所以强连通部分选择使用Kosaraju算法实现, 可使代码清晰度提高很多. 注意这个算法比Tarjan的常数要大. 而且好像2-SAT问题关键在于建好图, 其他的貌似求求强连通即可. 然后知道强连通的序号和原始序号的关系即可.
板子: (单纯求最后的方案数以及方案的, 不要求字典序的, 复杂度O(V + E))（代码例题: POJ3207 , 圆上有点连边问题）
暴力求解字典序要求的方案的: (只有暴力求啦~)