2-SAT问题模板和TV Show Game

2-SAT问题

就一抽象逻辑 ＋ targin求强连通分量的问题

K-SAT问题目前还不能再多项式时间内解决 只有暴力算法 ----- 大概率不会考吧！

K-SAT就是一个值可以有多种选择？

模板题：https://www.luogu.com.cn/problem/P4782

#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#include <cstdio>
#include <queue>
using namespace std;
const int N = 3e6+10;

int h[N],e[N],ne[N],idx;
int n,m;

//targin算法所需数组
int dfn[N],low[N],id[N],timestep;
int stack[N],top;
bool in_stack[N];
int scc_num;

void add(int a,int b)
{
    e[idx] = b,ne[idx] = h[a],h[a] = idx++;
}


void targin(int u)
{
    dfn[u] = low[u] = ++timestep;
    stack[++top] = u;
    in_stack[u] = 1;
    for(int i=h[u];~i;i=ne[i])
    {
        int j = e[i];
        if(!dfn[j])
        {
            targin(j);
            low[u] = min(low[u],low[j]);
        }
        else if(in_stack[j])low[u] = min(low[u],low[j]);
    }

    if(dfn[u]==low[u])//连通块的顶点
    {
        int y;
        scc_num++;
        do
        {
            y = stack[top--];
            in_stack[y] = 0;
            id[y] = scc_num;
        } while (y!=u);
        
    }
}


int main()
{
    memset(h,-1,sizeof h);
    cin>>n>>m;
    int a,b;
    int va,vb;
    //a为va 或 b为vb
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d%d%d",&a,&va,&b,&vb);
        //a为真或b为真
        if(va==1&&vb==1)add(a+n,b),add(b+n,a);
        //a为真或b为假
        if(va==1&&vb==0)add(a+n,b+n),add(b,a);
        //a为假或b为真
        if(va==0&&vb==1)add(a,b),add(b+n,a+n);
        //a为假或b为假
        if(va==0&&vb==0)add(a,b+n),add(b,a+n);
    }

    //targin求scc
    for(int i=1;i<=2*n;i++)//注意这里要跑2*n个点 不然可能导致可行解错误
        if(!dfn[i])
            targin(i);

    //判断是否存在可行解
    for(int i=1;i<=n;i++)
        if(id[i]==id[i+n])
        {
            cout<<"IMPOSSIBLE"<<endl;
            return 0;
        }
    
    //存在可行解 输出
    //scc_num弹出的顺序是反序弹出的
    cout<<"POSSIBLE"<<endl;
    for(int i=1;i<=n;i++)
        printf("%d ",id[i]<id[i+n]);
    cout<<endl;
    return 0;
}

2018-2019 ACM-ICPC Asia Seoul Regional K TV Show Game

题面：题面：有K（K>3）盏灯，每盏灯是红色或者蓝色，但是初始的时候不知道灯的颜色。有 个人，每个人选择 3 盏灯并猜灯的颜色。一个人猜对两盏灯或以上的颜色就可以获得奖品。判断是否存在一个灯的着色方案使得每个人都能领奖，若有则输出一种灯的着色方案。

分析：每一个灯有两个值 R or B 即 true or false

每盏灯之间又有相互约数关系—显然是一个2—SAT问题

下面就考虑如何建图

每个人选择 3 盏灯并猜灯的颜色。一个人猜对两盏灯或以上的颜色就可以获得奖品。

首先猜对两盏灯或以上的可以看作猜对两盏灯

然后我们可以枚举哪一盏灯是猜错的

#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#include <cstdio>
#include <queue>
using namespace std;
const int N = 3e6+10;

int h[N],e[N],ne[N],idx;
int m,n;//n盏灯 m个人

//targin算法所需数组
int dfn[N],low[N],id[N],timestep;
int stack[N],top;
bool in_stack[N];
int scc_num;

void add(int a,int b)
{
    e[idx] = b,ne[idx] = h[a],h[a] = idx++;
}


void targin(int u)
{
    dfn[u] = low[u] = ++timestep;
    stack[++top] = u;
    in_stack[u] = 1;
    for(int i=h[u];~i;i=ne[i])
    {
        int j = e[i];
        if(!dfn[j])
        {
            targin(j);
            low[u] = min(low[u],low[j]);
        }
        else if(in_stack[j])low[u] = min(low[u],low[j]);
    }

    if(dfn[u]==low[u])//连通块的顶点
    {
        int y;
        scc_num++;
        do
        {
            y = stack[top--];
            in_stack[y] = 0;
            id[y] = scc_num;
        } while (y!=u);
        
    }
}


int main()
{
    memset(h,-1,sizeof h);
    cin>>n>>m;

    int a;
    char ch[2];
    int lig[4];
    int col[4];
    //读入人 建边
    for(int i=1;i<=m;i++)
    {
        for(int j=1;j<=3;j++)
        {
            scanf("%d%s",lig[j],ch);
            col[j] = (ch[0]=='B'?0:1);
        }
        
        //枚举哪一个点猜错了---也就是枚举哪两盏灯猜对了
        
        // add(lig[1]+(col[1]^1)*n,lig[2]+col[2]*n);
        // add(lig[2]+(col[2]^1)*n,lig[1]+col[1]*n);

        for(int j=1;j<=3;j++)
            for(int k=1;k<=3;k++)
            {
                if(j==k)continue;
                add(lig[j]+(col[j]^1)*n,lig[k]+col[k]*n);
            }

    }


    // i表示B i+n表示R
    //targin求scc
    for(int i=1;i<=2*n;i++)//注意这里要跑2*n个点 不然可能导致可行解错误
        if(!dfn[i])
            targin(i);

    //判断是否存在可行解
    for(int i=1;i<=n;i++)
        if(id[i]==id[i+n])
        {
            cout<<-1<<endl;
            return 0;
        }
    
    //存在可行解 输出
    //scc_num弹出的顺序是反序弹出的

    for(int i=1;i<=n;i++)
    {
        if(id[i]<id[i+n])printf("B");
        else printf("R");
    }
    cout<<endl;
    return 0;
}