HDU 3062 Party (2-sat)
2 - sat 첫 발.물 문제.
먼저 A, A '가 같은 그룹의 두 개의 불 변수 이 고 같은 그룹의 두 변 수 를 동시에 선택 할 수 없다 고 가정 합 니 다.A 와 A 를 동시에 선택 한 방안 이 있다 면 이 방안 은 풀 리 지 않 는 다.< X, Y > 를 X 를 선택 하려 면 Y 를 선택해 야 합 니 다. 기본 적 인 건 도 는 다음 과 같 습 니 다. A, B 는 동시에 선택 할 수 없습니다. < A, B '> < B, A' > 는 A 를 선택 하면 B 를 선택 할 수 없고 B 를 선택 하면 A 를 선택 할 수 없습니다. B 는 동시에 선택 하지 않 을 수 없습니다. < A ', B >, A 를 선택 하지 않 으 면 B 를 선택해 야 합 니 다. B 를 선택 하지 않 으 면 A 를 선택해 야 합 니 다. B 는 동시에 선택 하거나 동시에 선택 하지 않 아야 합 니 다.
이 문제 에 대해 말하자면 부 부 는 같은 조 의 두 개의 불 변수 이다. 그리고 약간의 모순 관 계 를 제시 했다. 이러한 모순 관계 에 따라 변 을 더 한 다음 에 한 조 의 불 변수 가 같은 강 한 연결 분량 에 있 는 지 판단 한다. 만약 에 같은 조 에 있다 면 모순 이 생 겼 고 풀 리 지 않 는 다 는 것 을 설명 한다.
코드 는 다음 과 같 습 니 다:
#include <iostream>
#include <cstdio>
#include <string>
#include <cstring>
#include <stdlib.h>
#include <math.h>
#include <ctype.h>
#include <queue>
#include <map>
#include <set>
#include <algorithm>
using namespace std;
#define LL __int64
const int INF=0x3f3f3f3f;
int dfn[2100], low[2100], belong[2100], instack[2100], stak[2100];
int head[2100], cnt, index, top, ans;
struct node
{
int u, v, next;
}edge[100000];
void add(int u, int v)
{
edge[cnt].v=v;
edge[cnt].next=head[u];
head[u]=cnt++;
}
void init()
{
memset(dfn,0,sizeof(dfn));
memset(instack,0,sizeof(instack));
memset(head,-1,sizeof(head));
cnt=0;
index=top=ans=0;
}
void tarjan(int u)
{
dfn[u]=low[u]=++index;
stak[++top]=u;
instack[u]=1;
for(int i=head[u];i!=-1;i=edge[i].next)
{
int v=edge[i].v;
if(!dfn[v])
{
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(instack[v])
{
low[u]=min(dfn[v],low[u]);
}
}
if(low[u]==dfn[u])
{
ans++;
while(1)
{
int v=stak[top--];
instack[v]=0;
belong[v]=ans;
if(u==v) break;
}
}
}
int main()
{
int n, m, i, a1, a2, c1, c2, j, flag;
while(scanf("%d%d",&n,&m)!=EOF)
{
init();
while(m--)
{
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
add(2*a1+c1,2*a2+1-c2);
add(2*a2+c2,2*a1+1-c1);
}
for(i=0;i<2*n;i++)
{
if(!dfn[i])
tarjan(i);
}
flag=0;
for(i=0;i<n;i++)
{
if(belong[i<<1]==belong[i<<1|1])
{
flag=1;
break;
}
}
if(flag)
puts("NO");
else
puts("YES");
}
return 0;
}
이 내용에 흥미가 있습니까?
현재 기사가 여러분의 문제를 해결하지 못하는 경우 AI 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
Linux Shell 프로 그래 밍 - 텍스트 처리 grep, sed사용자 가 지정 한 '모드' 에 따라 대상 텍스트 를 일치 하 게 검사 하고 일치 하 는 줄 을 인쇄 합 니 다. ##포함 되 지 않 음, 역방향 일치 \ ##키워드 앞 뒤 가 맞지 않 고 키워드 만 일치 합 니 다...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.