我是靠谱客的博主 英俊棉花糖,最近开发中收集的这篇文章主要介绍Atcoder CODE FESTIVAL 2017 qual B C - 3 Steps 二分图题目链接题意我的思路结论证明具体写法Code,觉得挺不错的,现在分享给大家,希望可以做个参考。

概述

题目链接

题意

给定一个无向图,(n)个点,(m)条边((n,mleq 1e5)).

重复如下操作:

选择相异的两点u,v满足从点u出发走三条边恰好能到达点v。在这样的u,v点对之间添一条边(如果已经存在则无需再次添加)。

问最多能添加多少条边。

我的思路

(是写给自己看的读者老爷可以跳过去的部分)

首先, 所有距离为奇数的点对之间都能添边。因为

3-1+3=5
5-1+3=7
5-1+5=9
7-1+3=9
7-1+5=11
7-1+7=13
9-1+3=11
9-1+5=13
...

其次,如果距离为(2)的两点之间还有一条边,那么好像能够添成一个完全图……

然后就不会写了(卒

结论

如果该图为二分图,则最多能在所有黑点和白点之间加边;

如果不为二分图,则能加成一个完全图。

证明

官方题解

假设在(s)(t)之间存在一条长度为奇数的路径,也就是说对于某个奇数(k),存在一个点的序列(s=v_0,v_1,...,v_k=t)((v_i)(v_{i+1})相邻)。

如果(k=1),那么(s)(t)之间本身就有一条边。如果(kgeq 3),通过在(v_{k-3})(v_k)之间加边,我们得到了一条(s)(t)之间长度为(k-2)的路径。通过重复这个操作,我们可以一直减少(s)(t)之间路径的长度最后在(s)(t)之间加一条边。

这表示了奇数长路径的重要性,以及二分图性质的重要性。

Case 1. 不是二分图

不是二分图意味着存奇数长度的环,不妨设点(v)为环中的一点。因为图是连通图,所以对于任意的点对((s,t)),总有一条路径(srightarrow vrightarrow t). 如果路径长度为偶数,则可通过加上点(v)处的奇环使得路径长度为奇数。

因此,在任意两点间都能找到一条奇数长度的路径,故可以将图加成一个完全图。所以答案为(N(N-1)/2-M).

Case 2. 是二分图

这种情况下,可以将点染成黑点和白点,每条边连接着一个白点和一个黑点。考虑任意的黑点和白点,因为图是连通图,所以黑点(b)和白点(w)之间存在着一条路径,并且显然路经长为奇数。因此,可以在(b)(w)之间加边。另一方面,在同种颜色的点之间绝对无法加边。

故答案为(BW-M)(B)为白点个数,(W)为黑点个数。

具体写法

二分图的充要条件:所有回路长度均为偶数

法一:(dfs)
模拟染色看是否一个顶点会染到不同的颜色

法二(很新颖):并查集
具体解释见noip 2010 关押罪犯这道题的并查集做法

Code

Ver. 1 dfs

#include <bits/stdc++.h>
#define maxn 100010
using namespace std;
typedef long long LL;
struct Edge {
    int to, ne;
    Edge(int _to=0, int _ne=0): to(_to), ne(_ne) {}
}edge[maxn*2];
int tot, ne[maxn];
void add(int u, int v) {
    edge[tot] = Edge(v, ne[u]);
    ne[u] = tot++;
}
int n, m, c[maxn];
void dfs(int u, int col) {
    c[u] = col;
    for (int i = ne[u]; ~i; i = edge[i].ne) {
        int v = edge[i].to;
        if (c[v] == -1) dfs(v, !col);
        if (c[v] != !col) { printf("%lldn", 1LL*n*(n-1)/2-m); exit(0); }
    }
}
int main() {
    scanf("%d%d", &n, &m);
    memset(c, -1, sizeof(c));
    memset(ne, -1, sizeof(ne));
    for (int i = 0; i < m; ++i) {
        int u, v;
        scanf("%d%d", &u, &v);
        add(u, v);
        add(v, u);
    }
    dfs(1, 0);
    int b=0, w=0;
    for (int i = 1; i <= n; ++i) if (c[i]) ++b; else ++w;
    printf("%lldn", 1LL*b*w-m);
    return 0;
}

Ver. 2 并查集

#include <bits/stdc++.h>
#define maxn 200010
using namespace std;
typedef long long LL;
int fa[maxn], sz[maxn];
int find(int x) { return fa[x] == x ? x : fa[x] = find(fa[x]); }
bool same(int u, int v) { return find(u) == find(v); }
void unionn(int x, int y) {
    x = find(x), y = find(y);
    if (sz[x] > sz[y]) swap(x, y);
    fa[x] = y; sz[y] += sz[x];
}
int main() {
    int n, m;
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= (n<<1); ++i) fa[i] = i;
    for (int i = 0; i < m; ++i) {
        int u, v;
        scanf("%d%d", &u, &v);
        unionn(u, n+v);
        unionn(n+u, v);
    }
    for (int i = 1; i <= n; ++i) if (same(i, n+i)) { printf("%lldn", 1LL*n*(n-1)/2-m); return 0; }
    int b = 1, w = 0;
    for (int i = 2; i <= n; ++i) if (same(1, i)) ++b; else ++w;
    printf("%lldn", 1LL * b * w - m);
    return 0;
}

转载于:https://www.cnblogs.com/kkkkahlua/p/7639342.html

最后

以上就是英俊棉花糖为你收集整理的Atcoder CODE FESTIVAL 2017 qual B C - 3 Steps 二分图题目链接题意我的思路结论证明具体写法Code的全部内容,希望文章能够帮你解决Atcoder CODE FESTIVAL 2017 qual B C - 3 Steps 二分图题目链接题意我的思路结论证明具体写法Code所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。

本图文内容来源于网友提供,作为学习参考使用,或来自网络收集整理,版权属于原作者所有。
点赞(43)

评论列表共有 0 条评论

立即
投稿
返回
顶部