CodeForces 555E Case of Computer Network

原创 2015年07月10日 16:39:39

题意:

n(2*10^5)个点m(2*10^5)条边的无向图  要求给无向边定向  使得最后的有向图满足q(2*10^5)个指令  每个指令表示为s->e  即s到e有通路  问  是否有可能

思路:

假设无向图中有圈  那么定向时一定也定成圈  因此想到连通分量概念  容易分析出只有桥的定向才值得讨论  因此可以先对图做边连通分量缩点

由于题中提示图可能不连通  因此得到了森林

我们要解决的就是  根据q个指令(每个指令对应一个线路  树上线路唯一)  将这些线路放在树上  如果某条树边必须保留两个方向则无解  否则有解

暴力的放置线路一定是TLE的  于是想到  对于树上的线段覆盖问题  可以通过树链剖分解决

但是剖分还是比较烦= =  于是我们采用类似线段覆盖的“头加尾减”的方法

定义up[u]表示u节点上面的那条边是向上定向的  同理down[u]  那么如果up[u]&&down[u]则边必须是双向的  现在只需要维护up和down即可  对于每个指令  可以根据s和e的lca分成两部分做“头加尾减”   最后利用树形dp求出点u的up和down  从up和down的定义中可以看出  up[u]=up[son(u)]  同理down

代码:

#include<cstdio>
#include<iostream>
#include<cstring>
#include<string>
#include<algorithm>
#include<map>
#include<set>
#include<vector>
#include<queue>
#include<cstdlib>
#include<ctime>
#include<cmath>
using namespace std;
typedef long long LL;
#define N 200010

int n, m, q;

struct edge {
    int u, v, flag, next;
} ed[N << 1];
int head[N], tot;

int dfn[N], low[N], idx, block, sec, stack[N], top;
int vis[N], hsh[N], tree[N];
int lca[N][20], dis[N];
int up[N], down[N];

void add(int u, int v) {
    ed[tot].u = u;
    ed[tot].v = v;
    ed[tot].flag = 0;
    ed[tot].next = head[u];
    head[u] = tot++;
}

void tarjan(int u) {
    dfn[u] = low[u] = ++idx;
    stack[++top] = u;
    tree[u] = sec;
    for (int i = head[u]; ~i; i = ed[i].next) {
        int v = ed[i].v;
        if (ed[i].flag) continue;
        ed[i].flag = ed[i^1].flag = 1;
        if (dfn[v] == -1) {
            tarjan(v);
            low[u] = min(low[u], low[v]);
            if (dfn[u] < low[v]) ed[i].flag = ed[i^1].flag = -1;
        } else low[u] = min(low[u], dfn[v]);
    }
    if (dfn[u] == low[u]) {
        block++;
        int v;
        do {
            v = stack[top--];
            hsh[v] = block;
        } while (u != v);
    }
}

void dfs(int u, int c) {
    hsh[u] = c;
    for (int i = head[u]; ~i; i = ed[i].next) {
        if (ed[i].flag == -1) continue;
        int v = ed[i].v;
        if (hsh[v] == -1) dfs(v, c);
    }
}

void init(int u, int from) {
    vis[u] = 1;
    dis[u] = dis[from] + 1;
    lca[u][0] = from;
    for (int i = 1; i < 20; i++) {
        lca[u][i] = lca[lca[u][i - 1]][i - 1];
    }
    for (int i = head[u]; ~i; i = ed[i].next) {
        int v = ed[i].v;
        if (v != from) init(v, u);
    }
}

int get(int u, int v) {
    if (dis[v] > dis[u]) swap(u, v);
    int i, tmp = dis[u] - dis[v];
    for (i = 19; tmp; i--) {
        if (tmp >= (1 << i)) {
            tmp -= (1 << i);
            u = lca[u][i];
        }
    }
    if (u == v) return u;
    for (i = 19; i >= 0; i--) {
        if (lca[u][i] != lca[v][i]) {
            u = lca[u][i];
            v = lca[v][i];
        }
    }
    return lca[u][0];
}

bool ok(int u) {
    vis[u] = 0;
    for (int i = head[u]; ~i; i = ed[i].next) {
        int v = ed[i].v;
        if (vis[v]) {
            if (!ok(v)) return false;
            up[u] += up[v];
            down[u] += down[v];
        }
    }
    return !(up[u] && down[u]);
}

int main() {
    memset(head, -1, sizeof (head));
    scanf("%d%d%d", &n, &m, &q);
    for (int i = 1; i <= m; i++) {
        int u, v;
        scanf("%d%d", &u, &v);
        add(u, v);
        add(v, u);
    }
    memset(dfn, -1, sizeof (dfn));
    for (int i = 1; i <= n; i++) {
        if (dfn[i] == -1) {
            sec++;
            tarjan(i);
        }
    }
    int tmp = tot;
    tot = 0;
    memset(head, -1, sizeof (head));
    for (int i = 0; i < tmp; i++) {
        if (ed[i].flag == -1 && hsh[ed[i].u] != hsh[ed[i].v]) {
            add(hsh[ed[i].u], hsh[ed[i].v]);
        }
    }
    n = block;
    for (int i = 1; i <= n; i++) {
        if (!vis[i]) init(i, i);
    }
    bool ans = true;
    for (int i = 1; i <= q; i++) {
        int u, v;
        scanf("%d%d", &u, &v);
        if (tree[u] != tree[v]) {
            puts("No");
            return 0;
        }
        u = hsh[u];
        v = hsh[v];
        if (u != v) {
            int fa = get(u, v);
            up[u]++;
            up[fa]--;
            down[v]++;
            down[fa]--;
        }
    }
    for (int i = 1; i <= n; i++) {
        if (vis[i]) {
            ans = ok(i);
            if (!ans) break;
        }
    }
    if (ans) puts("Yes");
    else puts("No");
    return 0;
}


版权声明:本文为博主原创文章,未经博主允许不得转载。 举报

相关文章推荐

CodeForces 555E Case of Computer Network

题意: n(2*10^5)个点m(2*10^5)条边的无向图  要求给无向边定向  使得最后的有向图满足q(2*10^5)个指令  每个指令表示为s->e  即s到e有通路  问  是否有可能 思...

[CF 555E] Case of Computer Network

Description给出一个n个点,m条边的无向图。你要确定每一条边的方向,使得所有q个要求(s,t)都能从s出发到达t。 输出是否能完成所有要求。 n,m,q<=2*10^5Solution显...

我是如何成为一名python大咖的?

人生苦短,都说必须python,那么我分享下我是如何从小白成为Python资深开发者的吧。2014年我大学刚毕业..

Basic concepts of Computer network

Summary of the first chapter of《Computer Network — A Top Down Approach》 - Link la...

[CF555E]Case of Computer Network/[51NOD1470]计算机网络问题

题目大意给定一个nn个点,mm条边的无向图。有qq条有向路线分别从sis_i到达tit_i。 现在你要给无向图的每条边分配一个方向。问是否存在一种分配答案使得所有路线都能够被满足。1≤n,m,q≤2...

Codeforces #310 div2 C. Case of Matryoshkas

C. Case of Matryoshkastime limit per test2 seconds memory limit per test256 megabytes inputstandar...

COdeforces 555 A. Case of Matryoshkas

题目链接:http://codeforces.com/contest/555/problem/A 题       意:   有n个玩具娃娃,编号为1 ~ n。要求一条链子上的娃娃必须满足编号小的娃娃...

【35.37%】【codeforces 556C】Case of Matryoshkas

time limit per test2 seconds memory limit per test256 megabytes inputstandard input outputstandar...

COMPUTER NETWORK

keywords: computer netword 计算机网络 netword architecture 网络体系结构 protocol 协议 open system interconnec...

Codeforces 556C Case of Matryoshkas【模拟】

A. Case of Matryoshkas time limit per test 2 seconds memory limit per test 256 megabytes ...

【66.47%】【codeforces 556B】Case of Fake Numbers

time limit per test2 seconds memory limit per test256 megabytes inputstandard input outputstandar...
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)