博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
POJ - 2723 Get Luffy Out (二分+2-SAT)
阅读量:4974 次
发布时间:2019-06-12

本文共 1638 字,大约阅读时间需要 5 分钟。

题意:有2N个钥匙和M道门,每道门上有2个钥匙孔,只要打开一个即可。两个钥匙组成一个集合,共N个集合,集合中的一个钥匙被使用则另外一个钥匙会失效。求从前往后,最多能开几扇门。

分析:从集合元素为2易推断出是2-SAT的问题,但本题求最大的解决数,所以考虑二分求解。
一个集合中的钥匙a,b,若选a则必不选b;选b则必不选a。用2i和2i+1代表选第i个钥匙和不选第i个钥匙,加边a->b' , b->a'.
对于每道门,因为只要一个钥匙孔满足即可,构成的关系是析取,加边a'->b, b'->a。
二分能够开启的门数量,每次重新建图判断是否可行。

#include
#include
#include
#include
#include
using namespace std;typedef long long LL;const int maxn =5e3+5;const int maxm = 1e5+5;struct Edge{ int v,next; }edges[maxm<<1];int head[maxn],tot;stack
S;int pre[maxn],low[maxn],sccno[maxn],dfn,scc_cnt;void init(){ tot = dfn = scc_cnt=0; memset(pre,0,sizeof(pre)); memset(sccno,0,sizeof(sccno)); memset(head,-1,sizeof(head)); while(!S.empty()) S.pop();}void AddEdge(int u,int v) { edges[tot] = (Edge){v,head[u]}; head[u] = tot++;}void Tarjan(int u){ int v; pre[u]=low[u]=++dfn; S.push(u); for(int i=head[u];~i;i=edges[i].next){ v= edges[i].v; if(!pre[v]){ Tarjan(v); low[u]=min(low[u],low[v]); } else if(!sccno[v]){ low[u]=min(low[u],pre[v]); } } if(pre[u]==low[u]){ int x; ++scc_cnt; for(;;){ x = S.top();S.pop(); sccno[x]=scc_cnt; if(x==u)break; } } }int N,M;int p1[maxn],p2[maxn];int key1[maxn],key2[maxn];bool check(int n){ init(); for(int i=1;i<=N;++i){ AddEdge(key1[i]*2,key2[i]*2+1); AddEdge(key2[i]*2,key1[i]*2+1); } for(int i =1;i<=n;++i){ AddEdge(p1[i]*2+1,p2[i]*2); AddEdge(p2[i]*2+1,p1[i]*2); } int all = 2*N; for(int i=0;i
>1; if(check(mid)){ L = mid+1; ans = mid; } else R= mid-1; } printf("%d\n",ans); } return 0;}

转载于:https://www.cnblogs.com/xiuwenli/p/9553879.html

你可能感兴趣的文章
为什么类会拥有其元类的属性?
查看>>
LDA-线性判别分析(二)Two-classes 情形的数学推导
查看>>
逗号表达式
查看>>
[转]浅谈 C 语言中的 malloc 和 free
查看>>
COMP 206 Fall Assignment
查看>>
Java-(proxy)代理
查看>>
自己做的常用的oracle增刪改查存儲過程 。。。。。。。。。。。。。
查看>>
iOS开发实用技巧—CocoaPods简介
查看>>
JDK环境变量配置目录jre,jvm
查看>>
node.js
查看>>
我的第一个应用_截屏分享
查看>>
Linux下停止没有关闭的远程登陆终端
查看>>
Codeforces 734 F Anton and School
查看>>
全球排名第一的免费开源ERP Odoo 12产品上海发布会报名开始
查看>>
关于JS获取select值的两种实现方法
查看>>
Blowing in the wind 翻译
查看>>
关于临时变量内存分配和动态内存分配
查看>>
前端之css
查看>>
Procedure to Operate the Coal Grinding Mill
查看>>
ps -C
查看>>