Tarjan+2-SAT 总结

Tarjan$&$2-SAT

安利XZYXZY
注意边双和点双
ps：里面的部分东西来自\(Anson\)和\(yler\)和\(XZY\)
阅读体验：https://zybuluo.com/Junlier/note/1293491

强连通分量\(&\)割点\(&\)割边\(&\)点双&边双

简介

在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。
若一个无向图中的去掉任意一个节点（一条边）都不会改变此图的连通性，即不存在割点（桥），则称作点（边）双连通图。一个无向图中的每一个极大点（边）双连通子图称作此无向图的点（边）双连通分量。

一些板子(大道理就不讲了,别人讲的好得多)

强连通分量

void Tarjan(int now)
{
    dfn[now]=low[now]=++Dex;
    in[now]=true,st[++top]=now;
    for(int i=hd[now];i;i=ljl[i].nxt)
    {
        int qw=ljl[i].to;
        if(!dfn[qw])Tarjan(qw),low[now]=min(low[now],low[qw]);
        else if(in[qw])low[now]=min(low[now],dfn[qw]);
    }
    if(dfn[now]==low[now])
    {
        ++color;
        while(st[top+1]!=now)
        {
            col[st[top]]=color;
            in[st[top]]=false,--top;
        }
    }
}

割边(桥)

int tarjan(int now,int fm)
{
    low[now]=dfn[now]=++Dex;
    for(int i=hd[now];i;i=ljl[i].nxt)
    {
        int qw=ljl[i].to;
        if(qw==fm)continue;
        if(!dfn[qw])
        {
            low[now]=min(low[now],low[qw]);
            if(low[qw]>dfn[now])
                Bridge.pk(mp(min(now,qw),max(now,qqw)));
            //  push_back make_pair
        }
        else if(dfn[qw]<dfn[now])low[now]=min(low[now],dfn[v]);
    }
} 

割点

void Tarjan(int now,int rt)
{
    int s=0;dfn[now]=low[now]=++Dex;
    for(int i=hd[now];i;i=ljl[i].nxt)
    {
        int qw=ljl[i].to;
        if(!dfn[qw])
        {
            Tarjan(qw,rt);low[now]=min(low[now],low[qw]);
            if(now==rt)++s;
            else if(low[qw]>=dfn[now])cut[now]=1;
        }
        else low[now]=min(low[now],dfn[qw]);
    }
    if(now==rt&&s>1)cut[now]=1;
}

点双

求割点,然后一把搞

void Tarjan(int now,int fm)
{
    int s=0;dfn[now]=low[now]=++Dex;
    for(int i=hd[now];i;i=ljl[i].nxt)
    {
        int qw=ljl[i].to;if(qw==fm)continue;
        if(!dfn[qw])
        {
            Tarjan(R,x);s++;
            tag[now]|=low[qw]>=dfn[now];
            low[now]=min(low[now],low[qw]);
        }
        else low[now]=min(low[now],dfn[qw]);
    }
    if(!fm&&s==1)tag[now]=0;
}

边双

求出桥，然后重新Dfs一遍，强制不经过桥，所有的联通块都是边双。。。

题目

• [x] UOJ#67. 新年的毒瘤
• [x] P3225 [HNOI2012]矿场搭建

缩点(其实可以放一起)

简介

对于一些题目，我们可以在求出 强/点双/边双 连通分量后将每个东西（你懂的）缩成一个点，从而把图简化。有向图缩强连通分量后会变成一个DAG，边双缩点变成树，至于点双。。。需要用一种叫做圆方树的东西维护。

题目

• [x] P2403 [SDOI2010]所驼门王的宝藏
• [x] 洛谷 P1262 间谍网络
• [x] CJOJ P1851 免费航班

2=SAT

简介

每种物品有选或者不选两种状态，有些限制条件形如
选了则必须选，和不能同时选，必须选等等
把逻辑限制关系变成连边
a->b表示如果成立那么一定成立
这个要求你理解逆否命题
逆否命题，举个例子，选必须选，那么我选了就不能选，选就必须选
由于逆否命题产生的对称性使得问题得以在时间求解
具体来说要求同时连接x->y y'->x'
这样跑一遍缩点后如果统一物品的两种状态在同一个边双连通分量中就无解
否则可以输出方案，具体来说是每个点选择缩成的超级点中编号最小的那个（也就是反图拓扑序最小的那个）

题目

• [ ] [POI2001]和平委员会
• [ ] [JSOI2010]满汉全席
• [ ] [UOJ210]寻找罪犯
• [ ] [NOI2017]游戏
• [ ] [HNOI2010]平面图判定
  

• [ ] [POI2010]KOL-Railway

  综合题目？

• [ ] P3132 [USACO16JAN]愤怒的奶牛Angry Cows
• [ ] P2941 [USACO09FEB]环绕岛屿Surround the Islands
• [ ] P2746 [USACO5.3]校园网Network of Schools
• [ ] P3398 仓鼠找sugar
• [ ] P3469 [POI2008]BLO-Blockade
• [ ] P3436 [POI2006]PRO-Professor Szu POI
• [ ] P3119 [USACO15JAN]草鉴定Grass Cownoisseur
• [ ] P2321 [HNOI2006]潘多拉的宝盒

• [ ] P3627 [APIO2009]抢掠计划