2-SAT

最新推荐文章于 2022-08-02 16:18:19 发布

team79

最新推荐文章于 2022-08-02 16:18:19 发布

阅读量436

点赞数

分类专栏：图论

本文链接：https://blog.csdn.net/hzh_0000/article/details/46933473

版权

图论专栏收录该内容

5 篇文章 0 订阅

订阅专栏

const int MAXN = 1e5;

struct TwoSAT{
    int n;
    vector<int > G[MAXN*2];
    bool mark[MAXN*2];
    int S[MAXN*2], c;

    void init( int n ){
        this->n = n;
        memset( mark, 0, sizeof( mark ) );
        for( int i = 0; i < n * 2; i++ )    G[i].clear();
    }

    // x = xval or y = yval
    void add_clause( int x, int xval, int y, int yval ){
        x = x * 2 + xval;
        y = y * 2 + yval;
        G[x^1].push_back( y );
        G[y^1].push_back( x );
    }

    bool dfs( int x ){
        if( mark[x^1] ) return false;
        if( mark[x] )   return true;
        mark[x] = true;
        S[c++] = x;
        for( int i = 0; i < G[i].size(); i++ ){
            if( !dfs( G[x][i] ) )   return  false;
        }
        return true;
    }

    bool solve(){
        for( int i = 0; i < n * 2; i += 2 ){
            if( !mark[i] && !mark[i+1] ){
                c = 0;
                if( !dfs( i ) ){
                    while( c > 0 ) mark[S[--c]] = false;
                    if( !dfs( i + 1 ) ) return false;
                }
            }
        }
        return true;
    }
};