Eirlys的博客

关于2-sat的具体讲解，推荐神犇博客：http://blog.youkuaiyun.com/moguxiaozhe/article/details/49047085 不再赘述，简单列出具体实现步骤： （1）tarjan缩点，顺便判断可行性 （2）建反边，重构图 （3）记录矛盾找出缩点后的对立块 （4）在新图上进行拓扑排序 （5）按拓扑排序的顺序（从影响小的开始），将一个未

按照2-sat的套路直接写就好了...由于要求输出字典序最小的方案数，所以在新图上处理的时候按字典序最小的拓扑序进行染色（不用dfs进行传递） uses math; var n,m,l,x,y,tt :longint; time,top,size :longint; i :longint; vi