WA了半天才发现居然是因为没看见这道题有多组数据,wzfl。。。

题目大意:有N对钥匙,对于每一对钥匙,如果使用了其中一把,另一把钥匙就会消失。接下来有M扇门,每扇门上有两把锁,分别对应两把钥匙(锁会重复出现,每把钥匙也可以重复使用),打开其中任意一把就可以打开这扇门,再打开第m扇门后才可以去尝试打开第m+1扇门。问最多能打开多少扇门。

思路:每个钥匙都有使用与不使用两种状态且必须是其中一种状态,于是想到2-SAT,对于配对的钥匙a,b,使用了一个之后另一个就不能使用 ,所以在图中连边(a,¬b)和(b,¬a)。

对于每个门上的两个钥匙c,d,如果门能打开,就一定有一个钥匙被使用,所以如果不用其中一个,就必须用另外一个,所以在图中连边(¬c,d)和(¬d,c)。

由于必须从第一扇们门开始向后连续尝试开门,接下来通过二分就能找到可以打开的最大门数,对于每个门数e,处理前e个门的钥匙,如果该2-SAT有解,就说明可以打开e扇门,否则不行。

代码如下:

//POJ.2723
//Author: Prgl
#include<bits/stdc++.h>
using namespace std;
#define IOS ios::sync_with_stdio(0),cin.tie(0),cout.tie(0) typedef long long ll;
typedef vector<int>vec; #define INF 0x3f3f3f3f
const int maxv = 1 << 14;
const int maxd = 1 << 15; int V;
vec G[maxv], rG[maxv];
stack<int>s;
bool used[maxv];
int cmp[maxv]; inline void add_edge(int from, int to)
{
G[from].push_back(to);
rG[to].push_back(from);
} void dfs(int v)
{
used[v] = true;
for (int i = 0; i < G[v].size(); i++)
{
if (!used[G[v][i]])
dfs(G[v][i]);
}
s.push(v);
} void rdfs(int v, int k)
{
cmp[v] = k;
used[v] = true;
for (int i = 0; i < rG[v].size(); i++)
{
if (!used[rG[v][i]])
rdfs(rG[v][i], k);
}
} int scc()
{
memset(used, 0, sizeof(used));
for (int v = 0; v < V; v++)
{
if (!used[v])
dfs(v);
}
memset(used, 0, sizeof(used));
int k = 0;
while (!s.empty())
{
int v = s.top();
s.pop();
if (!used[v])
rdfs(v, k++); } return k;
} int N, M, K;
int a[maxv], b[maxv];
int A[maxd], B[maxd]; bool C(int d)
{
for (int v = 0; v < V; v++)
{
G[v].clear();
rG[v].clear();
}
for (int i = 0; i < N; i++)
{
add_edge(a[i], b[i] + K);
add_edge(b[i], a[i] + K);
}
for (int i = 0; i < d; i++)
{
add_edge(B[i] + K, A[i]);
add_edge(A[i] + K, B[i]);
}
memset(cmp, 0, sizeof(cmp));
scc();
for (int i = 0; i < K; i++)
{
if (cmp[i] == cmp[i + K])
return false;
} return true;
} void solve()
{
K = N * 2;
V = N * 4;
int lo = 0, hi = M + 1;
while (hi - lo > 1)
{
int mi = (lo + hi) / 2;
if (C(mi))
lo = mi;
else
hi = mi;
}
cout << lo << endl;
} int main()
{
IOS;
cin >> N >> M;
while (N != 0 || M != 0)
{
for (int i = 0; i < N; i++)
cin >> a[i] >> b[i];
for (int i = 0; i < M; i++)
cin >> A[i] >> B[i];
solve();
cin >> N >> M;
} return 0;
}

POJ2723 题解的更多相关文章

  1. 2016 华南师大ACM校赛 SCNUCPC 非官方题解

    我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...

  2. noip2016十连测题解

    以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...

  3. BZOJ-2561-最小生成树 题解(最小割)

    2561: 最小生成树(题解) Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1628  Solved: 786 传送门:http://www.lyd ...

  4. Codeforces Round #353 (Div. 2) ABCDE 题解 python

    Problems     # Name     A Infinite Sequence standard input/output 1 s, 256 MB    x3509 B Restoring P ...

  5. 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解

    题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...

  6. 2016ACM青岛区域赛题解

    A.Relic Discovery_hdu5982 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Jav ...

  7. poj1399 hoj1037 Direct Visibility 题解 (宽搜)

    http://poj.org/problem?id=1399 http://acm.hit.edu.cn/hoj/problem/view?id=1037 题意: 在一个最多200*200的minec ...

  8. 网络流n题 题解

    学会了网络流,就经常闲的没事儿刷网络流--于是乎来一发题解. 1. COGS2093 花园的守护之神 题意:给定一个带权无向图,问至少删除多少条边才能使得s-t最短路的长度变长. 用Dijkstra或 ...

  9. CF100965C题解..

    求方程 \[ \begin{array}\\ \sum_{i=1}^n x_i & \equiv & a_1 \pmod{p} \\ \sum_{i=1}^n x_i^2 & ...

随机推荐

  1. 集合框架-工具类-Arrays-asList方法

    1 package cn.itcast.p3.toolclass.arrays.demo; 2 3 import java.util.ArrayList; 4 import java.util.Arr ...

  2. 【Vue源码学习】响应式原理探秘

    最近准备开启Vue的源码学习,并且每一个Vue的重要知识点都会记录下来.我们知道Vue的核心理念是数据驱动视图,所有操作都只需要在数据层做处理,不必关心视图层的操作.这里先来学习Vue的响应式原理,V ...

  3. Android开发-适配器

    适配器非常关键,它是连接页面和和数据源之间的桥梁,通过适配器,可以将数据库中的数据显示在页面上. 记账本适配器 记账类型选择适配器 日历选择适配器 还有图标适配器等

  4. GDB死锁调试

    1.测试代码 代码中开启两个线程,加锁后轮流输出数据,其中一个线程误将pthread_mutex_unlock(),写成pthread_mutex_lock()代码如下: int g_tickets ...

  5. ApacheCN Asp.NET 译文集 20211126 更新

    ASP.NET Core2 基础知识 零.前言 一.搭建舞台 二.控制器 三.视图 四.模型 五.验证 六.路由 七.RestBuy 八.添加功能.测试和部署 ASP.NET Core3 和 Angu ...

  6. Java安全之BCEL ClassLoader

    目录 Java安全之BCEL ClassLoader 写在前面 About BCEL 调试分析 食用姿势 Fuzz反序列化Gadget Fastjson BCEL Payload Thymeleaf ...

  7. Java中Type接口及其子类

    简介 Type是Java 编程语言中所有类型的公共高级接口,和Object不同,Object是所有类的父类,即Object是Type的父类. 分类 原始类型(Class):不仅仅包含我们平常所指的类, ...

  8. windows平台编码转换

    int AsciiToUtf8(char* pSrc, unsigned int nSrcLen, char* pBuffer, unsigned int nBufferLen) { assert(p ...

  9. Linux小技巧scp命令

    Linux服务器运维小技巧scp命令详细教程. 前言 今天给大家带来的是linux中比较实用的命令scp.善用小技巧,解决工作中的痛点. 掌握一门好的技术或者说一门好的艺术,最快捷的方式就是融入到工作 ...

  10. Selenium对应版本

    下面是谷歌浏览器与chromedriver的版本对应关系,供参考: ChromeDriver v2.45 (2018-12-10)----------Supports Chrome v70-72Chr ...