gzwzm06

  C++博客 :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理 ::
  1 随笔 :: 52 文章 :: 17 评论 :: 0 Trackbacks
2-SAT 问题
关键:建图(建议先看赵爽的论文)
#include <stdio.h>
#include 
<cstring>
#include 
<stack>
using namespace std ;

const int MAXN = 2005 ;

struct Node{
    
int ID; 
    Node 
*next;
}
mapa[MAXN] ;

Node gTemp[
110001] ;
int gPos = 0 ;


int N , M ;    //点数 边数
int g_Pred[MAXN], g_Num[MAXN], SN, flag[MAXN] ;
bool visited[MAXN];
stack
<int> g_Stack ;

void Insert(int a, int b)

    Node 
*= &gTemp[gPos++];
    p
->ID = b;
    p
->next = mapa[a].next;
    mapa[a].next 
= p;
}


void Build( const int& a , const int& b, const int& c, const char* cmd )
{
    
if ( strcmp( cmd , "AND" ) == 0 )
    
{
        
if ( c == 1 )
        
{
            Insert( a 
+ N, a ) ;
            Insert( b 
+ N, b ) ;
        }

        
else {
            Insert( a, b 
+ N ) ;
            Insert( b, a 
+ N ) ;
        }

    }

    
else if ( strcmp( cmd , "OR" ) == 0 )
    
{
        
if ( c == 1 )
        
{
            Insert( a 
+ N , b ) ;
            Insert( b 
+ N , a ) ;
        }

        
else {
            Insert( a, a 
+ N ) ;
            Insert( b, b 
+ N ) ;
        }

    }

    
else if ( strcmp( cmd , "XOR" ) == 0 )
    
{
        
if ( c == 1 )
        
{
            Insert( a 
+ N , b ) ;
            Insert( b 
+ N , a ) ;
            Insert( b , a 
+ N ) ;
            Insert( a , b 
+ N ) ;
        }

        
else {
            Insert( a 
+ N , b + N ) ;
            Insert( b 
+ N , a + N ) ;
            Insert( a , b ) ;
            Insert( b , a ) ;
        }

    }

}


int MIN( const int& a, const int& b )
{
    
return ( a < b ? a : b ) ;
}


// Tarjan算法 求SCC
void StrongDFS( int v )
{
    g_Pred[v] 
= g_Num[v] = SN++ ;

    g_Stack.push( v ) ;

    Node 
*ptr = mapa[v].next ;

    visited[v] 
= true ;

    
while ( ptr ){
        
if ( g_Num[ptr->ID] == 0 )
        
{
            StrongDFS( ptr
->ID ) ;
            g_Pred[v] 
= MIN( g_Pred[v], g_Pred[ptr->ID] ) ;
        }

        
else if ( g_Num[ptr->ID] < g_Num[v] && !visited[ptr->ID] )
        
{
            g_Pred[v] 
= MIN( g_Pred[v], g_Num[ptr->ID] ) ;
        }


        ptr 
= ptr->next ;
    }

    
if ( g_Pred[v] == g_Num[v] )
    
{
        
int w = g_Stack.top() ;
        g_Stack.pop() ;
        
while ( w != v )
        
{
            flag[w] 
= SN ;
            w 
= g_Stack.top() ;
            g_Stack.pop() ;
        }

        flag[w] 
= SN ;
    }

}


void StronglyCon()
{
    
int i ;

    memset(g_Num, 
0sizeof(g_Num)) ;
    memset(visited, 
0sizeof(visited)) ;
    memset(flag, 
0sizeof(flag)) ;
    SN 
= 1 ;

    
for ( i = 0 ; i < N * 2 ; ++i )
    
{
        
if ( g_Num[i] == 0 )
            StrongDFS( i ) ;
    }

}




void Init()
{
    gPos 
= 0 ;

    
int i ;

    
for ( i = 0 ; i < MAXN ; ++i )
    
{
        mapa[i].next 
= NULL ;
    }

    
while ( !g_Stack.empty() )
    
{
        g_Stack.pop() ;
    }

}



int main()
{
    
int i , first , second , third ;
    
char cmd[8] ;

    
while ( scanf("%d %d"&N, &M) != EOF )
    
{
        
        Init() ;

        
for ( i = 0 ; i < M ; ++i )
        
{
            scanf(
"%d %d %d %s"&first, &second, &third, &cmd) ;
            Build( first, second, third, cmd ) ;
        }


        StronglyCon() ;

        
bool ans = true ;

        
for ( i = 0 ; i < N ; ++i )
        
{
            
if ( flag[i] == flag[i + N] )
            
{
                ans 
= false ;
                
break ;
            }

        }


        
if ( ans )
        
{
            printf(
"YES\n") ;
        }

        
else {
            printf(
"NO\n") ;
        }

    }

    
return 0 ;
}

posted on 2008-10-30 23:26 阅读(351) 评论(0)  编辑 收藏 引用 所属分类: 图论

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理