CF533A Berland Miners

线段树维护贪心
/*


*/
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#include<queue>
#include<cmath>
#include<set>
#define ll long long
#define M 500010
#define mmp make_pair
#define INF 1000000000
using namespace std;
int read() {
    int nm = 0,  f = 1;
    char c = getchar();
    for(; !isdigit(c); c = getchar()) if(c == '-') f = -1;
    for(; isdigit(c); c = getchar()) nm = nm * 10 + c - '0';
    return nm * f;
}
vector<int> v[M] ;
int h[M], hm[M], st_tmp[M], scnt ;
struct P {
    int id, hm ;
    bool operator < (const P &rhs) const {
        return hm<rhs.hm ;
    }
} cave[M];

void dfs0(int x, int f, int nowh) {
    hm[x]=nowh ;
    for(auto i : v[x]) if(i != f)
            dfs0(i, x, min(nowh, h[i])) ;
}
int tmp[M], tcnt ;
void dfs2(int x, int f, int nowhm) {
    tmp[tcnt++]=nowhm ;
    for(auto i : v[x]) if(i != f) {
            int newhm=min(nowhm, h[i]) ;
            if(newhm > hm[i]) dfs2(i, x, newhm) ;
        }
}

multiset<int> st ;
bool check() {
    if(tcnt < st.size()) return 0 ;
    scnt=0 ;
    for(int i=0; !st.empty() && i<tcnt; i++) {
        auto it=st.upper_bound(tmp[i]) ;
        if(it != st.begin())
            it-- ,  st_tmp[scnt++]=*it ,  st.erase(it) ;
    }
    int sz=st.size() ;
    for(int i=0; i<scnt; i++) st.insert(st_tmp[i]) ;
    return sz==0 ;
}

int LIM ;
bool dfs(int x, int f, int add) {
    if(h[x]<=LIM) {
        int newhm= (f==-1 ? h[x]+add : min(hm[f], h[x]+add)) ;
        if(newhm>hm[x]) {
            tcnt=0 ;
            dfs2(x, f, newhm) ;
            if(check()) return 1 ;
        }
    }
    for(auto i : v[x]) if(i != f && dfs(i, x, add))
            return 1 ;
    return 0 ;
}

main() {
    int n = read();
    for(int i=1; i<=n; i++) h[i] = read();
    for(int i=1; i<n; i++) {
        int x = read(), y = read();
        v[x].push_back(y) ;
        v[y].push_back(x) ;
    }
    dfs0(1, -1, h[1]) ;

    int k = read();
    for(int i=1, x; i<=k; i++) x = read(),  st.insert(x) ;
    for(int i=k+1; i<=n; i++) st.insert(0) ;
    for(int i=1; i<=n; i++) cave[i]=(P) {
        i, hm[i]
    } ;
    sort(cave+1, cave+n+1) ;

    LIM=-1 ;
    for(int i=1; i<=n; i++) {
        auto it=st.upper_bound(cave[i].hm) ;
        if(it != st.begin()) st.erase(--it) ;
        else if(LIM==-1) LIM=cave[i].hm ;
    }
    if(st.empty()) {
        printf("0\n") ;
        return 0;
    }
    if(!dfs(1, -1, INF)) {
        printf("-1\n") ;
        return 0 ;
    }

    int l=0 ,  r=INF ;
    while(r-l>1) {
        int mid=(r+l)/2 ;
        if(dfs(1, -1, mid)) r=mid ;
        else l=mid ;
    }
    printf("%d\n", r) ;
}

转载于:https://www.cnblogs.com/luoyibujue/p/10527039.html