• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>

    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>

            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            

    
            

            




            







												


        

            
	

            
	
            
		
            
			
				
            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             *p = &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,             0, sizeof(g_Num)) ;
                memset(visited,             0, sizeof(visited)) ;
                memset(flag,             0, sizeof(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 巫 閱讀(371) 評論(0)  編輯 收藏 引用  所屬分類: 圖論 
	
            

            







            
	    
    




            






            

				

            



    
    







            
	   
	



777久久精品一区二区三区无码|
一级a性色生活片久久无少妇一级婬片免费放|
www久久久天天com|
无码专区久久综合久中文字幕|
亚洲精品无码久久久|
色播久久人人爽人人爽人人片aV
|
狠狠色丁香婷婷综合久久来|
亚洲国产精品一区二区久久hs|
久久青青色综合|
久久精品亚洲日本波多野结衣|
久久久婷婷五月亚洲97号色|
久久亚洲春色中文字幕久久久|
久久久精品人妻一区二区三区蜜桃
|
日韩中文久久|
久久久亚洲AV波多野结衣|
中文无码久久精品|
久久99精品国产自在现线小黄鸭
|
久久精品嫩草影院|
久久电影网|
77777亚洲午夜久久多喷|
精品国产VA久久久久久久冰|
97久久超碰国产精品2021|
久久e热在这里只有国产中文精品99
|
亚洲中文字幕久久精品无码喷水
|
看全色黄大色大片免费久久久|
久久人人爽人人爽人人片AV麻烦|
新狼窝色AV性久久久久久|
国产精品久久久久9999高清|
久久国产精品视频|
狠狠精品久久久无码中文字幕|
久久国产精品久久久|
中文字幕久久亚洲一区|
国产91色综合久久免费|
亚洲va久久久久|
青青草原综合久久大伊人精品|
亚洲国产成人精品91久久久
|
久久影院久久香蕉国产线看观看|
亚洲精品无码久久久影院相关影片|
狠狠色丁香久久婷婷综|
久久精品国产亚洲AV蜜臀色欲|
一本一道久久精品综合|