题目大意

  给出一棵n个节点的树,根是1,要在除根节点以外的点建立检查点,使得从每条根到叶子的路径上都至少存在一个检查点。检查点由军队来建立。初始军队的位置是给定的,移动军队走一条边需要花费这条边的权值的时间。现在要求一个方案,移动军队到某个最佳位置,使得总用时最少。

【数据范围】
保证军队不会驻扎在首都。
对于20%的数据,2≤ n≤ 10;
对于40%的数据,2 ≤n≤50,0<w <105
对于60%的数据,2 ≤ n≤1000,0<w <106
对于80%的数据,2 ≤ n≤10,000;
对于100%的数据,2≤m≤n≤50,000,0<w <109

首先确定思路是二分。

然后关键是怎么check

每个军队肯定是要尽量往上走的。把军队分为走得到root和走不到两种情况。

把仅通过走不到root的军队就能控制的第二层的结点去掉,剩下的就需要通过剩下的军队来控制。

每个军队都要匹配一个结点,排序完直接匹配就可以了。但是这里有一个细节,就是如果一个军队要控制自己所属的结点,就不需要再额外添加时间。

于是我们可以先按军队剩余时间从小到大排,再按需要的时间排序没控制的结点,然后决定每一个军队控制哪个结点。由于已经排过序了,所以当前军队肯定是最没用的。所以如果他所属的结点未被控制,就让他去肯定是最好的方案。

还有一个问题。怎么得出那些结点没被控制?这个有几个方法,可以用倍增直接暴力把军队推上去,还有就是用拓扑排序。

这里介绍下拓扑的方法:

  对于每一个结点记录所有军队往上走走到这里剩余时间的最大值time[]。再记一个能否到达arr[],如果time[u] >= 0则arr[u] = true;如果u的所有儿子都可控制,则arr[u] = true;否则都是false

然后问题就解决了!时间复杂度O(n*log2n)

代码

#include <cstdio>
#include <algorithm>
#include <cstring>
typedef long long ll;
const int N = 50000 + 9;
int ec,n,q[N],mark[N],army[N],t1[N],t2[N],ance[N],father[N],son[N],m,times;
ll dis[N],time[N],cost[N];
bool notleaf[N],arr[N],can_use[N];
struct edge{int next,link,w;}es[N*2];
inline bool cmp1(const int i,const int j){return cost[i] < cost[j];}
inline bool cmp2(const int i,const int j){return dis[army[i]] > dis[army[j]];}
inline void addedge(const int x,const int y,const int z)
{
es[++ec].next = son[x];
son[x] = ec;
es[ec].link = y;
es[ec].w = z;
}
inline void Addedge(const int x,const int y,const int z){addedge(x,y,z),addedge(y,x,z);}
bool check(const ll mid)
{
++times;
memset(time,-1,sizeof(*time)*(n + 1));
memcpy(arr,notleaf,sizeof(*arr)*(n + 1));
memset(can_use,0,sizeof(*can_use)*(m + 1));
for (int i = n; i; --i) {
const int u = q[i];
if (mark[u] && dis[u] > mid) time[u] = mid;
if (time[father[u]] < time[u] - cost[u])
time[father[u]] = time[u] - cost[u];
if (time[u] >= 0) arr[u] = true;
if (!arr[u]) arr[father[u]] = false;
}
for (int i = 1; i <= m; ++i)
if (dis[army[i]] <= mid) can_use[i] = true;
t1[0] = t2[0] = 0;
for (int i = son[1]; i; i = es[i].next)
if (!arr[es[i].link]) t1[++t1[0]] = es[i].link;
for (int i = 1; i <= m; ++i)
if (can_use[i]) t2[++t2[0]] = i;
std::sort(t1 + 1,t1 + 1 + t1[0],cmp1);
std::sort(t2 + 1,t2 + 1 + t2[0],cmp2);
for (int i = 1,j = 1; i <= t2[0]; ++i) {
if (!arr[ance[army[t2[i]]]])
arr[ance[army[t2[i]]]] = true;
else if (cost[t1[j]] + dis[army[t2[i]]] <= mid) arr[t1[j]] = true;
while (j <= t1[0] && arr[t1[j]]) ++j;
if (j > t1[0]) return true;
}
return false;
}
void BFS(const int s)
{
int h = 1,t = 0;
q[++t] = s;
while (h <= t) {
const int u = q[h++];
notleaf[u] = false;
for (int i = son[u]; i; i = es[i].next) {
const int v = es[i].link;
if (v == father[u]) continue;
dis[v] = dis[u] + es[i].w;
father[v] = u;
cost[v] = es[i].w;
if (u != s) ance[v] = ance[u];
else ance[v] = v;
q[++t] = v;
notleaf[u] = true;
}
}
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("blockade.in","r",stdin);
freopen("blockade.out","w",stdout);
#endif
scanf("%d",&n);
ll r = 1,l = 0,tot = 0;
for (int i = 1,x,y,z; i < n; ++i) {
scanf("%d%d%d",&x,&y,&z);
r += z;
Addedge(x,y,z);
}
tot = r;
scanf("%d",&m);
for (int i = 1; i <= m; ++i) {
scanf("%d",army + i);
mark[army[i]] = i;
}
BFS(1);
while (l + 1 < r) {
const ll mid = (l + r)/2;
if (check(mid)) r = mid;
else l = mid;
}
if (r == tot) puts("-1");
else printf("%I64d\n",r);
//check(9);
}

  

noip2012疫情控制 题解的更多相关文章

  1. NOIP2012 疫情控制 题解(LuoguP1084)

    NOIP2012 疫情控制 题解(LuoguP1084) 不难发现,如果一个点向上移动一定能控制更多的点,所以可以二分时间,判断是否可行. 但根节点不能不能控制,存在以当前时间可以走到根节点的点,可使 ...

  2. [NOIp2012]疫情控制 题解

    好久没更,强迫自己写一篇. 神 tm 大预言家出的题 注意到如果 \(x\) 小时可以控制住疫情,则 \(\forall x'>x\) 必然也可以控制住疫情,显然答案具有单调性,可以二分答案. ...

  3. [NOIP2012]疫情控制 贪心 二分

    题面:[NOIP2012]疫情控制 题解: 大体思路很好想,但是有个细节很难想QAQ 首先要求最大时间最小,这种一般都是二分,于是我们二分一个时间,得到一个log. 然后发现一个军队,越往上走肯定可以 ...

  4. Luogu 1084 NOIP2012 疫情控制 (二分,贪心,倍增)

    Luogu 1084 NOIP2012 疫情控制 (二分,贪心,倍增) Description H 国有 n 个城市,这 n 个城市用 n-1 条双向道路相互连通构成一棵树, 1 号城市是首都, 也是 ...

  5. luoguP1084 疫情控制(题解)(搜索+贪心)

    luoguP1084 疫情控制 题目 #include<iostream> #include<cstdlib> #include<cstdio> #include& ...

  6. NOIP2012 D2T3 疫情控制 题解

    题面 这道题由于问最大值最小,所以很容易想到二分,但怎么验证并且如何实现是这道题的难点: 首先我们考虑,对于一个军队,尽可能的往根节点走(但一定不到)是最优的: 判断一个军队最远走到哪可以树上倍增来实 ...

  7. noip2012 疫情控制

    [问题描述] H国有n个城市,这n个城市用n-1条双向道路相互连通构成一棵树,1号城市是首都,也是树中的根节点. H国的首都爆发了一种危害性极高的传染病.当局为了控制疫情,不让疫情扩散到边境城市(叶子 ...

  8. NOIP2012疫情控制(二分答案+倍增+贪心)

    Description H国有n个城市,这n个城市用n-1条双向道路相互连通构成一棵树,1号城市是首都,也是树中的根节点. H国的首都爆发了一种危害性极高的传染病.当局为了控制疫情,不让疫情扩散到边境 ...

  9. [NOIP2012]疫情控制(二分答案+倍增+贪心)

    Description H国有n个城市,这n个城市用n-1条双向道路相互连通构成一棵树,1号城市是首都,也是树中的根节点. H国的首都爆发了一种危害性极高的传染病.当局为了控制疫情,不让疫情扩散到边境 ...

随机推荐

  1. new Date('2014/04/30') 和 new Date('2014-04-30') 的区别

    new Date('2014/04/30') Wed Apr 30 2014 00:00:00 GMT+0800 (中国标准时间) new Date('2014-04-30'); Wed Apr 30 ...

  2. angular package.json中start build

    "start": "ng serve --host 0.0.0.0 --port 4200 --proxy-config proxy.conf.json", & ...

  3. final关键字详解

    java中,final关键字可以用来修饰类.方法和变量(包括成员变量和局部变量).下面就从这三个方面来了解一下final关键字的基本用法. 1.修饰类 当用final修饰一个类时,表明这个类不能被继承 ...

  4. Spring boot中使用log4j记录日志

    之前在Spring Boot日志管理一文中主要介绍了Spring Boot中默认日志工具(logback)的基本配置内容.对于很多习惯使用log4j的开发者,Spring Boot依然可以很好的支持, ...

  5. CodeForces - 1004B

    Sonya decided to organize an exhibition of flowers. Since the girl likes only roses and lilies, she ...

  6. Function.prototype.bind 简介

    bind可以解决两种问题: 1. 可以改变一个函数的 this 指向 2. 可以实现偏函数等高阶功能 本文暂且讨论第一个功能 USE CASE var foo = { x: 3 } var bar = ...

  7. Thinkphp的自定义路由(route.php)

    废话:因为thinkphp的默认路由会导致URL特别长,从而会影响搜索引擎优化.所以就衍生了自定义路由,尽量将URL缩短. 这是默认的路由文件: <?php return [ '__patter ...

  8. weblogic12.1.3 静默安装 建域

    --安装依赖包 yum -y install compat-libcap1 compat-libstdc++ gcc gcc-c++ glibc-devel libaio-devel libstdc+ ...

  9. 工作当中遇到的ssh错误

    [root@1bcc1d3f9666 externalscripts]# /usr/sbin/sshd Could not load host key: /etc/ssh/ssh_host_rsa_k ...

  10. Math类的数学计算功能

    //Math类的数学计算功能 public class MathTest { public static void main(String[] args) { /*----------下面是三角运算- ...