标签：Riddle int 3495 PA2010 add sat las

3495: PA2010 Riddle 2-sat 前缀优化

链接

bzoj

思路

不想说啥了，看hwim的吧，我去睡觉了zZ。

代码

/**************************************************************
    Problem: 3495
    User: gryz2016
    Language: C++
    Result: Accepted
    Time:19152 ms
    Memory:178896 kb
****************************************************************/
 
#include <bits/stdc++.h>
using namespace std;
const int N=1e6+7;
int read() {
   int x=0,f=1;char s=getchar();
   for(;s>'9'||s<'0';s=getchar()) if(s=='-') f=-1;
   for(;s>='0'&&s<='9';s=getchar()) x=x*10+s-'0';
   return x*f;
}
int n,m,k;
struct node {
   int v,nxt;
}e[N*8];
int head[N*4],tot;
void add(int u,int v) {
   // cout<<u<<" "<<v<<"\n";
   e[++tot].v=v;
   e[tot].nxt=head[u];
   head[u]=tot;
}
int low[N*4],dfn[N*4],stak[N*4],top,vis[N*4],belong[N*4],scc,cnt;
void tarjan(int u) {
   low[u]=dfn[u]=++cnt;
   vis[u]=1;
   stak[++top]=u;
   for(int i=head[u];i;i=e[i].nxt) {
       int v=e[i].v;
       if(!dfn[v]) {
           tarjan(v);
           low[u]=min(low[u],low[v]);
       } else if(vis[v]) {
           low[u]=min(low[u],dfn[v]);
       }
   }
   if(low[u]==dfn[u]) {
       ++scc;
       while(stak[top]!=u) {
           belong[stak[top]]=scc;
           vis[stak[top]]=0;
           top--;
       }
       belong[stak[top]]=scc;
       vis[stak[top]]=0;
       top--;
   }
}
int main() {
   n=read(),m=read(),k=read();
   for(int i=1;i<=m;++i) {
       int x=read(),y=read();
       add(x+2*n,y),add(y+2*n,x);
   }
   for(int i=1;i<=n;++i) add(i,i+n),add(i+3*n,i+2*n); //a_i <-> S_i
   for(int i=1;i<=k;++i) {
       int num=read(),las=read();
       for(int j=2;j<=num;++j) {
           int x=read();
 
           add(x+3*n,las+3*n); //S_i <-> S_i-1
           add(las+n,x+n);
 
           add(x,las+3*n); //a_x <-> S_i-1
           add(las+n,x+2*n);
 
           las=x;
       }
   }
   for(int i=1;i<=4*n;++i)
        if(!dfn[i])
            tarjan(i);
   for(int i=1;i<=2*n;++i)
        if(belong[i]==belong[i+2*n]) return puts("NIE"),0;
   puts("TAK");
   return 0;
}

标签：Riddle,int,3495,PA2010,add,sat,las
来源： https://www.cnblogs.com/dsrdsr/p/10802299.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。