gym101201F Illumination 2-SAT

题目传送门

题目大意：

　　给出n*n的网格，l栈灯，每盏灯可以选择照亮竖着的2*r+1的范围，或者横着的2*r+1的范围，要求一个格子不会同时被一盏以上的横着的灯照亮，也不能被一盏以上的竖着的灯照亮，所有灯必须亮着，问是否可行。

　　思路：2-sat的题目，如果两盏灯之间不能同时横着放，则代表必须一横一竖，则找到了2-sat的建边关系，具体看代码。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = ;
int n,r,l,head[maxn<<],tot;
bool vis[maxn<<];
int s[maxn<<],top;
struct node{
    int x,y;
}a[maxn];
struct edge{
    int to,Next;
}e[(maxn*maxn)<<];
void init(){
    memset(head,-,sizeof(head));
    memset(vis,,sizeof(vis));
    tot=;
}
void addv(int u,int v,int val){
    int tmpu=(u<<)+val;
    int tmpv=(v<<)+val;
    e[++tot]={tmpv,head[tmpu^]},head[tmpu^]=tot;//注意建边 相容的情况建边
    e[++tot]={tmpu,head[tmpv^]},head[tmpv^]=tot;
}
bool dfs(int u){
    if(vis[u^])return false;
    if(vis[u])return true;
    vis[u]=;
    s[top++]=u;
    for(int i=head[u];i!=-;i=e[i].Next)
    {
        if(!dfs(e[i].to))return false;
    }
    return true;
}
bool two_sat(){
    for(int i=;i<(l<<);i+=){
        if(!vis[i]&&!vis[i^]){
            top=;
            if(!dfs(i)){
                while(top)vis[s[--top]]=;
                if(!dfs(i^))return false;
            }

        }
    }
    return true;
}
int main(){
    while(scanf("%d%d%d",&n,&r,&l)!=EOF)
    {
        init();
        for(int i=;i<l;i++)
        {
            scanf("%d%d",&a[i].x,&a[i].y);
        }
        for(int i=;i<l;i++)
        {
            for(int j=;j<i;j++)
            {
                if(a[i].x==a[j].x&&abs(a[j].y-a[i].y)<*r+){
                    addv(i,j,);
                };
                if(a[i].y==a[j].y&&abs(a[j].x-a[i].x)<*r+){
                    addv(i,j,);
                };
            }
        }
        if(two_sat())puts("YES");
        else puts("NO");
    }
}