传送门:【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
A,B不能同时不选:<A',B><B',A>,表示不选A则必须选B,不选B则必须选A
A,B必须同时选或同时不选:<A,B><B,A><A',B'><B',A'>,略。。
最后对建好的图求一次强连通分量,如果存在同一组的A,A'在同一个强连通分量中则说明选择方案矛盾,无解。
如果要输出解什么的。。等我继续做下去的时候会说的。。。
本题就是最基本的判断是否有解。
代码如下:
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std ;
#define REP( i , a , b ) for ( int i = ( a ) ; i < ( b ) ; ++ i )
#define FOR( i , a , b ) for ( int i = ( a ) ; i <= ( b ) ; ++ i )
#define REV( i , a , b ) for ( int i = ( a ) ; i >= ( b ) ; -- i )
#define CLR( a , x ) memset ( a , x , sizeof a )
const int MAXN = 2005 ;
const int MAXE = 2333333 ;
struct Edge {
int v ;
Edge* next ;
} ;
Edge E[MAXE] , *H[MAXN] , *cur ;
int dfn[MAXN] , low[MAXN] , scc[MAXN] ;
int S[MAXN] , top ;
int dfs_clock , scc_cnt ;
int n , m ;
void init () {
top = dfs_clock = scc_cnt = 0 ;
cur = E ;
CLR ( H , 0 ) ;
CLR ( scc , 0 ) ;
CLR ( dfn , 0 ) ;
}
void addedge ( int u , int v ) {
cur -> v = v ;
cur -> next = H[u] ;
H[u] = cur ++ ;
}
void tarjan ( int u ) {
dfn[u] = low[u] = ++ dfs_clock ;
S[top ++] = u ;
for ( Edge* e = H[u] ; e ; e = e -> next ) {
int v = e -> v ;
if ( !dfn[v] ) {
tarjan ( v ) ;
low[u] = min ( low[u] , low[v] ) ;
} else if ( !scc[v] ) low[u] = min ( low[u] , dfn[v] ) ;
}
if ( dfn[u] == low[u] ) {
++ scc_cnt ;
while ( 1 ) {
int v = S[-- top] ;
scc[v] = scc_cnt ;
if ( v == u ) break ;
}
}
}
void scanf ( int& x , char c = 0 ) {
while ( ( c = getchar () ) < '0' || c > '9' ) ;
x = c - '0' ;
while ( ( c = getchar () ) >= '0' && c <= '9' ) x = x * 10 + c - '0' ;
}
int solve () {
int u , v , ui , vi ;
init () ;
while ( m -- ) {
scanf ( u ) , scanf ( v ) , scanf ( ui ) , scanf ( vi ) ;
addedge ( ( u << 1 ) ^ ui , ( v << 1 | 1 ) ^ vi ) ;
addedge ( ( v << 1 ) ^ vi , ( u << 1 | 1 ) ^ ui ) ;
}
REP ( i , 0 , n << 1 ) if ( !dfn[i] ) tarjan ( i ) ;
REP ( i , 0 , n ) if ( scc[i << 1] == scc[i << 1 | 1] ) return 0 ;
return 1 ;
}
int main () {
while ( ~scanf ( "%d%d" , &n , &m ) ) printf ( solve () ? "YES\n" : "NO\n" ) ;
return 0 ;
}