简单2-SAT问题,看了一下网上的资料, 强连通分量的更深层次的应用,
目前只知道这样求,具体算法的原理还有点模糊,下去应该好好看看,,,
#include<stdio.h>
#include<string.h>
#include<stack>
#define N 2010
using namespace std;
int n,m,low[N],dfs[N],belong[N],ins[N],idx,ans;
struct Eage
{
int ed;
Eage *next;
}*eage[N];
void addeage(int x,int y)
{
Eage *p=new Eage;
p->ed=y;
p->next=eage[x];
eage[x]=p;
}
stack<int>Q;
void Tarjan(int x)
{
int v; ......
阅读全文