CF1100E Andrew and Taxi 二分答案+拓扑排序

\(\color{#0066ff}{ 题目描述 }\)

给定一个有向图，改变其中某些边的方向，它将成为一个有向无环图。

现在求一个改变边方向的方案，使得所选边边权的最大值最小。

\(\color{#0066ff}{输入格式}\)

点数n，边数m，接下来是m条有向边

\(\color{#0066ff}{输出格式}\)

输出一个最大值，一个k

接下来一行k个数，表示那些边需要反向

\(\color{#0066ff}{输入样例}\)

5 6
2 1 1
5 2 6
2 3 2
3 4 3
4 5 5
1 5 4

    
5 7
2 1 5
3 2 3
1 3 3
2 4 1
4 3 5
5 4 1
1 5 3

\(\color{#0066ff}{输出样例}\)

2 2
1 3 
    
3 3
3 4 7 

\(\color{#0066ff}{数据范围与提示}\)

\(2 \leq n \leq 100000\), \(1 \leq m \leq 100000\)

\(\color{#0066ff}{ 题解 }\)

根据题目，显然要二分答案

考虑二分答案之后怎么做

对于比mid大的边，我们肯定是不能改变方向的

于是直接加入图中

然后只需看看有没有环就行了，因为比mid小的边我们可以任意更改

可以用拓扑排序做

因为它只让最大值最小，并没有说改变边的数量最小，所以小的边随便改

现在考虑输出方案

我们在拓扑排序的时候记一下每个点的拓扑序

考虑一条边x到y，如果x的拓扑序大于y，显然可能成环（不是一定成环）

但是如果x的拓扑序小于y，一定不会成环

题目有不限制改边数量，我们就将其反向即可

#include<bits/stdc++.h>
#define LL long long
LL in() {
    char ch; LL x = 0, f = 1;
    while(!isdigit(ch = getchar()))(ch == '-') && (f = -f);
    for(x = ch ^ 48; isdigit(ch = getchar()); x = (x << 1) + (x << 3) + (ch ^ 48));
    return x * f;
}
const int maxn = 1e5 + 10;
struct node {
    int x, y, z, id;
    friend bool operator < (const node &a, const node &b) {
        return a.z < b.z;
    }
}e[maxn];
struct E {
    int to;
    E *nxt;
    E(int to = 0, E *nxt = NULL): to(to), nxt(nxt) {}
}pool[maxn], *tail;
int du[maxn], top[maxn];
bool vis[maxn];
int n, m;
E *head[maxn];
void add(int from, int to) {
    head[from] = new E(to, head[from]);
}
    
bool ok(int mid) {
    std::queue<int> q;
    int cnt = 0;
    tail = pool;
    for(int i = 1; i <= n; i++) du[i] = 0, head[i] = NULL, top[i] = 0;
    for(int i = 1; i <= m; i++) vis[i] = false;
    for(int i = m; i >= 1; i--) {
        if(e[i].z <= mid) break;
        add(e[i].x, e[i].y);
        du[e[i].y]++;
    }
    for(int i = 1; i <= n; i++) if(!du[i]) q.push(i);
    while(!q.empty()) {
        int tp = q.front(); q.pop();
        top[tp] = ++cnt;
        for(E *i = head[tp]; i; i = i->nxt) {
            du[i->to]--;
            if(!du[i->to]) q.push(i->to);
        }
    }
    if(cnt != n) return false;
    for(int i = 1; i <= m; i++) {
        if(e[i].z > mid) break;
        if(top[e[i].x] > top[e[i].y]) vis[e[i].id] = true;
    }
    return true;
}


        
int main() {
    n = in(), m = in();
    for(int i = 1; i <= m; i++) e[i].x = in(), e[i].y = in(), e[i].z = in(), e[i].id = i;
    std::sort(e + 1, e + m + 1);
    int l = 0, r = 1e9;
    int ans = 0;
    while(l <= r) {
        int mid = (l + r) >> 1;
        if(ok(mid)) ans = mid, r = mid - 1;
        else l = mid + 1;
    }
    ok(ans);
    int tot = 0;
    for(int i = 1; i <= m; i++) if(vis[i]) tot++;
    printf("%d %d\n", ans, tot);
    for(int i = 1; i <= m; i++) if(vis[i]) printf("%d ", i);
    return 0;
}

转载于:https://www.cnblogs.com/olinr/p/10280308.html