二分图专题

何为二分图

设G=(V,E)是一个图，图的顶点集合可以分为两个集合V1，V2，E中的每个边都有一个点要么属于

点集V1，另一个属于点集V2。这样的一个图被称作为二分图。

染色法判断二分图

给定一个 n 个点 m 条边的无向图，图中可能存在重边和自环。
请你判断这个图是否是二分图。

输入格式

第一行包含两个整数 n 和 m。

接下来 m 行，每行包含两个整数 u 和 v，表示点 u 和点 v 之间存在一条边。

输出格式

如果给定图是二分图，则输出 Yes，否则输出 No。

数据范围

$1\le n,m\le 10^5$

输入样例

4 4
1 3届
1 4
2 3
2 4

输出样例

yes

题解分析

二分图当且仅当图中不含有奇数环

正向证明：
证明其逆否命题

如图，如果在一个图中有一个奇数环，则会产生两个相邻点属于同一个子集的矛盾情况，所以正向证明成立。

反向证明：

如图，在一个图中若只有偶数环，则必然可以分为途中情况（途中为4边环情况，其他情况可以自己头脑风暴枚举），则其是一个二分图。

二分图当且仅当图中不含有奇数环

此定理证明成功。

则我们可以利用染色法进行判断二分环：
一个点若没有进行染色，就给他染上白色，他所有的相邻点染成黑色。若已经染白色，相邻点染成黑色；若染成黑色，其相邻点染成白色。在此过程中若是发现有一个点已经染色，且按照推理下来要染的色与其颜色不同，就产生了一个矛盾，即此图不是二分图。

代码

#include <iostream>
#include <cstring>
using namespace std ;
const int N = 100005 ;

int e[N<<1] , h[N] , ne[N<<1] ,idx ;
int color[N] ;

void add(int a , int b ){
    e[++idx] = b ;
    ne[idx] = h[a] ;
    h[a] = idx ;
}

bool dfs(int u ,int c){
    color[u] = c ;
    
    for(int i = h[u] ; ~i ; i = ne[i]){
        int jv = e[i] ;
        if(!color[jv]){
            if(!dfs(jv , 3 - c)) return false ;
        }
        else{
            if(color[jv] == c) return false ;
        }
    }
    return true ;
}


int main(){
    int n , m ;
    cin >> n >> m ;
    memset(h ,-1 , sizeof h) ;
    for(int i = 1 ; i <= m ; i ++){
        int a , b ;
        cin >> a >> b ;
        add(a , b) ;
        add(b , a) ;
    }
    
    bool tag = true ;
    
    for(int i = 1 ; i <= n ; i ++){
        if(!color[i])
            if(!dfs(i , 1)){
                tag = false ;
                break ;
            }
    }
    if(tag) puts("Yes");
    else puts("No");
    
    
    return 0 ;
}

匈牙利算法

二分图的匹配：给定一个二分图 G，在 G 的一个子图 M 中，M 的边集 {E} 中的任意两条边都不依附于同一个顶点，则称 M 是一个匹配。

二分图的最大匹配：所有匹配中包含边数最多的一组匹配被称为二分图的最大匹配，其边数即为最大匹配数。

我们形象地比喻二分图为男女恋爱关系，男生与女生有边连接代表可能成为情侣。现有若干个男女以及可能成为情侣的情况，让你确定这么多人中最多可以确定几个恋爱关系。

给定一个二分图，其中左半部包含 n1 个点（编号 1∼n1），右半部包含 n2 个点（编号 1∼n2），二分图共包含 m 条边。

数据保证任意一条边的两个端点都不可能在同一部分中。

请你求出二分图的最大匹配数。

输入格式

第一行包含三个整数 n1、 n2 和 m。

接下来 m 行，每行包含两个整数 u 和 v，表示左半部点集中的点 u 和右半部点集中的点 v 之间存在一条边。

输出格式

输出一个整数，表示二分图的最大匹配数。

数据范围

$1\le n1,n2\le 500,$
$1\le u\le n1,$
$1\le v\le n2,$
$1\le m\le 10^5$

输入样例

2 2 4
1 1
1 2
2 1
2 2

输出样例

2

代码

#include <iostream>
#include <cstring>
using namespace std ;

const int N = 505 , M = 100005 ;

int h[N] ,e[M] ,ne[M] , idx ;
int match[N] ;

bool vis[N] ;

void add(int a , int b){
    e[++idx] = b ;
    ne[idx] = h[a] ;
    h[a] = idx ;
}


bool find(int u){
    for(int i = h[u] ; ~i ; i = ne[i]){
        int jv = e[i] ;
        if(!vis[jv]){
            vis[jv] = true ;
            if(!match[jv]  || find(match[jv])) {
                match[jv] = u ;
                return true ;
            }
        }
    }
    return false ;
}


int main(){
    int n1 ,n2 ,m ;
    memset(h , -1 , sizeof h) ;
    cin >> n1 >> n2 >> m ;
    
    for(int i = 1 ; i <= m ; i ++){
        int a ,b ;
        cin >> a >> b ;
        add(a , b) ;
    }
    int cnt = 0 ;
    for(int i = 1 ; i <= n1 ; i ++){
        memset(vis , false , sizeof vis) ;
        if(find(i)){
            cnt ++ ;
        }
    }
    
    cout << cnt << endl ;
    
    return 0 ;
}