POJ 3683 Priest John's Busiest Day (2-SAT+输出可行解)
2017-06-23 15:41 tlnshuju 阅读(169) 评论(0) 编辑 收藏 举报题目地址:POJ 3683
第一次做须要输出可行解的题目。
。
。大体思路是先用强连通来推断是否有可行解,然后用逆序建图。用拓扑排序来进行染色。然后输出可行解。
详细思路见传送门
由于推断的时候少写了一个等号。。检查了好长时间。。sad。。。
代码例如以下:
#include <iostream> #include <cstdio> #include <string> #include <cstring> #include <stdlib.h> #include <math.h> #include <ctype.h> #include <queue> #include <map> #include <set> #include <algorithm> using namespace std; #define LL __int64 const int INF=0x3f3f3f3f; int head[2100], cnt, index, top, ans; int dfn[2100], low[2100], belong[2100], instack[2100], stak[2100]; struct N { int l, r; } time[2100]; struct node { int u, v, next; } edge[10000000]; void add(int u, int v) { edge[cnt].v=v; edge[cnt].next=head[u]; head[u]=cnt++; } bool pan(N x, N y) { if((x.l<y.l&&x.r<=y.l)||(x.r>y.r&&x.l>=y.r)) return 1; return 0; } void tarjan(int u) { dfn[u]=low[u]=++index; instack[u]=1; stak[++top]=u; for(int i=head[u]; i!=-1; i=edge[i].next) { int v=edge[i].v; if(!dfn[v]) { tarjan(v); low[u]=min(low[u],low[v]); } else if(instack[v]) { low[u]=min(low[u],dfn[v]); } } if(dfn[u]==low[u]) { ans++; while(1) { int v=stak[top--]; instack[v]=0; belong[v]=ans; if(u==v) break; } } } int head1[2100], cnt1, ct[2100], in[2100], color[2100]; struct node1 { int u, v, next; } edge1[10000000]; void add1(int u, int v) { edge1[cnt1].v=v; edge1[cnt1].next=head1[u]; head1[u]=cnt1++; } void topo() { queue<int>q; int i; for(i=1; i<=ans;i++) { if(in[i]==0) q.push(i); } while(!q.empty()) { int u=q.front(); q.pop(); if(!color[u]) { color[u]=1; color[ct[u]]=-1; } for(i=head1[u];i!=-1;i=edge1[i].next) { int v=edge[i].v; in[v]--; if(!in[v]) q.push(v); } } } void init() { memset(head,-1,sizeof(head)); cnt=top=ans=index=0; memset(dfn,0,sizeof(dfn)); memset(instack,0,sizeof(instack)); memset(head1,-1,sizeof(head1)); memset(in,0,sizeof(in)); memset(color,0,sizeof(color)); cnt1=0; } int main() { int n, i, j, a1, b1, a2, b2, c; scanf("%d",&n); init(); for(i=0; i<n; i++) { scanf("%d:%d%d:%d%d",&a1,&b1,&a2,&b2,&c); time[i<<1].l=a1*60+b1; time[i<<1].r=a1*60+b1+c; time[i<<1|1].l=a2*60+b2-c; time[i<<1|1].r=a2*60+b2; } for(i=0; i<n<<1; i++) { for(j=0; j<i; j++) { if(!pan(time[i],time[j])) { add(i,j^1); add(j,i^1); //printf("%d %d\n",i,j); } } } for(i=0; i<n<<1; i++) { if(!dfn[i]) tarjan(i); } int flag=0; for(i=0; i<n; i++) { if(belong[i<<1]==belong[i<<1|1]) { flag=1; break; } ct[belong[i<<1]]=belong[i<<1|1]; ct[belong[i<<1|1]]=belong[i<<1]; } if(flag) puts("NO"); else { puts("YES"); for(i=0;i<n<<1;i++) { for(j=head1[i];j!=-1;j=edge1[j].next) { int v=edge1[j].v; if(belong[i]!=belong[v]) { add1(belong[v],belong[i]); in[belong[i]]++; } } } topo(); for(i=0;i<n;i++) { if(color[belong[i<<1]]==1) { printf("%02d:%02d %02d:%02d\n",time[i<<1].l/60,time[i<<1].l%60,time[i<<1].r/60,time[i<<1].r%60); } else { printf("%02d:%02d %02d:%02d\n",time[i<<1|1].l/60,time[i<<1|1].l%60,time[i<<1|1].r/60,time[i<<1|1].r%60); } } } return 0; }