2-SAT 入门题 party

最新推荐文章于 2020-12-18 21:18:57 发布

sooowhat

最新推荐文章于 2020-12-18 21:18:57 发布

阅读量376

点赞数

CC 4.0 BY-SA版权

分类专栏：暑期总结文章标签： iterator n2 vector ini

本文链接：https://blog.youkuaiyun.com/sooowhat/article/details/6691617

暑期总结专栏收录该内容

7 篇文章

订阅专栏

本文介绍了一段使用C++实现的Tarjan算法模板，适用于解决带权图中的强连通分量问题。通过实例演示了如何在图中查找强连通分量，并提供了检查函数来验证算法正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include<vector>
#include<iostream>
#define N 2004
#include<cstdio>
#include<cstring>
using namespace std;
int n,m;
vector <int> g[N];
int low[N]; int dfn[N]; int stack[N]; bool in_stack[N]; int scc[N];
int index=0;  int top;  int color=0;
 void solve();
 void tarjan(int);
  int check();
int main()
{
    freopen("in.txt","r",stdin);
    int n1,n2,t1,t2;
    while(cin>>n>>m){
        for(int i=0;i<N;i++)
           g[i].clear();
    for(int i=0;i<m;i++)
    {
        scanf("%d%d%d%d",&n1,&n2,&t1,&t2);
        g[2*n1+t1].push_back(2*n2+1-t2);
        g[2*n2+t2].push_back(2*n1+1-t1);
    }
      solve();
      if(check())
      cout<<"YES"<<endl;
      else cout<<"NO"<<endl;
    }

}



void tarjan(int s)
{
     low[s]=dfn[s]=++index;
     stack[top++]=s;
     in_stack[s]=true;
     vector <int> :: iterator p;
     for(p=g[s].begin();p!=g[s].end();p++)
     {
         if(!dfn[*p])
          {tarjan(*p);
          low[s]=min(low[s],low[*p]);
          }
        else if(in_stack[*p])  // 必须是在栈内
        {
            low[s]=min(low[s],dfn[*p]);
        }
     }
    if(dfn[s]==low[s])
    {
        color++;
        int t;
        do{
          t=stack[top-1];
          scc[t]=color;
          top--;
          in_stack[t]=false;
        }while(t!=s);
    }
 }

 void solve()
 {
     memset(in_stack,0,sizeof(in_stack));
     memset(dfn,0,sizeof(dfn));
     memset(low,0,sizeof(low));
     index=0; top=0; color=0;
     for(int i=0;i<2*n;i++)
       if(!dfn[i])
          tarjan(i);
 }

 int check()
 {
     for(int i=0;i<2*n;i+=2)
     {
         if(scc[i]==scc[i+1])
         return 0;
     }
     return 1;
 }

也许可以当模版用..