序：
模拟赛考了一道 2-sat 问题。之前从来没听过……
考完才发现其实这个东东只要一个小小的 tarjan 求强连通分量就搞定了。考完才发现其实这个东东只要
阅读背景：
2-sat 问题 【例题 Flags（2-sat+线段树优化建图）】
来源：互联网
分享到：
